Stefan Göller
University of Bremen
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Stefan Göller.
logic in computer science | 2009
Stefan Göller; Richard Mayr; Anthony Widjaja To
One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems over one-counter processes: model checking with the temporal logic EF, where formulas are given as directed acyclic graphs, and weak bisimilarity checking against finite systems. We show that both problems are
international colloquium on automata languages and programming | 2010
Stefan Göller; Christoph Haase; Joël Ouaknine; James Worrell
\P^\NP
symposium on the theory of computing | 2013
Stanislav Böhm; Stefan Göller; Petr Jančar
-complete. This is achieved by establishing a close correspondence with the membership problem for a natural fragment of Presburger Arithmetic, which we show to be
international conference on concurrency theory | 2010
Stanislav Böhm; Stefan Göller; Petr Jančar
\P^\NP
logic in computer science | 2015
Michael Blondin; Alain Finkel; Stefan Göller; Christoph Haase; Pierre McKenzie
-complete. This fragment is also a suitable representation for the global versions of the problems. We also show that there already exists a fixed EF formula(resp. a fixed finite system) such that model checking (resp. weak bisimulation) over one-counter processes is hard for
mathematical foundations of computer science | 2011
Stanislav Böhm; Stefan Göller
\P^{\NP[\log]}
computer science logic | 2006
Stefan Göller; Markus Lohrey
. However, the complexity drops to
mathematical foundations of computer science | 2013
Alain Finkel; Stefan Göller; Christoph Haase
\P
logic in computer science | 2013
Michael Benedikt; Stefan Göller; Stefan Kiefer; Andrzej S. Murawski
if the one-counter process is fixed.
foundations of software science and computation structure | 2012
Stefan Göller; Christoph Haase; Joël Ouaknine; James Worrell
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which additive updates are encoded in binary, as well as parametric one-counter automata, in which additive updates may be given as unspecified parameters. We fully determine the complexity of model checking these automata against CTL, LTL, and modal µ-calculus specifications.