Author: Erika Ábrahám

Author: Erika Ábrahám

This page shows all presentations of this author published in EasyChair Smart Slide.

The Art of SMT Solving

The Art of SMT Solving

Parameter Synthesis for Probabilistic Hyperproperties

Parameter Synthesis for Probabilistic Hyperproperties

Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe

RP: Evaluation of Equational Constraints for CAD in SMT Solving

RP: Evaluation of Equational Constraints for CAD in SMT Solving

Rebecca Haehn, Gereon Kremer and Erika Ábrahám

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham and Joost-Pieter Katoen

Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics

Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics

Verifying Auto-Generated C Code from Simulink

Verifying Auto-Generated C Code from Simulink

Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez and Thomas Rambow

Presentations in this collection: 6