Marc Jasper

17 papers B 1Journal 3Unranked 12
YearRankTypeTitle / Venue / Authors
2022 B conf
Breaking the Vendor Lock: Performance Portable Programming through OpenMP as Target Independent Runtime Layer.
PACT
Johannes Doerfert, Marc Jasper, Joseph Huber, Khaled Abdelaal, Giorgis Georgakoudis, Thomas Scogland, Konstantinos Parasyris
2021 — —
Synthesizing realistic verification tasks.
Marc Jasper
2021 J jnl
The RERS challenge: towards controllable and scalable benchmark synthesis.
Int. J. Softw. Tools Technol. Transf.
Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen
2020 J jnl
Characteristic invariants in Hennessy-Milner logic.
Acta Informatica
Marc Jasper, Maximilian Schlüter, Bernhard Steffen
2020 — conf
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
ISoLA (4)
Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen
2019 J jnl
Aggressive Aggregation: a New Paradigm for Program Optimization.
CoRR
Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen
2019 — conf
Generating Hard Benchmark Problems for Weak Bisimulation.
From Reactive Systems to Cyber-Physical Systems
Bernhard Steffen, Marc Jasper
2019 — conf
RERS 2019: Combining Synthesis with Real-World Models.
TACAS (3)
Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
2018 — conf
RERS 2018: CTL, LTL, and Reachability.
ISoLA (2)
Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
2018 — conf
Synthesizing Subtle Bugs with Known Witnesses.
ISoLA (2)
Marc Jasper, Bernhard Steffen
2017 — conf
Property-Preserving Generation of Tailored Benchmark Petri Nets.
ACSD
Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol
2017 — conf
Property-Preserving Parallel Decomposition.
Models, Algorithms, Logics and Tools
Bernhard Steffen, Marc Jasper
2017 — conf
The RERS 2017 challenge and workshop (invited paper).
SPIN
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
2016 — conf
Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations.
ISoLA (1)
Marc Jasper, Markus Schordan
2016 — conf
Playing with Abstraction and Representation.
Semantics, Logics, and Calculi
Bernhard Steffen, Malte Isberner, Marc Jasper
2016 — conf
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.
ISoLA (2)
Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
2014 — conf
Counterexample-Guided Prefix Refinement Analysis for Program Verification.
ISoLA (Revised Selected Papers)
Marc Jasper