Sebastian Muskalla

14 papers B 5Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2024 — —
Certificates for automata in a hostile environment.
Sebastian Muskalla
2018 B conf
Bounded Context Switching for Valence Systems.
CONCUR
Roland Meyer, Sebastian Muskalla, Georg Zetzsche
2018 J jnl
Bounded Context Switching for Valence Systems.
CoRR
Roland Meyer, Sebastian Muskalla, Georg Zetzsche
2018 B conf
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.
MFCS
Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
2018 J jnl
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.
CoRR
Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
2018 B conf
Regular Separability of Well-Structured Transition Systems.
CONCUR
Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan
2017 B conf
Domains for Higher-Order Games.
MFCS
Matthew Hague, Roland Meyer, Sebastian Muskalla
2017 J jnl
Domains for Higher-Order Games.
CoRR
Matthew Hague, Roland Meyer, Sebastian Muskalla
2017 J jnl
Liveness Verification and Synthesis: New Algorithms for Recursive Programs.
CoRR
Roland Meyer, Sebastian Muskalla, Elisabeth Neumann
2017 B conf
On the Upward/Downward Closures of Petri Nets.
MFCS
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
2017 J jnl
On the Upward/Downward Closures of Petri Nets.
CoRR
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
2016 J jnl
Antichains for Inclusion Games.
CoRR
Lukás Holík, Roland Meyer, Sebastian Muskalla
2016 J jnl
Munchausen Iteration.
CoRR
Roland Meyer, Sebastian Muskalla
2016 — conf
Summaries for Context-Free Games.
FSTTCS
Lukás Holík, Roland Meyer, Sebastian Muskalla