Marc Jasper

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 15

Top Topics

Formal Verification

Reactive Systems

Benchmark Problems

Top Venues

Semantics, Logics, and Calculi

Int. J. Softw. Tools Technol. Transf.

Publications

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