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

Boost the Impact of Continuous Formal Verification in Industry., , and . CoRR, (2019)Towards a model-driven engineering approach for developing embedded hard real-time software., , and . SAC, page 308-314. ACM, (2008)Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples., , , and . IFM, volume 7321 of Lecture Notes in Computer Science, page 128-142. Springer, (2012)Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution)., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 934-937. Springer, (2016)LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)., , , , and . CoRR, (2023)Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)., , , , and . CoRR, (2017)Bounded Model Checking of Software Using Interval Methods via Contractors., , , , and . CoRR, (2020)Evaluation of Ginga's CC-Web-Service Module., , , and . ICCE-Taiwan, page 697-698. IEEE, (2023)ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution)., , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 209-213. Springer, (2019)Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution)., , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 403-407. Springer, (2020)