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