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

Modeling and Designing Heterogeneous Systems., , , , , and . Concurrency and Hardware Design, volume 2549 of Lecture Notes in Computer Science, page 228-273. Springer, (2002)Worst-case analysis of discrete systems based on conditional abstractions.. CODES, page 115-119. ACM, (1999)Automatic Abstraction for Worst-Case Analysis of Discrete Systems.. DATE, page 494-501. IEEE Computer Society / ACM, (2000)Assertion-based power/performance analysis of network processor architectures., , , , , and . HLDVT, page 155-160. IEEE Computer Society, (2004)Schedule Validation for Embedded Reactive Real-Time Systems., and . DAC, page 52-57. ACM Press, (1997)Task scheduling with RT constraints., , and . DAC, page 483-488. ACM, (2000)STARS of MPEG decoder: a case study in worst-case analysis of discrete-event systems.. CODES, page 104-108. ACM, (2001)Automatic trace analysis for logic of constraints., , , and . DAC, page 460-465. ACM, (2003)An Iterative Approach to Language Containment., and . CAV, volume 697 of Lecture Notes in Computer Science, page 29-40. Springer, (1993)HSIS: A BDD-Based Environment for Formal Verification., , , , , , , , , and 3 other author(s). DAC, page 454-459. ACM Press, (1994)