Author of the publication

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.

, , , , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 426-440. Springer, (2004)

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

Tool-Support for Managing Technostress in Hybrid Learning Settings., , and . DELFI, volume P-338 of LNI, page 63. Gesellschaft für Informatik e.V., (2023)THESIS DESIGNER - Eine Webanwendung zur Unterstützung von Abschlussarbeiten., , and . DELFI, volume P-322 of LNI, page 243-244. Gesellschaft für Informatik e.V., (2022)Teaching cyber-physical systems to computer scientists via modeling and verification., , , and . SIGCSE, page 567-572. ACM, (2013)Operationalizing a Medical Intelligence Platform for Humanitarian Security in Protracted Crises., , , , , , and . MESAS, volume 13207 of Lecture Notes in Computer Science, page 397-416. Springer, (2021)Practical Support for Unlearning â€" a Systematic Review to Organize the field., , , and . ECIS, (2023)The Design of the IRISS Parallel Database Machine., and . HPCN Europe, volume 1067 of Lecture Notes in Computer Science, page 913-914. Springer, (1996)Design-Challenges im virtuellen Raum - Ein Erfahrungsbericht und Handlungsempfehlungen., , , and . HMD Prax. Wirtsch., 60 (3): 738-753 (June 2023)Verification of Timed Circuits with Failure Directed Abstractions., , , , and . ICCD, page 28-35. IEEE Computer Society, (2003)W-SQL: An Interface for Scalable, Highly Parallel Database Machines., , and . BNCOD, volume 940 of Lecture Notes in Computer Science, page 263-276. Springer, (1995)Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver., , and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 66-81. Springer, (2007)