References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.

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