Author of the publication

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

State Minimization of Pseudo Non-Deterministic FSM's., and . EDAC-ETC-EUROASIC, page 184-191. IEEE Computer Society, (1994)Logic of constraints: a quantitative performance and functional constraint formalism., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 23 (8): 1243-1255 (2004)Simulation Trace Verification for Quantitative Constraints., , , and . Embedded Software for SoC, Kluwer / Springer, (2003)Case Studies of Model Checking for Embedded System Designs., , , and . ACSD, page 20-28. IEEE Computer Society, (2003)Functional Model Exploration for Multimedia Applications via Algebraic Operators., , , , and . ACSD, page 229-238. IEEE Computer Society, (2006)Schedulability Analysis of Petri Nets Based on Structural Properties., , , , and . ACSD, page 69-78. IEEE Computer Society, (2006)A structural approach to quasi-static schedulability analysis of communicating concurrent programs., , , and . EMSOFT, page 10-16. ACM, (2005)Separation of concerns: overhead in modeling and efficient simulation techniques., , , and . EMSOFT, page 44-53. ACM, (2004)Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets., , , and . ICATPN, volume 1639 of Lecture Notes in Computer Science, page 208-227. Springer, (1999)Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs.. ACSD, page 19. IEEE Computer Society, (2009)