Author of the publication

Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints.

, , , and . CIMCA/IAWTIC/ISE, page 615-620. IEEE Computer Society, (2008)

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

Availability Evaluation of Digital Library Cloud Services., , , , and . DSN, page 666-671. IEEE Computer Society, (2014)Energy consumption and execution time estimation of embedded system applications., , , , , , and . Microprocess. Microsystems, 35 (4): 426-440 (2011)Model-driven software synthesis for hard real-time applications with energy constraints., , , , , , , and . Des. Autom. Embed. Syst., 14 (4): 327-366 (2010)A Formal Model for Performance and Energy Evaluation of Embedded Systems., , , , , , and . EURASIP J. Embed. Syst., (2011)ASTRO: A tool for dependability evaluation of Data Center infrastructures., , , , , , , , , and 2 other author(s). SMC, page 783-790. IEEE, (2010)A Hybrid DVS Scheduling Approach for Hard Real-Time Systems., , , , , and . SMC, page 2848-2853. IEEE, (2009)Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints., , , , and . SAC, page 377-381. ACM, (2009)A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints., , , and . ICDS, page 266-271. IEEE Computer Society, (2009)A coloured petri net based approach for estimating execution time and energy consumption in embedded systems., , , , and . SBCCI, page 134-139. ACM, (2008)Performance evaluation of sheepdog distributed storage system., , , , , , , , and . SMC, page 3370-3375. IEEE, (2014)