Jens Oliver Gutsfeld

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Recursive Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Deciding Asynchronous Hyperproperties for Recursive Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
A Navigation Logic for Recursive Programs with Dynamic Thread Creation. VMCAI (2) (2024)
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
A Navigation Logic for Recursive Programs with Dynamic Thread Creation. CoRR (2023)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal logics with language parameters. Inf. Comput. 295 (Part B) (2023)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Deciding Asynchronous Hyperproperties for Recursive Programs. CoRR (2022)
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
Temporal Team Semantics Revisited. LICS (2022)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal Logics with Language Parameters. LATA (2021)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Automata and fixpoints for asynchronous hyperproperties. Proc. ACM Program. Lang. 5 (POPL) (2021)
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
Temporal Team Semantics Revisited. CoRR (2021)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Automata and Fixpoints for Asynchronous Hyperproperties. CoRR (2020)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Propositional Dynamic Logic for Hyperproperties. CONCUR (2020)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal Logics with Language Parameters. CoRR (2019)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Propositional Dynamic Logic for Hyperproperties. CoRR (2019)
Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff
A Branching Time Variant of CaRet. SPIN (2018)