@incollection(staticrv1,
 author       = {Wolfgang Ahrendt and Jes{\'u}s Mauricio Chimento and Gordon J. Pace and Gerardo Schneider},
 year         = {2015},
 title        = {A Specification Language for Static and Runtime Verification of Data and Control Properties},
 booktitle    = {FM'15},
 volume       = {9109},
 doi          = {10.1007/978-3-319-19249-9\_8},
)
@article(starvoorsjournal,
 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},
 pages        = {1--66},
 doi          = {10.1007/s10703-017-0274-y},
)
@incollection(staticrv2,
 author       = {Wolfgang Ahrendt and Gordon Pace and Gerardo Schneider},
 year         = {2012},
 title        = {{A Unified Approach for Static and Runtime Verification: Framework and Applications}},
 booktitle    = {ISOLA'12},
 series       = {LNCS 7609},
 doi          = {10.1007/978-3-642-34026-0\_24},
)
@article(DBLP:journals/tcs/AlurD94,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {A Theory of Timed Automata},
 journal      = {Theor. Comput. Sci.},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@article(alur,
 author       = {Rajeev Alur and Mihalis Yannakakis},
 year         = {2001},
 title        = {Model Checking of Hierarchical State Machines},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {23},
 number       = {3},
 pages        = {273--303},
 doi          = {10.1145/503502.503503},
)
@inbook(isolares,
 author       = {Shaun Azzopardi and Christian Colombo and Gordon Pace},
 year         = {2016},
 title        = {A Model-Based Approach to Combining Static and Dynamic Verification Techniques},
 pages        = {416--430},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-319-47166-2\_29},
)
@techreport(technicalreport,
 author       = {Shaun Azzopardi and Christian Colombo and Gordon Pace},
 year         = {2017},
 title        = {Control-flow analysis for Symbolic Automata},
 type         = {Technical Report},
 number       = {CS-2017-01},
 institution  = {Department of Computer Science, University of Malta},
 url          = {http://www.um.edu.mt/ict/cs/research/technical\_reports},
)
@inbook(opesefm,
 author       = {Shaun Azzopardi and Christian Colombo and Gordon J. Pace and Brian Vella},
 year         = {2016},
 title        = {Compliance Checking in the Open Payments Ecosystem},
 pages        = {337--343},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-319-41591-8\_23},
)
@inbook(Bartocci2013,
 author       = {Ezio Bartocci and Radu Grosu and Atul Karmarkar and Scott A. Smolka and Scott D. Stoller and Erez Zadok and Justin Seyster},
 year         = {2013},
 title        = {Adaptive Runtime Verification},
 pages        = {168--182},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-35632-2\_18},
)
@inproceedings(aliasanalysis,
 author       = {Eric Bodden and Patrick Lam and Laurie Hendren},
 year         = {2008},
 title        = {Object Representatives: A Uniform Abstraction for Pointer Information},
 booktitle    = {Proceedings of the 2008 International Conference on Visions of Computer Science: BCS International Academic Conference},
 series       = {VoCS'08},
 publisher    = {BCS Learning \& Development Ltd.},
 address      = {Swindon, UK},
 pages        = {391--405},
 url          = {http://dl.acm.org/citation.cfm?id=2227536.2227569},
)
@article(bodden,
 author       = {Eric Bodden and Patrick Lam and Laurie Hendren},
 year         = {2012},
 title        = {Partially Evaluating Finite-State Runtime Monitors Ahead of Time},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {34},
 number       = {2},
 pages        = {7:1--7:52},
 doi          = {10.1145/2220365.2220366},
)
@inbook(Colombo2009,
 author       = {Christian Colombo and Gordon J. Pace and Gerardo Schneider},
 year         = {2009},
 title        = {Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties},
 pages        = {135--149},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-03240-0\_13},
)
@inproceedings(dwyer,
 author       = {Matthew B. Dwyer and Rahul Purandare},
 year         = {2007},
 title        = {Residual Dynamic Typestate Analysis Exploiting Static Analysis: Results to Reformulate and Reduce the Cost of Dynamic Analysis},
 booktitle    = {Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering},
 series       = {ASE '07},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {124--133},
 doi          = {10.1145/1321631.1321651},
)
@article(parametricprops,
 author       = {Dongyun Jin and Patrick O'Neil Meredith and Dennis Griffith and Grigore Rosu},
 year         = {2011},
 title        = {Garbage Collection for Monitoring Parametric Properties},
 journal      = {SIGPLAN Not.},
 volume       = {46},
 number       = {6},
 pages        = {415--424},
 doi          = {10.1145/1993316.1993547},
)
@inbook(Lal2007,
 author       = {Akash Lal and Nicholas Kidd and Thomas Reps and Tayssir Touili},
 year         = {2007},
 title        = {Abstract Error Projection},
 pages        = {200--217},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-74061-2\_13},
)
@article(leucker,
 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},
)
@inbook(dwyer2,
 author       = {Rahul Purandare and Matthew B. Dwyer and Sebastian Elbaum},
 year         = {2012},
 title        = {Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths},
 pages        = {381--395},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-29860-8\_31},
)
@inbook(Stoller2012,
 author       = {Scott D. Stoller and Ezio Bartocci and Justin Seyster and Radu Grosu and Klaus Havelund and Scott A. Smolka and Erez Zadok},
 year         = {2012},
 title        = {Runtime Verification with State Estimation},
 pages        = {193--207},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-29860-8\_15},
)
@inproceedings(soot,
 author       = {Vall{\'e}e-Rai, Raja and Phong Co and Etienne Gagnon and Laurie Hendren and Patrick Lam and Vijay Sundaresan},
 year         = {2010},
 title        = {Soot: A Java Bytecode Optimization Framework},
 booktitle    = {CASCON First Decade High Impact Papers},
 series       = {CASCON '10},
 publisher    = {IBM Corp.},
 address      = {Riverton, NJ, USA},
 pages        = {214--224},
 doi          = {10.1145/1925805.1925818},
)