Zimmermann, Martin

1. The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
   2019/07/11 by Mascle, Corto, Zimmermann, Martin · 4 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
2. The First-Order Logic of Hyperproperties
   2016/10/14 by Bernd Finkbeiner, Finkbeiner, Bernd, Martín Zimmermann +1 · 4 citations
   Computer Science · Social Sciences · #Distributed systems and fault tolerance #Security and Verification in Computing #Access Control and Trust
3. Team Semantics for the Specification and Verification of Hyperproperties
   2017/09/25 by Krebs, Andreas, Meier, Arne, Virtema, Jonni +1 · 1 citation
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
   2018/07/21 by Mascle, Corto, Neider, Daniel, Schwenger, Maximilian +3 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
5. Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
   2024/09/09 by Alessandro Cimatti, Cimatti, Alessandro, Thomas M. Grosen +7 · 1 voice · 2 citations
   Engineering · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
6. Robust Alternating-Time Temporal Logic
   2023/07/20 by Aniello Murano, Murano, Aniello, Daniel Neider +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
7. Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond ∀^*∃^*
   2025/04/11 by Winter, Sarah, Zimmermann, Martin · 2 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
8. The Complexity of HyperQPTL
   2024/12/10 by Regaud, Gaëtan, Zimmermann, Martin · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)