@book(AhrendtEtAl16,
 author       = {W. Ahrendt and B. Beckert and R. Bubel and R. H{\"{a}}hnle and P.H. Schmitt and M. Ulbrich},
 year         = {2016},
 title        = {Deductive Software Verification - The KeY Book - From Theory to Practice},
 series       = {LNCS},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-49812-6},
)
@article(Betty16,
 author       = {D. Ancona and V. Bono and M. Bravetti and J. Campos and G. Castagna and P. M. Deni{\'{e}}lou and S. J. Gay and N. Gesbert and E. Giachino and R. Hu and E. B. Johnsen and F. Martins and V. Mascardi and F. Montesi and R. Neykova and N. Ng and L. Padovani and V.T. Vasconcelos and N. 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(GlobalProtocolsAAMAS15,
 author       = {D. Ancona and D. Briola and A. Ferrando and V. Mascardi},
 year         = {2015},
 title        = {Global Protocols as First Class Entities for Self-Adaptive Agents},
 booktitle    = {{AAMAS 2015}},
 pages        = {1019--1029},
 url          = {http://dl.acm.org/citation.cfm?id=2772879.2773282},
)
@inproceedings(DelzannoNode,
 author       = {D. Ancona and G. Delzanno and L. Franceschini and M. Leotta and E. Prampolini and M. Ribaudo and F. Ricca},
 year         = {2017},
 title        = {An Abstract Machine for Asynchronous Programs with Closures and Priority Queues},
 booktitle    = {Proceedings of the 11th International Workshop on Reachability Problems},
 pages        = {59--74},
 doi          = {10.1007/978-3-319-67089-8_5},
)
@inproceedings(AnconaEtAl12,
 author       = {D. Ancona and S. Drossopoulou and V. Mascardi},
 year         = {2012},
 title        = {Automatic Generation of Self-Monitoring {MASs} from Multiparty Global Session Types in {J}ason},
 booktitle    = {DALT 2012},
 series       = {LNAI},
 volume       = {7784},
 publisher    = {Springer},
 pages        = {76--95},
 doi          = {10.1007/978-3-642-37890-4_5},
)
@inproceedings(AnconaEtAl16,
 author       = {D. Ancona and A. Ferrando and V. Mascardi},
 year         = {2016},
 title        = {Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification},
 booktitle    = {Theory and Practice of Formal Methods},
 publisher    = {{Springer Verlag}},
 pages        = {47--64},
 doi          = {10.1007/978-3-319-30734-3_6},
)
@inproceedings(AnconaParametric2017,
 author       = {D. Ancona and A. Ferrando and V. 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},
 url          = {http://dl.acm.org/citation.cfm?id=3091328},
)
@article(Artho2005209,
 author       = {C. Artho and H. Barringer and A. Goldberg and K. Havelund and S. Khurshid and M. Lowry and C. Pasareanu and Ro\c{s}u, G. and K. Sen and W. Visser and R. Washington},
 year         = {2005},
 title        = {Combining test case generation and runtime verification},
 journal      = {Theoretical Computer Science},
 volume       = {336},
 number       = {2–3},
 pages        = {209 -- 234},
 doi          = {10.1016/j.tcs.2004.11.007},
)
@inproceedings(RuntimeReflection,
 author       = {A. Bauer and M. Leucker and C. Schallhart},
 year         = {2006},
 title        = {Model-based runtime analysis of distributed reactive systems},
 booktitle    = {Australian Software Engineering Conference (ASWEC'06)},
 pages        = {10--},
 doi          = {10.1109/ASWEC.2006.36},
)
@inproceedings(IDC2014,
 author       = {D. Briola and V. Mascardi and D. Ancona},
 year         = {2014},
 title        = {Distributed Runtime Verification of {JADE} Multiagent Systems},
 booktitle    = {IDC},
 series       = {Studies in Computational Intelligence},
 publisher    = {Springer},
 pages        = {81--91},
 doi          = {10.1007/978-3-319-10422-5_10},
)
@inproceedings(MOP,
 author       = {F. Chen and Ro\c{s}u, G.},
 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 and Applications},
 series       = {OOPSLA '07},
 publisher    = {ACM},
 pages        = {569--588},
 doi          = {10.1145/1297027.1297069},
)
@inproceedings(LARVA,
 author       = {C. Colombo and G. J. Pace and G. Schneider},
 year         = {2009},
 title        = {LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)},
 booktitle    = {2009 Seventh IEEE International Conference on Software Engineering and Formal Methods},
 pages        = {33--37},
 doi          = {10.1109/SEFM.2009.13},
)
@article(Courcelle83,
 author       = {B. Courcelle},
 year         = {1983},
 title        = {Fundamental properties of infinite trees},
 journal      = {Theoretical Computer Science},
 volume       = {25},
 pages        = {95--169},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@inproceedings(DBLP:conf/rv/HalleV10,
 author       = {S. Hall{\'{e}} and R. Villemaire},
 year         = {2010},
 title        = {Runtime Verification for the Web - {A} Tutorial Introduction to Interface Contracts in Web Applications},
 booktitle    = {RV 2010},
 pages        = {106--121},
 doi          = {10.1007/978-3-642-16612-9_10},
)
@article(5427377,
 author       = {S. Hallé and T. Bultan and G. Hughes and M. Alkhalaf and R. Villemaire},
 year         = {2010},
 title        = {Runtime Verification of Web Service Interface Contracts},
 journal      = {Computer},
 volume       = {43},
 number       = {3},
 pages        = {59--66},
 doi          = {10.1109/MC.2010.76},
)
@inproceedings(ENWOT17,
 author       = {M. Leotta and F. Ricca and D. Clerissi and D. Ancona and G. Delzanno and M. Ribaudo and L. Franceschini},
 year         = {2017},
 title        = {Towards an Acceptance Testing Approach for Internet of Things Systems},
 booktitle    = {EnWoT 2017},
 note         = {To appear in Springer's Lecture Notes in Computer Science},
)
@article(Leucker2009293,
 author       = {M. Leucker and C. 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(RV-Monitor14,
 author       = {Q. Luo and Y. Zhang and C. Lee and D. Jin and P. O. Meredith and T. F. Serbanuta and G. Rosu},
 year         = {2014},
 title        = {RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties},
 booktitle    = {RV 2014},
 volume       = {8734},
 publisher    = {Springer},
 pages        = {285--300},
 doi          = {10.1007/978-3-319-11164-3_24},
)
@inproceedings(Jalangi,
 author       = {K. Sen and S. Kalasapur and T. Brutch and S. Gibbs},
 year         = {2013},
 title        = {Jalangi: A Selective Record-replay and Dynamic Analysis Framework for JavaScript},
 booktitle    = {ESEC/FSE 2013},
 pages        = {488--498},
 doi          = {10.1145/2491411.2491447},
)
@inproceedings(SimonMBG06,
 author       = {L. Simon and A. Mallya and A. Bansal and G. Gupta},
 year         = {2006},
 title        = {Coinductive Logic Programming},
 booktitle    = {ICLP 2006},
 pages        = {330--344},
 doi          = {10.1007/11799573_25},
)
@article(wielemaker:2011:tplp,
 author       = {J. Wielemaker and T. Schrijvers and M. Triska and T. Lager},
 year         = {2012},
 title        = {{SWI-Prolog}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {67--96},
 doi          = {10.1017/S1471068411000494},
)
@inbook(Yoshida2010,
 author       = {N. Yoshida and P.M. Deni{\'e}lou and A. Bejleri and R. Hu},
 year         = {2010},
 title        = {Parameterised Multiparty Session Types},
 pages        = {128--145},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-12032-9_10},
)