Experience Reports 2020
| Title | Authors | Attachments |
| Analysis of Real-Time Control Systems using First-Order Continuization | Maximilian Gaukler | - |
| Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification | Johan Liden Eddeland, Sajed Miremadi and Knut Akesson | - |
Experience Reports 2017
| Title | Authors | Attachments |
| Direct Verification of Linear Systems with over 10000 Dimensions | Stanley Bak and Parasara Sridhar Duggirala | - |
| Modeling the Wind Turbine Benchmark with PWA Hybrid Automata | Nikolaos Kekatos, Marcelo Forets and Goran Frehse | attachment |
Testbed for Model-based Verification of Cyber-physical Production Systems | Christof Budnik, Sebastian Eckl and Marco Gario | - |
| Formal Verification of a Multi-Basal Insulin Infusion Control Model | Xin Chen, Souradeep Dutta and Sriram Sankaranarayanan | attachment |
Experience Reports 2015
| Title | Authors | Attachments |
| Experience Report: Verifying Properties of an Electro-Mechanical Braking System | Thomas Strathmann and Jens Oehlerking | attachment |
| Industrial Examples of Formal Specifications for Test Case Generation | Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle | - |
| Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability | Ibtissem Ben Makhlouf and Stefan Kowalewski | - |
| Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie | attachment |
Experience Reports 2014
| Title | Authors | Attachments |
| Computing Probability Distributions Over a Hybrid State Space: Case Study and Practical Limitations | Alessandro Pinto, George A. Mathew | - |
| Verifying a PI Controller using SoapBox and Stabhyli | Willem Hagemann and Eike Mohlmann and Astrid Rakow | - |
| Using S-TaLiRo on Industrial Size Automotive Models | Bardh Hoxha, Houssam Abbas, Georgios Fainekos | - |