Author of the publication

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

. Springer, (December 2003)

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

Are Synchronous Programs Logic Programs?, and . Principled Software Development, page 251-266. Springer, (2018)Properties of Invariants and Induction Lemmata., , and . MBMV, page 1-10. VDE / IEEE, (2020)A μ-Calculus Approach to Supervisor Synthesis., and . MBMV, page 132-143. Shaker, (2003)Abstraction from Counters: An Application on Real-Time Systems., and . DATE, page 486-493. IEEE Computer Society / ACM, (2000)Predicting Events for the Simulation of Hybrid Systems., and . CIT, page 1833-1840. IEEE Computer Society, (2010)An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems., and . SyDe Summer School, page 290-292. Springer, (2015)Automatic Hard Block Inference on FPGAs., and . DSD, page 551-557. IEEE Computer Society, (2013)Exploring different execution paradigms in exposed datapath architectures with buffered processing units., and . SAMOS, page 1-10. IEEE, (2017)09481 Abstracts Collection - SYNCHRON 2009., , , , and . SYNCHRON 2009, volume 09481 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Anti-sway system for boom cranes based on an optimal control approach., , , and . ACC, page 3166-3171. IEEE, (2003)