Author Info
Name
Affiliation
Papers
MARC JASPER
Lawrence Livermore Natl Lab, Livermore, CA 94551 USA
8
Collaborators
Citations 
PageRank 
28
3
2.77
Referers 
Referees 
References 
6
71
32
Title
Citations
PageRank
Year
The RERS challenge: towards controllable and scalable benchmark synthesis00.342021
RERS 2019: Combining Synthesis with Real-World Models.00.342019
RERS 2019: Combining Synthesis with Real-World Models00.342019
RERS 2018: CTL, LTL, and Reachability.00.342018
The RERS 2017 challenge and workshop (invited paper)00.342017
The RERS 2017 challenge and workshop (invited paper).00.342017
Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations.30.402016
Counterexample-Guided Prefix Refinement Analysis for Program Verification00.342014