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

2023

Temporal logics with language parameters.

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

Inf. Comput., December, 2023

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

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