Marc Jasper
YOU?
Author Swipe
View article: The RERS challenge: towards controllable and scalable benchmark synthesis
The RERS challenge: towards controllable and scalable benchmark synthesis Open
This paper (1) summarizes the history of the RERS challenge for the analysis and verification of reactive systems, its profile and intentions, its relation to other competitions, and, in particular, its evolution due to the feedback of par…
View article: Characteristic invariants in Hennessy–Milner logic
Characteristic invariants in Hennessy–Milner logic Open
In this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to specify an initial property $$\varphi _0$$ and a characteristic invariant $$\upchi _{_I}$$ for an arbitrary finit…
View article: Aggressive Aggregation: a New Paradigm for Program Optimization
Aggressive Aggregation: a New Paradigm for Program Optimization Open
In this paper, we propose a new paradigm for program optimization which is based on aggressive aggregation, i.e., on a partial evaluation-based decomposition of acyclic program fragments into a pair of computationally optimal structures: a…
View article: RERS 2019: Combining Synthesis with Real-World Models
RERS 2019: Combining Synthesis with Real-World Models Open
This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthe…