search result

Cover von Global Model Checking of Ordered Multi-Pushdown Systems

Global Model Checking of Ordered Multi-Pushdown Systems

Year: 2010
Media group: ARTICLE
Cover von Networked Systems
7th International Conference, NETYS 2019, Marrakech, Morocco, June 19 - 21, 2019, Revised Selected Papers
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11704
Media group: MONOGRAPHIE
Cover von Approximating Petri Net Reachability Along Context-free Traces

Approximating Petri Net Reachability Along Context-free Traces

Year: 2011
Media group: ARTICLE
Cover von Analyzing Asynchronous Programs with Preemption

Analyzing Asynchronous Programs with Preemption

Year: 2008
Media group: ARTICLE
Cover von Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26 - 28, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11181
Media group: MONOGRAPHIE
Cover von Verifying Quantitative Temporal Properties of Procedural Programs

Verifying Quantitative Temporal Properties of Procedural Programs

Year: 2018
Media group: LIPIcs
Cover von Universal Safety for Timed Petri Nets is PSPACE-complete

Universal Safety for Timed Petri Nets is PSPACE-complete

Year: 2018
Media group: LIPIcs
Cover von Verification of Asynchronous Programs with Nested Locks

Verification of Asynchronous Programs with Nested Locks

Year: 2018
Media group: LIPIcs
Cover von On the Upward/Downward Closures of Petri Nets

On the Upward/Downward Closures of Petri Nets

Year: 2017
Media group: LIPIcs
Cover von Data Multi-Pushdown Automata

Data Multi-Pushdown Automata

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0