search result

Cover von Foundations of Software Science and Computation Structures
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15691
Media group: MONOGRAPHIE
Cover von Networked Systems
4th International Conference, NETYS 2016, Marrakech, Morocco, May 18 - 20, 2016, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9944
Media group: MONOGRAPHIE
Cover von Reachability Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24 - 26, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8169
Media group: MONOGRAPHIE
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 Data Multi-Pushdown Automata

Data Multi-Pushdown Automata

Year: 2017
Media group: LIPIcs
Cover von The Benefits of Duality in Verifying Concurrent Programs under TSO

The Benefits of Duality in Verifying Concurrent Programs under TSO

Year: 2016
Media group: LIPIcs
Cover von Verification of Evolving Graph Structures; 11
pp. 1-28
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von View Abstraction - A Tutorial (Invited Paper)

View Abstraction - A Tutorial (Invited Paper)

Year: 2015
Media group: OASICS
Cover von Verification of  Dynamic Register Automata

Verification of Dynamic Register Automata

Year: 2014
Media group: LIPIcs
Cover von Timed Lossy Channel Systems

Timed Lossy Channel Systems

Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0