| RERS 2019: Combining synthesis with real-world models M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 33 | 2019 |
| The RERS 2017 challenge and workshop M Jasper, M Fecke, B Steffen, M Schordan, J Meijer, J Pol, F Howar, ... Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 25 | 2017 |
| RERS 2016: parallel and sequential benchmarks with focus on LTL verification M Geske, M Jasper, B Steffen, F Howar, M Schordan, J van de Pol International Symposium on Leveraging Applications of Formal Methods, 787-803, 2016 | 23 | 2016 |
| Breaking the Vendor Lock-Performance Portable Programming Through OpenMP as Target Independent Runtime Layer J Doerfert, M Jasper, J Huber, K Abdelaal, G Georgakoudis, T Scogland, ... Lawrence Livermore National Lab.(LLNL), Livermore, CA (United States), 2022 | 20 | 2022 |
| RERS 2018: CTL, LTL, and Reachability M Jasper, M Mues, M Schlüter, B Steffen, F Howar International Symposium on Leveraging Applications of Formal Methods, 433-447, 2018 | 20 | 2018 |
| Property-preserving generation of tailored benchmark Petri nets B Steffen, M Jasper, J Meijer, J van de Pol 2017 17th International Conference on Application of Concurrency to System …, 2017 | 17 | 2017 |
| The RERS challenge: towards controllable and scalable benchmark synthesis F Howar, M Jasper, M Mues, D Schmidt, B Steffen International Journal on Software Tools for Technology Transfer 23 (6), 917-930, 2021 | 14 | 2021 |
| Property-preserving parallel decomposition B Steffen, M Jasper Models, Algorithms, Logics and Tools, 125-145, 2017 | 13 | 2017 |
| Synthesizing subtle bugs with known witnesses M Jasper, B Steffen International Symposium on Leveraging Applications of Formal Methods, 235-257, 2018 | 8 | 2018 |
| Multi-core model checking of large-scale reactive systems using different state representations M Jasper, M Schordan International Symposium on Leveraging Applications of Formal Methods, 212-226, 2016 | 7 | 2016 |
| Aggressive Aggregation: a New Paradigm for Program Optimization F Gossen, M Jasper, A Murtovi, B Steffen arXiv preprint arXiv:1912.11281, 2019 | 5 | 2019 |
| Characteristic invariants in Hennessy–Milner logic M Jasper, M Schlüter, B Steffen Acta Informatica, 1-17, 2020 | 4 | 2020 |
| Generating Hard Benchmark Problems for Weak Bisimulation B Steffen, M Jasper From Reactive Systems to Cyber-Physical Systems, 126-145, 2019 | 3 | 2019 |
| Every component matters: Generating parallel verification benchmarks with hardness guarantees M Jasper, M Schlüter, D Schmidt, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2021 | 1 | 2021 |
| Counterexample-Guided Prefix Refinement Analysis for Program Verification M Jasper International Symposium on Leveraging Applications of Formal Methods, 143-155, 2016 | 1 | 2016 |
| Playing with abstraction and representation B Steffen, M Isberner, M Jasper Semantics, Logics, and Calculi, 191-213, 2016 | 1 | 2016 |
