Author of the publication

Automatic Code Generation from Real-Time Systems Specifications.

, , , and . IEEE International Workshop on Rapid System Prototyping, page 102-105. IEEE Computer Society, (2009)

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

Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow., , , and . ETFA, page 456-463. IEEE, (2018)An Ontological Approach to Systematization of SW-FMEA., , , and . SAFECOMP, volume 7612 of Lecture Notes in Computer Science, page 173-184. Springer, (2012)A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems., , , and . Ada-Europe, volume 6652 of Lecture Notes in Computer Science, page 118-131. Springer, (2011)A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments., , , , and . IEEE Trans. Hum. Mach. Syst., 49 (4): 293-303 (2019)JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems., , , and . SERENE, volume 11732 of Lecture Notes in Computer Science, page 85-93. Springer, (2019)Supporting Process Migration Through Communicating Petri Nets., , and . PDP, page 486-492. IEEE, (1994)An adaptable patient-centric electronic health record system for personalized home care., and . ISMICT, page 1-5. IEEE, (2014)Painting Retrieval Based on Color Semantics., , and . Image Databases and Multi-Media Search, volume 8 of Series on Software Engineering and Knowledge Engineering, WorldScientific, (1998)Iconic Retrievial by Contents from Databases of Cardiological Sequences., , and . VDB, volume 34 of IFIP Conference Proceedings, page 158-174. Chapman & Hall, (1995)Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm., , and . IEEE Software, 29 (1): 76-83 (2012)