References

  1. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir & Karoliina Lehtinen (2019): Adventures in Monitorability: From Branching to Linear Time and Back Again. Proc. ACM Program. Lang. 3(POPL), doi:10.1145/3290365.
  2. James F. Allen (1983): Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), pp. 832–843, doi:10.1145/182.358434.
  3. Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic & Rudi Studer (2010): A Rule-Based Language for Complex Event Processing and Reasoning, pp. 42–57, Lecture Notes in Computer Science 6333. Springer Berlin Heidelberg, doi:10.1007/978-3-642-15918-3_5.
  4. Alexander Artikis, Marek Sergot & Georgios Paliouras (2015): An Event Calculus for Event Recognition. IEEE Transactions on Knowledge and Data Engineering 27(4), pp. 895–908, doi:10.1109/TKDE.2014.2356476.
  5. Ezio Bartocci & Yliès Falcone (2018): Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science 10457. Springer, doi:10.1007/978-3-319-75632-5.
  6. Andreas Bauer, Martin Leucker & Christian Schallhart (2011): Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), doi:10.1145/2000799.2000800.
  7. Harald Beck, Minh Dao-Tran & Thomas Eiter (2018): LARS: A Logic-based framework for Analytic Reasoning over Streams. Artificial Intelligence 261, pp. 16–70, doi:10.1016/j.artint.2018.04.003.
  8. Michael H Bohlen, Renato Busatto & Christian S. Jensen (1998): Point-versus interval-based temporal data models. In: Proceedings 14th International Conference on Data Engineering, pp. 192–200, doi:10.1109/ICDE.1998.655777.
  9. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron & Pietro Sala (2018): Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Logic 20(1), doi:10.1145/3281028.
  10. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari & Guido Sciavicco (2008): Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. In: Iliano Cervesato, Helmut Veith & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 590–604, doi:10.1007/978-3-540-89439-1_41.
  11. Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe & César Sánchez (2014): Temporal Logics for Hyperproperties. In: Martín Abadi & Steve Kremer: Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Lecture Notes in Computer Science 8414. Springer, pp. 265–284, doi:10.1007/978-3-642-54792-8_15.
  12. Gianpaolo Cugola & Alessandro Margara (2010): TESLA: a formally defined event specification language. In: DEBS ’10. ACM Press, pp. 50, doi:10.1145/1827418.1827427.
  13. Ben D'Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra & Zohar Manna (2005): LOLA: Runtime Monitoring of Synchronous Systems. In: Proceedings of the 12th International Symposium on Temporal Representation and Reasoning, TIME '05. IEEE Computer Society, USA, pp. 166–174, doi:10.1109/TIME.2005.26.
  14. Andreas Dohr, Christiane Engels & Andreas Behrend (2018): Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases. In: Natasha Alechina, Kjetil Nørvåg & Wojciech Penczek: 25th International Symposium on Temporal Representation and Reasoning (TIME 2018), Leibniz International Proceedings in Informatics (LIPIcs) 120. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 11:1–11:16, doi:10.4230/LIPIcs.TIME.2018.11.
  15. Dov Gabbay, Amir Pnueli, Saharon Shelah & Jonathan Stavi (1980): On the Temporal Analysis of Fairness. In: Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '80. Association for Computing Machinery, New York, NY, USA, pp. 163–173, doi:10.1145/567446.567462.
  16. Joseph Y. Halpern & Yoav Shoham (1991): A propositional modal logic of time intervals. Journal of the ACM 38(4), pp. 935–962, doi:10.1145/115234.115351.
  17. Johan Anthony Wilem Kamp (1968): Tense Logic and the Theory of Linear Order. University of California, Los Angeles.
  18. Robert Kowalski & Marek Sergot (1986): A logic-based calculus of events. New Generation Computing 4(1), pp. 67–95, doi:10.1007/BF03037383.
  19. Andreas Krebs, Arne Meier, Jonni Virtema & Martin Zimmermann (2018): Team Semantics for the Specification and Verification of Hyperproperties. In: Igor Potapov, Paul G. Spirakis & James Worrell: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK, LIPIcs 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 10:1–10:16, doi:10.4230/LIPIcs.MFCS.2018.10.
  20. Kamal Lodaya (2000): Sharpening the Undecidability of Interval Temporal Logic. In: Jifeng He & Masahiko Sato: Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings, Lecture Notes in Computer Science 1961. Springer, pp. 290–298, doi:10.1007/3-540-44464-5_21.
  21. Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert & Martin Zimmermann (2020): From LTL to RLTL Monitoring: Improved Monitorability through Robust Semantics. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, HSCC '20. Association for Computing Machinery, New York, NY, USA, pp. 170–204, doi:10.1145/3365365.3382197.
  22. Manolis Pitsikalis, Alexei Lisitsa & Shan Luo (2021): Representation and Processing of Instantaneous and Durative Temporal Phenomena. In: Emanuele De Angelis & Wim Vanhoof: Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings, Lecture Notes in Computer Science 13290. Springer, pp. 135–156, doi:10.1007/978-3-030-98869-2_8.
  23. Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke & Simon Lee (2022): Making Sense of Heterogeneous Maritime Data. In: 2022 23rd IEEE International Conference on Mobile Data Management (MDM), pp. 401–406, doi:10.1109/MDM55031.2022.00089.
  24. Amir Pnueli (1977): The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). IEEE, Providence, RI, USA, pp. 46–57, doi:10.1109/SFCS.1977.32.
  25. Alexander Rabinovich (2014): A Proof of Kamp's theorem. Logical Methods in Computer Science Volume 10, Issue 1, doi:10.2168/LMCS-10(1:14)2014.
  26. Cyril Ray, Richard Dréo, Elena Camossi, Anne-Laure Jousselme & Clément Iphar (2019): Heterogeneous integrated dataset for Maritime Intelligence, surveillance, and reconnaissance. Data in Brief 25, pp. 104141, doi:10.1016/j.dib.2019.104141.
  27. Yde Venema (1990): Expressiveness and completeness of an interval tense logic.. Notre Dame Journal of Formal Logic 31(4), doi:10.1305/ndjfl/1093635589.
  28. Peter Øhrstrøm & Per Hasle (2006): Modern temporal logic: The philosophical background. In: Dov M. Gabbay & John Woods: Logic and the Modalities in the Twentieth Century, Handbook of the History of Logic 7. North-Holland, pp. 447–498, doi:10.1016/S1874-5857(06)80032-4.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org