Howard Barringer, Allen Goldberg, Klaus Havelund & Koushik Sen (2004):
Rule-Based Runtime Verification.
In: Verification, Model Checking, and Abstract Interpretation (VMCAI),
Lecture Notes in Computer Science 2937,
pp. 44–57,
doi:10.1007/978-3-540-24622-0_5.
Christian Colombo, Adrian Francalanza, Ruth Mizzi & Gordon J. Pace (2012):
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries..
In: Software Engineering and Formal Methods (SEFM),
Lecture Notes in Computer Science 7504.
Springer,
pp. 218–232,
doi:10.1007/978-3-642-33826-7_15.
Christian Colombo, Gordon J. Pace & Patrick Abela (2012):
Safer asynchronous runtime monitoring using compensations.
Formal Methods in System Design 41(3),
pp. 269–294,
doi:10.1007/s10703-012-0142-8.
Christian Colombo, Gordon J. Pace & Gerardo Schneider (2009):
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.
In: Formal Methods for Industrial Critical Systems (FMICS).
Springer,
pp. 135–149,
doi:10.1007/978-3-642-03240-0_13.
Marcelo d'Amorim & Klaus Havelund (2005):
Event-based Runtime Verification of Java Programs.
In: Workshop on Dynamic Analysis (WODA).
ACM,
pp. 1–7.
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga & Saddek Bensalem (2011):
Runtime Verification of Component-Based Systems.
In: Software Engineering and Formal Methods (SEFM),
Lecture Notes in Computer Science 7041.
Springer,
pp. 204–220,
doi:10.1007/978-3-642-24690-6_15.
Adrian Francalanza, Andrew Gauci & Gordon J. Pace (2011):
Distributed System Contract Monitoring.
In: Formal Languages and Analysis of Contract-Oriented Software (FLACOS),
Electronic Proceedings in Theoretical Computer Science (EPTCS) 68,
pp. 23–37.
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell & Julie Waterhouse (2007):
Runtime Monitoring of Web Service Conversations.
In: Conference of the Center for Advanced Studies on Collaborative Research (CASCON).
IBM Corp.,
pp. 42–57.
Dimitra Giannakopoulou & Klaus Havelund (2001):
Runtime Analysis of Linear Temporal Logic Specifications.
Technical Report.
Research Institute for Advanced Computer Science (RIACS).
No. 01.21.
Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee & Oleg Sokolsky (2004):
Java-MaC: A Run-Time Assurance Approach for Java Programs.
Formal Methods in System Design 24(2),
pp. 129–155,
doi:10.1023/B:FORM.0000017719.43755.7c.
Ingolf Krúger, Michael Meisinger & Massimiliano Menarini (2007):
Runtime Verification of Interactions: From MSCs to Aspects.
In: Runtime Verification (RV),
Lecture Notes in Computer Science 4839.
Springer,
pp. 63–74,
doi:10.1007/978-3-540-77395-5_6.
Martin Leucker & Christian Schallhart (2009):
A Brief Account of Runtime Verification.
Journal of Logic and Algebraic Programming 78(5),
pp. 293–303,
doi:10.1016/j.jlap.2008.08.004.
Z. Li, Y. Jin & J. Han (2006):
A Runtime Monitoring and Validation Framework for Web Service Interactions.
In: Australian Software Engineering Conference (ASWEC).
IEEE Computer Society,
pp. 10–79,
doi:10.1109/ASWEC.2006.6.
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen & Grigore Rosu (2012):
An Overview of the MOP Runtime Verification Framework.
International Journal on Software Tools for Technology Transfer 14(3),
pp. 249–289,
doi:10.1007/s10009-011-0198-6.
Thomas S.Cook, Doron Drusinksy & Man-Tak Shing (2007):
Specification, Validation and Run-time Moniroting of SOA Based System-of Systems Temporal Behaviors.
In: System of Systems Engineering (SoSE).
IEEE Computer Society,
pp. 1–6.
Koushik Sen, Abhay Vardhan, Gul Agha & Grigore Roşu (2004):
Efficient Decentralized Monitoring of Safety in Distributed Systems.
In: International Conference on Software Engineering.
IEEE Computer Society,
pp. 418–427.
Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo & Insup Lee (2009):
DMaC: Distributed Monitoring and Checking..
In: Runtime Verification (RV),
Lecture Notes in Computer Science 5779.
Springer,
pp. 184–201,
doi:10.1007/978-3-642-04694-0_13.