Luca Aceto
Antonis Achilleos
Adrian Francalanza
Anna Ingólfsdóttir
Karoliina Lehtinen
2019
Adventures in monitorability: from branching to linear time and back again
Proceedings of the ACM on Programming Languages
3
POPL
1–29
10.1145/3290365
Rayhana Amjad
Rob van Glabbeek
Liam O'Connor
2024
Definitive Set Semantics for LTL3
Archive of Formal Proofs
https://isa-afp.org/entries/LTL3_Semantics.html, Formal proof development
Bowen Alpern
Fred B. Schneider
1985
Defining liveness
Information Processing Letters
21
4
181–185
10.1016/0020-0190(85)90056-0
Andreas Bauer
Yliès Falcone
2012
Decentralised LTL Monitoring
FM 2012: Formal Methods
Springer
85–100
10.1007/978-3-642-32759-9_10
Fahiem Bacchus
Froduald Kabanza
1996
Using Temporal Logic to Control Search in a Forward Chaining Planner
141–153
IOS Press
Stephen Blamey
2002
Partial Logic
Handbook of Philosophical Logic
Springer
261–353
10.1007/978-94-017-0458-8_5
Andreas Bauer
Martin Leucker
Christian Schallhart
2007
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
Runtime Verification
Springer
126–138
10.1007/978-3-540-77395-5_11
Andreas Bauer
Martin Leucker
Christian Schallhart
2010
Comparing LTL Semantics for Runtime Verification
Journal of Logic and Computation
20
3
651–674
10.1093/logcom/exn075
Andreas Bauer
Martin Leucker
Christian Schallhart
2011
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering Methodology
20
4
10.1145/2000799.2000800
Edward Chang
Zohar Manna
Amir Pnueli
1993
The Safety-Progress Classification
Logic and Algebra of Specification
Springer
143–202
10.1007/978-3-642-58041-3_5
Ming Chai
Bernd-Holger Schlingloff
2014
Online Monitoring of Distributed Systems with a Five-Valued LTL
IEEE 44th International Symposium on Multiple-Valued Logic
226–231
10.1109/ISMVL.2014.47
Cindy Eisner
Dana Fisman
John Havlicek
Yoad Lustig
Anthony McIsaac
David Van Campenhout
2003
Reasoning with Temporal Logic on Truncated Paths
Computer Aided Verification
Springer
27–39
10.1007/978-3-540-45069-6_3
Thomas A. Henzinger
Nicolas Mazzocchi
N. Ege Saraç
2023
Quantitative Safety and Liveness
Foundations of Software Science and Computation Structures
Springer
349–370
10.1007/978-3-031-30829-1_17
Froduald Kabanza
Sylvie Thiébaux
2005
Search Control in Planning for Temporally Extended Goals
International Conference on Automated Planning and Scheduling
AAAI
130–139
Orna Kupferman
Moshe Y. Vardi
2001
Model Checking of Safety Properties
Formal Methods in System Design
19
3
291–314
10.1023/A:1011254632723
Leslie Lamport
1977
Proving the correctness of multiprocess programs
IEEE Transactions on Software Engineering
3
2
125–143
10.1109/TSE.1977.229904
Orna Lichtenstein
Amir Pnueli
Lenore Zuck
1985
The Glory of the Past
Logics of Programs
Springer
196–218
10.1007/3-540-15648-8_16
Zohar Manna
Amir Pnueli
1992
The Temporal Logic of Reactive and Concurrent Systems
Springer
10.1007/978-1-4612-0931-7
Zohar Manna
Amir Pnueli
1995
Temporal Verification of Reactive Systems: Safety
Springer
10.1007/978-1-4612-4222-2
Liam O'Connor
Oskar Wickström
2022
Quickstrom: Property-based Acceptance Testing with LTL Specifications
Programming Language Design and Implementation
PLDI 2022
ACM
1025–1038
10.1145/3519939.3523728
Grigore Roşu
Klaus Havelund
2005
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
12
2
151–197
10.1007/s10515-005-6205-y
Paulo Tabuada
Daniel Neider
2016
Robust Linear Temporal Logic
25th EACSL Annual Conference on Computer Science Logic, CSL 2016
Leibniz International Proceedings in Informatics (LIPIcs)
62
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
10:1–10:21
10.4230/LIPIcs.CSL.2016.10