No. |
Title |
Author |
Year |
---|

1 |
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041) |
Abraham, Erika et al. |
2023 |

2 |
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) |
Abraham, Erika et al. |
2022 |

3 |
Probabilistic Simulation of a Railway Timetable |
Haehn, Rebecca et al. |
2020 |

4 |
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071) |
Abraham, Erika et al. |
2017 |

5 |
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471) |
Ábrahám, Erika et al. |
2016 |

6 |
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) |
Ábrahám, Erika et al. |
2014 |

7 |
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra |
Abraham, Erika et al. |
2010 |

8 |
SMT-Solving for the First-Order Theory of the Reals |
Abraham, Erika et al. |
2010 |