Follow
Marc Jasper
Marc Jasper
Verified email at tu-dortmund.de
Title
Cited by
Cited by
Year
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
312019
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
242017
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
212016
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
192018
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
172022
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
172017
Property-preserving parallel decomposition
B Steffen, M Jasper
Models, Algorithms, Logics and Tools, 125-145, 2017
122017
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
112021
Synthesizing subtle bugs with known witnesses
M Jasper, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 235-257, 2018
82018
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
72016
Aggressive Aggregation: a New Paradigm for Program Optimization
F Gossen, M Jasper, A Murtovi, B Steffen
arXiv preprint arXiv:1912.11281, 2019
52019
Characteristic invariants in Hennessy–Milner logic
M Jasper, M Schlüter, B Steffen
Acta Informatica, 1-17, 2020
42020
Generating Hard Benchmark Problems for Weak Bisimulation
B Steffen, M Jasper
From Reactive Systems to Cyber-Physical Systems, 126-145, 2019
32019
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
12021
Counterexample-Guided Prefix Refinement Analysis for Program Verification
M Jasper
International Symposium on Leveraging Applications of Formal Methods, 143-155, 2016
12016
Playing with abstraction and representation
B Steffen, M Isberner, M Jasper
Semantics, Logics, and Calculi, 191-213, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–16