Counterexample-Guided Prefix Refinement Analysis for Program Verification. - Marc Jasper (ISoLA (Revised Selected Papers), 2014)

Playing with Abstraction and Representation. - Bernhard Steffen; Malte Isberner; Marc Jasper (Semantics, Logics, and Calculi, 2016)

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 (ISoLA (2), 2016)

Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations. - Marc Jasper; Markus Schordan (ISoLA (1), 2016)

Property-Preserving Generation of Tailored Benchmark Petri Nets. - Bernhard Steffen; Marc Jasper; Jeroen Meijer; Jaco van de Pol (ACSD, 2017)

Property-Preserving Parallel Decomposition. - Bernhard Steffen; Marc Jasper (Models, Algorithms, Logics and Tools, 2017)

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 (SPIN, 2017)

RERS 2018: CTL, LTL, and Reachability. - Marc Jasper; Malte Mues; Maximilian Schlüter; Bernhard Steffen; Falk Howar (ISoLA (2), 2018)

Synthesizing Subtle Bugs with Known Witnesses. - Marc Jasper; Bernhard Steffen (ISoLA (2), 2018)

Generating Hard Benchmark Problems for Weak Bisimulation. - Bernhard Steffen; Marc Jasper (From Reactive Systems to Cyber-Physical Systems, 2019)

RERS 2019: Combining Synthesis with Real-World Models. - 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 (TACAS (3), 2019)

Aggressive Aggregation: a New Paradigm for Program Optimization. - Frederik Gossen; Marc Jasper; Alnis Murtovi; Bernhard Steffen (CoRR, 2019)

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. - Marc Jasper; Maximilian Schlüter; David Schmidt 001; Bernhard Steffen (ISoLA (4), 2020)

Characteristic invariants in Hennessy-Milner logic. - Marc Jasper; Maximilian Schlüter; Bernhard Steffen (Acta Informatica, 2020)

The RERS challenge: towards controllable and scalable benchmark synthesis. - Falk Howar; Marc Jasper; Malte Mues; David Schmidt 001; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

Synthesizing realistic verification tasks. - Marc Jasper (2021)

Breaking the Vendor Lock: Performance Portable Programming through OpenMP as Target Independent Runtime Layer. - Johannes Doerfert; Marc Jasper; Joseph Huber; Khaled Abdelaal; Giorgis Georgakoudis; Thomas Scogland; Konstantinos Parasyris (PACT, 2022)