@article(AcetoEtAl2019,
 author       = {L. Aceto and A. Achilleos and A. Francalanza and A. Ing\'{o}lfsd\'{o}ttir and K. Lehtinen},
 year         = {2019},
 title        = {Adventures in Monitorability: From Branching to Linear Time and Back Again},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {3},
 number       = {POPL},
 pages        = {52:1--52:29},
 doi          = {10.1145/3290365},
)
@article(AhrendtCPS17,
 author       = {Wolfgang Ahrendt and Jes{\'{u}}s Mauricio Chimento and Gordon J. Pace and Gerardo Schneider},
 year         = {2017},
 title        = {Verifying data- and control-oriented properties combining static and runtime verification: theory and tools},
 journal      = {Formal Methods in System Design},
 volume       = {51},
 number       = {1},
 pages        = {200--265},
 doi          = {10.1007/s10703-017-0274-y},
)
@inproceedings(AlurEM04,
 author       = {Rajeev Alur and Kousha Etessami and P. Madhusudan},
 year         = {2004},
 title        = {A Temporal Logic of Nested Calls and Returns},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, {TACAS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
 pages        = {467--481},
 doi          = {10.1007/978-3-540-24730-2\_35},
)
@article(AnconaBB0CDGGGH16,
 author       = {Davide Ancona and Viviana Bono and Mario Bravetti and Joana Campos and Giuseppe Castagna and Pierre{-}Malo Deni{\'{e}}lou and Simon J. Gay and Nils Gesbert and Elena Giachino and Raymond Hu and Einar Broch Johnsen and Francisco Martins and Viviana Mascardi and Fabrizio Montesi and Rumyana Neykova and Nicholas Ng and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida},
 year         = {2016},
 title        = {Behavioral Types in Programming Languages},
 journal      = {Foundations and Trends in Programming Languages},
 volume       = {3},
 number       = {2-3},
 pages        = {95--230},
 doi          = {10.1561/2500000031},
)
@inproceedings(AnconaC14,
 author       = {Davide Ancona and Andrea Corradi},
 year         = {2014},
 title        = {Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages},
 booktitle    = {{ECOOP} 2014},
 pages        = {282--307},
 doi          = {10.1007/978-3-662-44202-9\_12},
)
@inproceedings(AnconaC16,
 author       = {Davide Ancona and Andrea Corradi},
 year         = {2016},
 title        = {Semantic subtyping for imperative object-oriented languages},
 booktitle    = {{OOPSLA} 2016},
 pages        = {568--587},
 doi          = {10.1145/2983990.2983992},
)
@inproceedings(AnconaDM12,
 author       = {Davide Ancona and Sophia Drossopoulou and Viviana Mascardi},
 year         = {2012},
 title        = {Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason},
 booktitle    = {Declarative Agent Languages and Technologies {X} - 10th International Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers},
 pages        = {76--95},
 doi          = {10.1007/978-3-642-37890-4\_5},
)
@inproceedings(AnconaFM16,
 author       = {Davide Ancona and Angelo Ferrando and Viviana Mascardi},
 year         = {2016},
 title        = {Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification},
 booktitle    = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday},
 pages        = {47--64},
 doi          = {10.1007/978-3-319-30734-3\_6},
)
@inproceedings(AnconaFM17,
 author       = {Davide Ancona and Angelo Ferrando and Viviana Mascardi},
 year         = {2017},
 title        = {Parametric Runtime Verification of Multiagent Systems},
 booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
 pages        = {1457--1459},
 doi          = {10.5555/3091125.3091328},
)
@misc(ancona2020determinism,
 author       = {Davide Ancona and Angelo Ferrando and Viviana Mascardi},
 year         = {2020},
 title        = {Can determinism and compositionality coexist in RML? (extende version)},
 url          = {https://arxiv.org/abs/2008.06453},
)
@inproceedings(AnconaFFM19,
 author       = {Davide Ancona and Luca Franceschini and Angelo Ferrando and Viviana Mascardi},
 year         = {2019},
 title        = {A Deterministic Event Calculus for Effective Runtime Verification},
 editor       = {Alessandra Cherubini and Nicoletta Sabadini and Simone Tini},
 booktitle    = {Proceedings of the 20th Italian Conference on Theoretical Computer Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {2504},
 publisher    = {CEUR-WS.org},
 pages        = {248--260},
 url          = {http://ceur-ws.org/Vol-2504/paper28.pdf},
)
@inproceedings(BarringerFHRR12,
 author       = {Howard Barringer and Yli{\`{e}}s Falcone and Klaus Havelund and Giles Reger and David E. Rydeheard},
 year         = {2012},
 title        = {Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors},
 booktitle    = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings},
 pages        = {68--84},
 doi          = {10.1007/978-3-642-32759-9\_9},
)
@incollection(BartocciFFR18,
 author       = {Ezio Bartocci and Yli{\`{e}}s Falcone and Adrian Francalanza and Giles Reger},
 year         = {2018},
 title        = {Introduction to Runtime Verification},
 booktitle    = {Lectures on Runtime Verification - Introductory and Advanced Topics},
 pages        = {1--33},
 doi          = {10.1007/978-3-319-75632-5\_1},
)
@inproceedings(ltl4,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2007},
 title        = {The Good, the Bad, and the Ugly, But How Ugly Is Ugly?},
 editor       = {Oleg Sokolsky and Ta{\c{s}}{\i}ran, Serdar},
 booktitle    = {Runtime Verification},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {126--138},
 doi          = {10.1007/978-3-540-77395-5\_11},
)
@article(ltl3,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2011},
 title        = {Runtime verification for {LTL} and {TLTL}},
 journal      = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
 volume       = {20},
 number       = {4},
 pages        = {14:1--14:64},
 doi          = {10.1145/2000799.2000800},
)
@inproceedings(BolligDL12,
 author       = {Benedikt Bollig and Normann Decker and Martin Leucker},
 year         = {2012},
 title        = {Frequency Linear-time Temporal Logic},
 booktitle    = {Sixth International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2012, 4-6 July 2012, Beijing, China},
 pages        = {85--92},
 doi          = {10.1109/TASE.2012.43},
)
@article(CastagnaEtAl12,
 author       = {G. Castagna and Dezani-Ciancaglini, M. and L. Padovani},
 year         = {2012},
 title        = {On Global Types and Multi-Party Session},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 number       = {1},
 doi          = {10.2168/LMCS-8(1:24)2012},
)
@inproceedings(CauZ97,
 author       = {Antonio Cau and Hussein Zedan},
 year         = {1997},
 title        = {Refining Interval Temporal Logic Specifications},
 booktitle    = {Transformation-Based Reactive Systems Development, 4th International {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
 pages        = {79--94},
 doi          = {10.1007/3-540-63010-4\_6},
)
@inproceedings(ChenR07,
 author       = {Feng Chen and Grigore Rosu},
 year         = {2007},
 title        = {Mop: an efficient and generic runtime verification framework},
 booktitle    = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2007, October 21-25, 2007, Montreal, Quebec, Canada},
 pages        = {569--588},
 doi          = {10.1145/1297027.1297069},
)
@inproceedings(ChenR09,
 author       = {Feng Chen and Grigore Rosu},
 year         = {2009},
 title        = {Parametric Trace Slicing and Monitoring},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, {TACAS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
 pages        = {246--261},
 doi          = {10.1007/978-3-642-00768-2\_23},
)
@inproceedings(DATEs,
 author       = {Christian Colombo and Gordon J. Pace and Gerardo Schneider},
 year         = {2008},
 title        = {Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties},
 booktitle    = {Formal Methods for Industrial Critical Systems, 13th International Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers},
 pages        = {135--149},
 doi          = {10.1007/978-3-642-03240-0\_13},
)
@inproceedings(ColomboPS09,
 author       = {Christian Colombo and Gordon J. Pace and Gerardo Schneider},
 year         = {2009},
 title        = {{LARVA} -- Safer Monitoring of Real-Time {J}ava Programs},
 booktitle    = {{SEFM} 2009},
 pages        = {33--37},
 doi          = {10.1109/SEFM.2009.13},
)
@article(Courcelle83,
 author       = {Bruno Courcelle},
 year         = {1983},
 title        = {Fundamental Properties of Infinite Trees},
 journal      = {Theor. Comput. Sci.},
 volume       = {25},
 pages        = {95--169},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@inproceedings(DavisCSL18,
 author       = {James C. Davis and Christy A. Coghlan and Francisco Servant and Dongyoon Lee},
 year         = {2018},
 title        = {The impact of regular expression denial of service {(ReDoS)} in practice: an empirical study at the ecosystem scale},
 booktitle    = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09, 2018},
 pages        = {246--256},
 doi          = {10.1145/3236024.3236027},
)
@article(DelgadoGR04,
 author       = {Nelly Delgado and Ann Q. Gates and Steve Roach},
 year         = {2004},
 title        = {A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {30},
 number       = {12},
 pages        = {859--872},
 doi          = {10.1109/TSE.2004.91},
)
@incollection(Falcone13,
 author       = {Yli{\`e}s Falcone and Klaus Havelund and Giles Reger},
 year         = {2013},
 title        = {A Tutorial on Runtime Verification},
 booktitle    = {Engineering Dependable Software Systems},
 pages        = {141--175},
 doi          = {10.3233/978-1-61499-207-3-141},
)
@inproceedings(FalconeKRT18,
 author       = {Yli{\`{e}}s Falcone and Srdan Krstic and Giles Reger and Dmitriy Traytel},
 year         = {2018},
 title        = {A Taxonomy for Classifying Runtime Verification Tools},
 booktitle    = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings},
 pages        = {241--262},
 doi          = {10.1007/978-3-030-03769-7\_14},
)
@phdthesis(FranceschiniPhD2020,
 author       = {Luca Franceschini},
 year         = {March 2020},
 title        = {{RML\xspace: Runtime Monitoring Language}},
 school       = {{DIBRIS - University of Genova}},
 url          = {http://hdl.handle.net/11567/1001856},
)
@article(FrischEtAl08,
 author       = {A. Frisch and G. Castagna and V. Benzaken},
 year         = {2008},
 title        = {Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types},
 journal      = {J. ACM},
 volume       = {55},
 number       = {4},
 doi          = {10.1145/1391289.1391293},
)
@inproceedings(HavelundG05,
 author       = {Klaus Havelund and Allen Goldberg},
 year         = {2005},
 title        = {Verify Your Runs},
 booktitle    = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC} 2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions},
 pages        = {374--383},
 doi          = {10.1007/978-3-540-69149-5\_40},
)
@incollection(HavelundRTZ18,
 author       = {Klaus Havelund and Giles Reger and Daniel Thoma and Eugen Zalinescu},
 year         = {2018},
 title        = {Monitoring Events that Carry Data},
 booktitle    = {Lectures on Runtime Verification - Introductory and Advanced Topics},
 pages        = {61--102},
 doi          = {10.1007/978-3-319-75632-5\_3},
)
@inproceedings(KiczalesHHKPG01,
 author       = {Gregor Kiczales and Erik Hilsdale and Jim Hugunin and Mik Kersten and Jeffrey Palm and William G. Griswold},
 year         = {2001},
 title        = {An Overview of {AspectJ}},
 booktitle    = {{ECOOP} 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings},
 pages        = {327--353},
 doi          = {10.1007/3-540-45337-7\_18},
)
@article(Kozen83,
 author       = {Dexter Kozen},
 year         = {1983},
 title        = {Results on the Propositional mu-Calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {27},
 pages        = {333--354},
 doi          = {10.1016/0304-3975(82)90125-6},
)
@article(Larsen90,
 author       = {Kim Guldstrand Larsen},
 year         = {1990},
 title        = {Proof Systems for Satisfiability in {Hennessy-Milner} Logic with Recursion},
 journal      = {Theor. Comput. Sci.},
 volume       = {72},
 number       = {2{\&}3},
 pages        = {265--288},
 doi          = {10.1016/0304-3975(90)90038-J},
)
@article(rv,
 author       = {Martin Leucker and Christian Schallhart},
 year         = {2009},
 title        = {A brief account of runtime verification},
 journal      = {The Journal of Logic and Algebraic Programming},
 volume       = {78},
 number       = {5},
 pages        = {293--303},
 doi          = {10.1016/j.jlap.2008.08.004},
)
@inproceedings(LynchT87,
 author       = {Nancy A. Lynch and Mark R. Tuttle},
 year         = {1987},
 title        = {Hierarchical Correctness Proofs for Distributed Algorithms},
 editor       = {Fred B. Schneider},
 booktitle    = {Proceedings of the Sixth Annual {ACM} Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987},
 publisher    = {{ACM}},
 pages        = {137--151},
 doi          = {10.1145/41840.41852},
)
@article(left-rec,
 author       = {RC Moore},
 year         = {2000},
 title        = {Removing left recursion from context-free grammars},
 journal      = {NAACL 2000: Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference},
 url          = {https://www.aclweb.org/anthology/A00-2033},
)
@inproceedings(ltl,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {18th Annual Symposium on Foundations of Computer Science, 1977},
 organization = {IEEE},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@inproceedings(PnueliZ93,
 author       = {Amir Pnueli and Lenore D. Zuck},
 year         = {1993},
 title        = {In and Out of Temporal Logic},
 booktitle    = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science {(LICS} '93), Montreal, Canada, June 19-23, 1993},
 pages        = {124--135},
 doi          = {10.1109/LICS.1993.287594},
)
@inproceedings(RegerCR15,
 author       = {Giles Reger and Helena Cuenca Cruz and David E. Rydeheard},
 year         = {2015},
 title        = {{MarQ}: Monitoring at Runtime with {QEA}},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings},
 pages        = {596--610},
 doi          = {10.1007/978-3-662-46681-0\_55},
)
@article(SokolskyHL12,
 author       = {Oleg Sokolsky and Klaus Havelund and Insup Lee},
 year         = {2012},
 title        = {Introduction to the special section on runtime verification},
 journal      = {{STTT}},
 volume       = {14},
 number       = {3},
 pages        = {243--247},
 doi          = {10.1007/s10009-011-0218-6},
)
@article(ThatiR05,
 author       = {Prasanna Thati and Grigore Rosu},
 year         = {2005},
 title        = {Monitoring Algorithms for Metric Temporal Logic Specifications},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {113},
 pages        = {145--162},
 doi          = {10.1016/j.entcs.2004.01.029},
)
@article(Vaandrager91,
 author       = {Frits W. Vaandrager},
 year         = {1991},
 title        = {Determinism - (Event Structure Isomorphism = Step Sequence Equivalence)},
 journal      = {Theor. Comput. Sci.},
 volume       = {79},
 number       = {2},
 pages        = {275--294},
 doi          = {10.1016/0304-3975(91)90333-W},
)
@inproceedings(Winskel86,
 author       = {Glynn Winskel},
 year         = {1986},
 title        = {Event Structures},
 editor       = {Wilfried Brauer and Wolfgang Reisig and Grzegorz Rozenberg},
 booktitle    = {Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986},
 series       = {Lecture Notes in Computer Science},
 volume       = {255},
 publisher    = {Springer},
 pages        = {325--392},
 doi          = {10.1007/3-540-17906-2\_31},
)