Marc Jasper
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
2014–2020
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISoLA | Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. | Marc Jasper, Maximilian Schlter, David Schmidt, Bernhard Steffen |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2018 | ISoLA | RERS 2018: CTL, LTL, and Reachability. | Marc Jasper, Malte Mues, Maximilian Schlter, Bernhard Steffen, Falk Howar |
| 2018 | ISoLA | Synthesizing Subtle Bugs with Known Witnesses. | Marc Jasper, Bernhard Steffen |
| 2016 | ISoLA | 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 |
| 2016 | ISoLA | Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations. | Marc Jasper, Markus Schordan |
| 2014 | ISoLA | Counterexample-Guided Prefix Refinement Analysis for Program Verification. | Marc Jasper |