Jens Oliver Gutsfeld

According to our database, Jens Oliver Gutsfeld authored at least 7 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Deciding Asynchronous Hyperproperties for Recursive Programs.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proc. ACM Program. Lang., January, 2024

A Navigation Logic for Recursive Programs with Dynamic Thread Creation.

Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022

Temporal Team Semantics Revisited.

Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Automata and fixpoints for asynchronous hyperproperties.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proc. ACM Program. Lang., 2021

Temporal Logics with Language Parameters.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz

Proceedings of the Language and Automata Theory and Applications, 2021

2020

Propositional Dynamic Logic for Hyperproperties.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2018

A Branching Time Variant of CaRet.

Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff

Proceedings of the Model Checking Software - 25th International Symposium, 2018