Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger & David E. Rydeheard (2012):
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.
In: FM,
pp. 68–84.
Available at http://dx.doi.org/10.1007/978-3-642-32759-9_9.
Bruno Blanchet (1998):
Escape Analysis: Correctness Proof, Implementation and Experimental Results.
In: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
POPL '98.
ACM,
New York, NY, USA,
pp. 25–37,
doi:10.1145/268946.268949.
Eric Bodden, Patrick Lam & Laurie Hendren (2010):
Clara: A Framework for Partially Evaluating Finite-state Runtime Monitors Ahead of Time.
In: Proceedings of the First International Conference on Runtime Verification,
RV'10.
Springer-Verlag,
Berlin, Heidelberg,
pp. 183–197,
doi:10.1007/978-3-642-16612-9_15.
Feng Chen & Grigore Roşu (2009):
Parametric Trace Slicing and Monitoring.
In: TACAS '09,
Berlin, Heidelberg,
pp. 246–261,
doi:10.1007/978-3-642-00768-2_23.
Jong-Deok Choi, Manish Gupta, Mauricio Serrano, Vugranam C. Sreedhar & Sam Midkiff (1999):
Escape Analysis for Java.
SIGPLAN Not. 34(10),
pp. 1–19,
doi:10.1145/320385.320386.
Matthew B. Dwyer, Rahul Purandare & Suzette Person (2010):
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?,
pp. 36–50.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-16612-9_4.
Y. Falcone, K. Havelund & G. Reger (2013):
A Tutorial on Runtime Verification.
In: Manfred Broy & Doron Peled: Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems.
IOS Press,
doi:10.3233/978-1-61499-207-3-141.
Samuel Z. Guyer, Kathryn S. McKinley & Daniel Frampton (2006):
Free-Me: A Static Analysis for Automatic Individual Object Reclamation.
SIGPLAN Not. 41(6),
pp. 364–375,
doi:10.1145/1133255.1134024.
Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith & Grigore Roşu (2011):
Garbage Collection for Monitoring Parametric Properties.
In: Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'11).
ACM,
pp. 415–424,
doi:10.1145/1993498.1993547.
Uday Khedker, Amitabha Sanyal & Bageshri Karkare (2009):
Data Flow Analysis: Theory and Practice,
1st edition.
CRC Press, Inc.,
Boca Raton, FL, USA,
doi:10.1201/9780849332517.
Patrick Meredith, Dongyun Jin, Dennis Griffith, Feng Chen & Grigore Roşu (2011):
An overview of the MOP runtime verification framework.
J Software Tools for Technology Transfer,
pp. 1–41.
Available at http://dx.doi.org/10.1007/s10009-011-0198-6.
Flemming Nielson, Hanne R. Nielson & Chris Hankin (2010):
Principles of Program Analysis.
Springer Publishing Company, Incorporated.
Giles Reger (2016):
Considering Typestate Verification for Quantified Event Automata.
In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016),
doi:10.1007/978-3-319-23820-3_21.
Giles Reger, Helena Cuenca Cruz & David Rydeheard (2015):
MarQ: monitoring at runtime with QEA.
In: Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15),
doi:10.1007/978-3-662-46681-0_55.
Yannis Smaragdakis & George Balatsouras (2015):
Pointer Analysis.
Found. Trends Program. Lang. 2(1),
pp. 1–69,
doi:10.1561/2500000014.
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali & Eric Bodden (2016):
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.
In: 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy,
pp. 22:1–22:26,
doi:10.4230/LIPIcs.ECOOP.2016.22.
Available at https://doi.org/10.4230/LIPIcs.ECOOP.2016.22.