Autor der Publikation

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

, , , , , , , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 319-336. Springer, (2017)

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

Architectural Viewpoints for Global Software Development., und . ICGSE Workshops, Seite 9-16. IEEE Computer Society, (2011)A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications., , , und . CyPhy, Volume 10107 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2016)A Tool Framework for Deriving the Application Architecture for Global Software Development Projects., , und . ICGSE, Seite 94-103. IEEE Computer Society, (2012)An MDE Approach for Modular Program Analyses., , , und . Programming, Seite 15:1-15:5. ACM, (2017)A Model-Derivation Framework for Software Analysis., , , und . MARS@ETAPS, Volume 244 von EPTCS, Seite 217-229. (2017)A Java Bytecode Metamodel for Composable Program Analyses., , , und . STAF Workshops, Volume 10748 von Lecture Notes in Computer Science, Seite 30-40. Springer, (2017)How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach., , , , , , , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 319-336. Springer, (2017)