Items where Author is "Zimmermann, Martin"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Mascle, Corto and Neider, Daniel and Schwenger, Maximilian and Tabuada, Paulo and Weinert, Alexander and Zimmermann, Martin
(2020) From LTL to rLTL Monitoring: Improved Monitorability Through Robust Semantics.
In: HSCC 2020, April 21-14 2020, Sydney, Australia.
Conference: HSCC ACM International Conference on Hybrid Systems: Computation and Control

Jacobs, Swen and Sakr, Mouhammad and Zimmermann, Martin
(2020) Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
In: VMCAI 2020.
Conference: VMCAI Verification, Model Checking and Abstract Interpretation
(In Press)

Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2018) Distributed synthesis for parameterized temporal logics.
Information and Computation, 262 (2). pp. 311-328.

Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2017) Distributed Synthesis for Parameterized Temporal Logics.
CoRR, abs/17.

Finkbeiner, Bernd and Zimmermann, Martin
(2017) The First-Order Logic of Hyperproperties.
In: 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany.
Conference: STACS International Symposium on Theoretical Aspects of Computer Science

Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2016) Distributed PROMPT-LTL Synthesis.
In: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016..

Finkbeiner, Bernd and Zimmermann, Martin
(2016) The First-Order Logic of Hyperproperties.
CoRR, abs/16.

This list was generated on Fri Apr 19 15:10:45 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.