Autor der Publikation

Contract-Based Specification and Analysis of AADL Models.

, und . ACVI@MoDELS, Volume 1233 von CEUR Workshop Proceedings, CEUR-WS.org, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems., , und . IEEE Trans. Software Eng., 39 (9): 1307-1325 (2013)Incremental Test Case Generation for UML-RT Models Using Symbolic Execution., und . ICST, Seite 962-963. IEEE Computer Society, (2012)Automated Verification of Model Transformations in the Automotive Industry., , , , und . MoDELS, Volume 8107 von Lecture Notes in Computer Science, Seite 690-706. Springer, (2013)A Customizable Execution Engine for Models of Embedded Systems., und . BM-FA (Revised Selected Papers), Volume 6368 von Lecture Notes in Computer Science, Seite 82-110. Springer, (2014)Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation., und . DS-RT, Seite 87-96. IEEE Computer Society, (2010)Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking., und . Electron. Notes Theor. Comput. Sci., 190 (1): 3-18 (2007)MReplayer: a trace replayer of distributed UML-RT models., , und . MoDELS (Companion), Seite 6:1-6:5. ACM, (2020)Using source transformation to test and model check implicit-invocation systems., , , und . Sci. Comput. Program., 62 (3): 209-227 (2006)A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems., und . SCSS (2), Seite 283-288. Springer, (2008)Engineering Associations: From Models to Code and Back through Semantics., , und . TOOLS (46), Volume 11 von Lecture Notes in Business Information Processing, Seite 336-355. Springer, (2008)