Author of the publication

Modeling and verification of real-time embedded systems with urgency.

, , , , , and . J. Syst. Softw., 82 (10): 1627-1641 (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

Virtualizable hardware/software design infrastructure for dynamically partially reconfigurable systems., and . ACM Trans. Reconfigurable Technol. Syst., 6 (2): 11:1-11:18 (2013)A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications., , and . UIC, volume 6406 of Lecture Notes in Computer Science, page 382-396. Springer, (2010)Modeling and verification of real-time embedded systems with urgency., , , , , and . J. Syst. Softw., 82 (10): 1627-1641 (2009)UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems., , and . J. Syst. Archit., 56 (2-3): 88-102 (2010)An FPGA-based point target detection system using morphological clutter elimination.. ISCAS, page 2436-2439. IEEE, (2013)Elastic superposition task mapping for NoC-based reconfigurable systems., , and . Microprocess. Microsystems, (2017)Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems., and . IEEE Embed. Syst. Lett., 1 (1): 19-23 (2009)HDA: Hierarchical and dependency-aware task mapping for network-on-chip based embedded systems.. J. Syst. Archit., (2020)On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems., and . ISCAS, page 2221-2224. IEEE, (2009)An FPGA-Based Hardware/Software Design Using Binarized Neural Networks for Agricultural Applications: A Case Study.. IEEE Access, (2021)