Author of the publication

Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems.

, , , and . Embedded Systems Development, From Functional Models to Implementations, Springer, (2014)

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

HRT-UML: Taking HRT-HOOD onto UML., , , , , and . Ada-Europe, volume 2655 of Lecture Notes in Computer Science, page 405-416. Springer, (2003)Hybrid Fingerprint Matching on Programmable Smart Cards., , and . TrustBus, volume 3184 of Lecture Notes in Computer Science, page 232-241. Springer, (2004)Stochastic Analysis of Distributed Real-time Automotive Systems., , , and . IEEE Trans. Ind. Informatics, 5 (4): 388-401 (2009)A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs., , and . Real Time Syst., 55 (3): 598-638 (2019)Implications of Classical Scheduling Results for Real-Time Systems., , , and . Computer, 28 (6): 16-25 (1995)Optimizing the implementation of real-time Simulink models onto distributed automotive architectures., , , , and . J. Syst. Archit., 59 (10-D): 1115-1127 (2013)APESER 2010 Keynote Speech: Marco Di Natale.. GreenCom/CPSCom, IEEE Computer Society, (2010)A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform., , , , , and . IEEE Real Time Technology and Applications Symposium, page 189-. IEEE Computer Society, (2003)Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines., and . ECRTS, page 353-362. IEEE Computer Society, (2012)Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods., and . ECRTS, page 279-290. IEEE Computer Society, (2010)