Autor der Publikation

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

Abstraction of polychronous dataflow specifications into mode-automata., , und . ICSAMOS, Seite 33-40. IEEE, (2013)SMT based false causal loop detection during code synthesis from Polychronous specifications., , , und . MEMOCODE, Seite 109-118. IEEE, (2011)Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report., , , , , , und . J. Object Technol., 18 (2): 1:1-22 (2019)A Survey of Desynchronization in a Polychronous Model of Computation.. FMGALS@MEMOCODE, Volume 146 von Electronic Notes in Theoretical Computer Science, Seite 151-167. Elsevier, (2005)A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications., , , und . ACSD, Seite 21-30. IEEE Computer Society, (2013)Code generation for distributed embedded systems with VDM-RT., , , , , und . Des. Autom. Embed. Syst., 23 (3-4): 153-177 (2019)Compositional design of isochronous systems., , , , und . Sci. Comput. Program., 77 (2): 113-128 (2012)Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software, , , , , , , , , und 2 andere Autor(en). FMA, Volume 20 von EPTCS, Seite 80-87. (2009)From multi-clocked synchronous processes to latency-insensitive modules., , , und . EMSOFT, Seite 282-285. ACM, (2005)Separate Compilation of Polychronous Specifications., , , und . FMGALS@MEMOCODE, Volume 200 von Electronic Notes in Theoretical Computer Science, Seite 51-70. Elsevier, (2007)