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.
David A. Basin, Vincent Jugé, Felix Klaedtke & Eugen Zalinescu (2013):
Enforceable Security Policies Revisited.
ACM Trans. Inf. Syst. Secur. 16(1),
pp. 3:1–3:26,
doi:10.1145/2487222.2487225.
Andreas Bauer & Yliès Falcone (2016):
Decentralised LTL monitoring.
Formal Methods Syst. Des. 48(1-2),
pp. 46–93,
doi:10.1007/s10703-016-0253-8.
Andreas Bauer, Martin Leucker & Christian Schallhart (2011):
Runtime Verification for LTL and TLTL.
ACM Trans. Softw. Eng. Methodol. 20(4),
pp. 14:1–14:64,
doi:10.1145/2000799.2000800.
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum & Corentin Travers (2016):
Challenges in Fault-Tolerant Distributed Runtime Verification.
In: Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications.
Springer International Publishing,
Cham,
pp. 363–370,
doi:10.1007/978-3-319-47169-3_27.
Christian Colombo & Yliès Falcone (2016):
Organising LTL monitors over distributed systems with a global clock.
Formal Methods in System Design 49(1),
pp. 109–158,
doi:10.1007/s10703-016-0251-x.
Egor Dolzhenko, Jay Ligatti & Srikar Reddy (2015):
Modeling Runtime Enforcement with Mandatory Results Automata.
Int. J. Inf. Secur. 14(1),
pp. 4760,
doi:10.1007/s10207-014-0239-8.
Matthew B. Dwyer, George S. Avrunin & James C. Corbett (1999):
Patterns in Property Specifications for Finite-State Verification.
In: Proceedings of the 21st International Conference on Software Engineering,
ICSE '99.
Association for Computing Machinery,
New York, NY, USA,
pp. 411420,
doi:10.1145/302405.302672.
Antoine El-Hokayem & Yliès Falcone (2017):
Monitoring decentralized specifications.
In: Tevfik Bultan & Koushik Sen: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017.
ACM,
pp. 125–135,
doi:10.1145/3092703.3092723.
Antoine El-Hokayem & Yliès Falcone (2017):
THEMIS: a tool for decentralized monitoring algorithms.
In: Tevfik Bultan & Koushik Sen: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017.
ACM,
pp. 372–375,
doi:10.1145/3092703.3098224.
Antoine El-Hokayem & Yliès Falcone (2020):
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.
ACM Trans. Softw. Eng. Methodol. 29(1),
pp. 1:1–1:57,
doi:10.1145/3355181.
Yliès Falcone, Jean-Claude Fernandez & Laurent Mounier (2012):
What can you verify and enforce at runtime?.
Int. J. Softw. Tools Technol. Transf. 14(3),
pp. 349–382,
doi:10.1007/s10009-011-0196-8.
Yliès Falcone, Thierry Jéron, Hervé Marchand & Srinivas Pinisetty (2016):
Runtime enforcement of regular timed properties by suppressing and delaying events.
Sci. Comput. Program. 123,
pp. 2–41,
doi:10.1016/j.scico.2016.02.008.
Yliès Falcone, Srdan Krstic, Giles Reger & Dmitriy Traytel (2021):
A taxonomy for classifying runtime verification tools.
Int. J. Softw. Tools Technol. Transf. 23(2),
pp. 255–284,
doi:10.1007/s10009-021-00609-z.
Yliès Falcone, Leonardo Mariani, Antoine Rollet & Saikat Saha (2018):
Runtime Failure Prevention and Reaction.
In: Ezio Bartocci & Yliès Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics,
Lecture Notes in Computer Science 10457.
Springer,
pp. 103–134,
doi:10.1007/978-3-319-75632-5_4.
Yliès Falcone & Srinivas Pinisetty (2019):
On the Runtime Enforcement of Timed Properties.
In: Bernd Finkbeiner & Leonardo Mariani: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings,
Lecture Notes in Computer Science 11757.
Springer,
pp. 48–69,
doi:10.1007/978-3-030-32079-9_4.
Adrian Francalanza, Jorge A. Pérez & César Sánchez (2018):
Runtime Verification for Decentralised and Distributed Systems.
In: Ezio Bartocci & Yliès Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics,
Lecture Notes in Computer Science 10457.
Springer,
pp. 176–210,
doi:10.1007/978-3-319-75632-5_6.
Florian Gallay & Yliès Falcone (2021):
Decentralized LTL Enforcement.
Available at www.ylies.fr.
Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem & Yliès Falcone (2018):
Decentralized enforcement of document lifecycle constraints.
Inf. Syst. 74(Part),
pp. 117–135,
doi:10.1016/j.is.2017.08.002.
Chi Hu, Wei Dong, Yonghui Yang, Hao Shi & Fei Deng (2020):
Decentralized runtime enforcement for robotic swarms.
Frontiers Inf. Technol. Electron. Eng. 21(11),
pp. 1591–1606,
doi:10.1631/FITEE.2000203.
Raphaël Khoury & Sylvain Hallé (2015):
Runtime Enforcement with Partial Control.
In: Joaquín García-Alfaro, Evangelos Kranakis & Guillaume Bonfante: Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers,
Lecture Notes in Computer Science 9482.
Springer,
pp. 102–116,
doi:10.1007/978-3-319-30303-1_7.
Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler & Roderick Bloem (2021):
Online Shielding for Stochastic Systems.
In: Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz & Ivan Perez: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings,
Lecture Notes in Computer Science 12673.
Springer,
pp. 231–248,
doi:10.1007/978-3-030-76384-8_15.
Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal & Vijay K. Garg (2017):
Efficient abstraction algorithms for predicate detection.
Theoretical Computer Science 688,
pp. 24–48,
doi:10.1016/j.tcs.2015.12.037.
Distributed Computing and Networking.
Vinit A. Ogale & Vijay K. Garg (2007):
Detecting Temporal Logic Predicates on Distributed Computations.
In: Andrzej Pelc: Distributed Computing.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 420–434,
doi:10.1007/978-3-540-75142-7_32.
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet & Omer Nguena-Timo (2014):
Runtime enforcement of timed properties revisited.
Formal Methods Syst. Des. 45(3),
pp. 381–422,
doi:10.1007/s10703-014-0215-y.
Amir Pnueli (1977):
The temporal logic of programs.
In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977),
pp. 46–57,
doi:10.1109/SFCS.1977.32.
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron & Hervé Marchand (2015):
Enforcement of (Timed) Properties with Uncontrollable Events.
In: Martin Leucker, Camilo Rueda & Frank D. Valencia: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings,
Lecture Notes in Computer Science 9399.
Springer,
pp. 542–560,
doi:10.1007/978-3-319-25150-9_31.
Matthieu Renard, Antoine Rollet & Yliès Falcone (2020):
Runtime enforcement of timed properties using games.
Formal Aspects Comput. 32(2-3),
pp. 315–360,
doi:10.1007/s00165-020-00515-2.
Grigore Rosu & Klaus Havelund (2005):
Rewriting-Based Techniques for Runtime Verification.
Autom. Softw. Eng. 12(2),
pp. 151–197,
doi:10.1007/s10515-005-6205-y.
Prasanna Thati & Grigore Roşu (2005):
Monitoring Algorithms for Metric Temporal Logic Specifications.
Electronic Notes in Theoretical Computer Science 113,
pp. 145–162,
doi:10.1016/j.entcs.2004.01.029.
Proceedings of the Fourth Workshop on Runtime Verification (RV 2004).