Marc Jasper

According to our database, Marc Jasper authored at least 17 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022

2021

Synthesizing realistic verification tasks.

Marc Jasper

PhD thesis, 2021

The RERS challenge: towards controllable and scalable benchmark synthesis.

Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2021

2020

Characteristic invariants in Hennessy-Milner logic.

Marc Jasper, Maximilian Schlüter, Bernhard Steffen

Acta Informatica, 2020

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.

Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019

Aggressive Aggregation: a New Paradigm for Program Optimization.

Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen

CoRR, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Generating Hard Benchmark Problems for Weak Bisimulation.

Bernhard Steffen, Marc Jasper

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

Synthesizing Subtle Bugs with Known Witnesses.

Marc Jasper, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

RERS 2018: CTL, LTL, and Reachability.

Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

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

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Property-Preserving Parallel Decomposition.

Bernhard Steffen, Marc Jasper

Proceedings of the Models, Algorithms, Logics and Tools, 2017

Property-Preserving Generation of Tailored Benchmark Petri Nets.

Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations.

Marc Jasper, Markus Schordan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Playing with Abstraction and Representation.

Bernhard Steffen, Malte Isberner, Marc Jasper

Proceedings of the Semantics, Logics, and Calculi, 2016

2014

Counterexample-Guided Prefix Refinement Analysis for Program Verification.

Marc Jasper

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014