Jens Oliver Gutsfeld

14 papers A* 1B 1C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 — conf
A Navigation Logic for Recursive Programs with Dynamic Thread Creation.
VMCAI (2)
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
2024 J jnl
Deciding Asynchronous Hyperproperties for Recursive Programs.
Proc. ACM Program. Lang.
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
2023 J jnl
A Navigation Logic for Recursive Programs with Dynamic Thread Creation.
CoRR
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
2023 J jnl
Temporal logics with language parameters.
Inf. Comput.
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
2022 J jnl
Deciding Asynchronous Hyperproperties for Recursive Programs.
CoRR
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
2022 A* conf
Temporal Team Semantics Revisited.
LICS
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
2021 J jnl
Automata and fixpoints for asynchronous hyperproperties.
Proc. ACM Program. Lang.
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
2021 C conf
Temporal Logics with Language Parameters.
LATA
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
2021 J jnl
Temporal Team Semantics Revisited.
CoRR
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
2020 J jnl
Automata and Fixpoints for Asynchronous Hyperproperties.
CoRR
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
2020 B conf
Propositional Dynamic Logic for Hyperproperties.
CONCUR
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
2019 J jnl
Propositional Dynamic Logic for Hyperproperties.
CoRR
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
2019 J jnl
Temporal Logics with Language Parameters.
CoRR
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
2018 — conf
A Branching Time Variant of CaRet.
SPIN
Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff