Marc Jasper
Technical University of Dortmund
15 Papers
82 Citations
Marc Jasper is an academic researcher from Technical University of Dortmund. The author has contributed to research in topics: Benchmark (computing) & Model checking. The author has an hindex of 7, co-authored 14 publications. Previous affiliations of Marc Jasper include Lawrence Livermore National Laboratory.
Chat about Author
Papers
The RERS 2017 challenge and workshop (invited paper)
Marc Jasper,Maximilian Fecke,Bernhard Steffen,Markus Schordan,Jeroen Meijer,Jaco van de Pol,Falk Howar,Stephen F. Siegel +7 more
- 13 Jul 2017
TL;DR: The first half of the RERS workshop focused on the 2017 benchmark profiles, the evaluation of the received contributions, and short presentations of each participating team, while the second half comprised discussions about attractive problem scenarios for future benchmarks.
25
Property-Preserving Generation of Tailored Benchmark Petri Nets
Bernhard Steffen,Marc Jasper,Jeroen Meijer,Jaco van de Pol +3 more
- 01 Jun 2017
TL;DR: This paper shows how to systematically construct arbitrarily complex Petri Nets with guaranteed safety properties using a top-down parallel decomposition based on lightweight assumption commitment specifications.
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification
Maren Geske,Marc Jasper,Bernhard Steffen,Falk Howar,Markus Schordan,Jaco van de Pol +5 more
- 10 Oct 2016
TL;DR: The Rigorous Examination of Reactive Systems (RERS 2016) challenge as mentioned in this paper provided generated and tailored benchmarks suited for comparing the effectiveness of automatic software verifiers, which includes problems with linear temporal logic (LTL) properties in larger sizes that are available in different programming languages.
14
RERS 2018: CTL, LTL, and Reachability
Marc Jasper,Malte Mues,Maximilian Schlüter,Bernhard Steffen,Falk Howar +4 more
- 05 Nov 2018
TL;DR: Modifications compared to the previous iteration include an enhanced generation of sequential benchmarks, an improved automation of the construction of parallel benchmarks, a redesigned penalty for wrong answers, and the addition of CTL properties.
14
Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations
Marc Jasper,Marc Jasper,Markus Schordan +2 more
- 10 Oct 2016
TL;DR: This work presents an approach to efficient model checking of large-scale reactive systems that aims at a trade-off between the number of verifiable and falsifiable properties and the required analysis time.
9