References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Marcelo d'Amorim & Klaus Havelund (2005): Event-based Runtime Verification of Java Programs. In: Workshop on Dynamic Analysis (WODA). ACM, pp. 1–7.
  6. 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.
  7. 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.
  8. 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.
  9. Dimitra Giannakopoulou & Klaus Havelund (2001): Runtime Analysis of Linear Temporal Logic Specifications. Technical Report. Research Institute for Advanced Computer Science (RIACS). No. 01.21.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org