Author of the publication

A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example.

, , , , , and . TrustCom/ISPA/IUCC, page 1188-1197. IEEE Computer Society, (2013)

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

LibGALS: a library for GALS systems design and modeling., , and . ASP-DAC, page 107-112. IEEE, (2010)GALS-Designer: A design framework for GALS software systems., and . ACM Trans. Design Autom. Electr. Syst., 16 (4): 39:1-39:24 (2011)Modeling RTOS for Reactive Embedded Systems., and . VLSI Design, page 534-539. IEEE Computer Society, (2007)Validating Static WCET Analysis: A Method and Its Application., , and . WCET, volume 72 of OASIcs, page 6:1-6:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Dynamic Branch Resolution Based on Combined Static Analyses., and . WCET, volume 55 of OASIcs, page 8:1-8:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example., , , , , and . TrustCom/ISPA/IUCC, page 1188-1197. IEEE Computer Society, (2013)