Author of the publication

An Application of SMC to continuous validation of heterogeneous systems.

, , , , , , , and . EAI Endorsed Trans. Ind. Networks Intell. Syst., 4 (10): e3 (2017)

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

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development., , , , , , and . DATE, page 1044-1049. IEEE Computer Society, (2005)An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms., , , , and . FPL, volume 2438 of Lecture Notes in Computer Science, page 677-686. Springer, (2002)Efficient embedded software design with synchronous models., , , and . EMSOFT, page 187-190. ACM, (2005)An Application of SMC to continuous validation of heterogeneous systems., , , , , , , and . EAI Endorsed Trans. Ind. Networks Intell. Syst., 4 (10): e3 (2017)Fault-tolerant platforms for automotive safety-critical applications., , , , , and . CASES, page 170-177. ACM, (2003)Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard., , , , and . DSD, page 839-843. IEEE Computer Society, (2008)HW/SW Codesign of an Engine Management System., , , and . DATE, page 263-267. IEEE Computer Society / ACM, (2000)Semantics-Preserving Design of Embedded Control Software from Synchronous Models. (10 Juni 2008)