Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An algebraic theory for behavioral modeling and protocol synthesis in system design., and . Formal Methods in System Design, 28 (2): 131-151 (2006)POLYCHRONY for System Design., , and . Journal of Circuits, Systems, and Computers, 12 (3): 261-304 (2003)Automated clock inference for stream function-based system level specifications., and . HLDVT, page 63-70. IEEE Computer Society, (2005)Automated Translation of C/C++ Models into a Synchronous Formalism., , , and . ECBS, page 426-436. IEEE Computer Society, (2006)From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations., , , and . ACSD, page 42-51. IEEE Computer Society, (2009)A Modeling Paradigm for Integrated Modular Avionics Design., , , , and . EUROMICRO-SEAA, page 134-143. IEEE Computer Society, (2006)A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking., , , and . International Journal of Parallel Programming, 33 (6): 613-643 (2005)Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form., , , , , and . ECEASST, (2009)Constructive polychronous systems., , , , and . Sci. Comput. Program., (2014)Buffer minimization in earliest-deadline first scheduling of dataflow graphs., and . LCTES, page 133-142. ACM, (2013)