Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace & Gerardo Schneider (2015):
A Specification Language for Static and Runtime Verification of Data and Control Properties.
In: FM'15 9109,
doi:10.1007/978-3-319-19249-9_8.
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace & Gerardo Schneider (2017):
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.
Formal Methods in System Design,
pp. 1–66,
doi:10.1007/s10703-017-0274-y.
Wolfgang Ahrendt, Gordon Pace & Gerardo Schneider (2012):
A Unified Approach for Static and Runtime Verification: Framework and Applications.
In: ISOLA'12,
LNCS 7609,
doi:10.1007/978-3-642-34026-0_24.
Rajeev Alur & David L. Dill (1994):
A Theory of Timed Automata.
Theor. Comput. Sci. 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
Rajeev Alur & Mihalis Yannakakis (2001):
Model Checking of Hierarchical State Machines.
ACM Trans. Program. Lang. Syst. 23(3),
pp. 273–303,
doi:10.1145/503502.503503.
Shaun Azzopardi, Christian Colombo & Gordon Pace (2016):
A Model-Based Approach to Combining Static and Dynamic Verification Techniques,
pp. 416–430.
Springer International Publishing,
Cham,
doi:10.1007/978-3-319-47166-2_29.
Shaun Azzopardi, Christian Colombo & Gordon Pace (2017):
Control-flow analysis for Symbolic Automata.
Technical Report CS-2017-01.
Department of Computer Science, University of Malta.
Available at http://www.um.edu.mt/ict/cs/research/technical_reports.
Shaun Azzopardi, Christian Colombo, Gordon J. Pace & Brian Vella (2016):
Compliance Checking in the Open Payments Ecosystem,
pp. 337–343.
Springer International Publishing,
Cham,
doi:10.1007/978-3-319-41591-8_23.
Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok & Justin Seyster (2013):
Adaptive Runtime Verification,
pp. 168–182.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-35632-2_18.
Eric Bodden, Patrick Lam & Laurie Hendren (2008):
Object Representatives: A Uniform Abstraction for Pointer Information.
In: Proceedings of the 2008 International Conference on Visions of Computer Science: BCS International Academic Conference,
VoCS'08.
BCS Learning & Development Ltd.,
Swindon, UK,
pp. 391–405.
Available at http://dl.acm.org/citation.cfm?id=2227536.2227569.
Eric Bodden, Patrick Lam & Laurie Hendren (2012):
Partially Evaluating Finite-State Runtime Monitors Ahead of Time.
ACM Trans. Program. Lang. Syst. 34(2),
pp. 7:1–7:52,
doi:10.1145/2220365.2220366.
Christian Colombo, Gordon J. Pace & Gerardo Schneider (2009):
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties,
pp. 135–149.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-03240-0_13.
Matthew B. Dwyer & Rahul Purandare (2007):
Residual Dynamic Typestate Analysis Exploiting Static Analysis: Results to Reformulate and Reduce the Cost of Dynamic Analysis.
In: Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering,
ASE '07.
ACM,
New York, NY, USA,
pp. 124–133,
doi:10.1145/1321631.1321651.
Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith & Grigore Rosu (2011):
Garbage Collection for Monitoring Parametric Properties.
SIGPLAN Not. 46(6),
pp. 415–424,
doi:10.1145/1993316.1993547.
Akash Lal, Nicholas Kidd, Thomas Reps & Tayssir Touili (2007):
Abstract Error Projection,
pp. 200–217.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-540-74061-2_13.
Martin Leucker & Christian Schallhart (2009):
A brief account of runtime verification.
The Journal of Logic and Algebraic Programming 78(5),
pp. 293 – 303,
doi:10.1016/j.jlap.2008.08.004.
Rahul Purandare, Matthew B. Dwyer & Sebastian Elbaum (2012):
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths,
pp. 381–395.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-29860-8_31.
Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka & Erez Zadok (2012):
Runtime Verification with State Estimation,
pp. 193–207.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-29860-8_15.
Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam & Vijay Sundaresan (2010):
Soot: A Java Bytecode Optimization Framework.
In: CASCON First Decade High Impact Papers,
CASCON '10.
IBM Corp.,
Riverton, NJ, USA,
pp. 214–224,
doi:10.1145/1925805.1925818.