HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jens Oehlerking

Publications
Benchmark: Reachability on a model with holes
Thomas Heinz, Jens Oehlerking and Matthias Woehrle
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Industrial Examples of Formal Specifications for Test Case Generation
Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking and Matthias Woehrle
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Verifying Properties of an Electro-Mechanical Braking System
Thomas Strathmann and Jens Oehlerking
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

benchmark2, control, Educational, experience report, falsification, Flow*, formal specifications, hybrid automata, Industrial2, iSAT-ODE, S-Taliro, safety2, temporal logic, test case generation, verification2.

Copyright © 2012-2025 easychair.org. All rights reserved.