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

Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis., , , and . DAC, page 389-394. ACM Press, (1997)Automatic compositional minimization in CTL model checking., , , and . ICCAD, page 172-178. IEEE Computer Society / ACM, (1992)Trade-off evaluation in embedded system design via co-simulation., , , , and . ASP-DAC, page 291-297. IEEE, (1997)A case study in computer-aided co-design of embedded controllers., , , , , , , and . Des. Autom. Embed. Syst., 1 (1-2): 51-67 (1996)Automatic Reduction in CTL Compositional Model Checking., , , and . CAV, volume 663 of Lecture Notes in Computer Science, page 234-247. Springer, (1992)A case study in computer-aided codesign of embedded controllers., , , , , , , and . CODES, page 220-224. IEEE Computer Society, (1994)Software Synthesis for Complex Reactive Embedded Systems., and . ICCD, page 634-639. IEEE Computer Society, (1999)Automatic Generation of a Real-Time Operating System for Embedded Systems., , , , , and . CODES, page 95-100. IEEE Computer Society, (1997)Synthesis of Software Programs for Embedded Control Applications., , , , , , , and . DAC, page 587-592. ACM Press, (1995)Optimization and synthesis for complex reactive embedded systems by incremental collapsing.. CODES, page 115-120. ACM, (2002)