Temporal assertions with parametrized propositions

Journal of Logic and Computation

Volumn 20, Issue 3, 2010, Pages 743-757

  Stolz, Volker ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY OPERATORS; BREADTH-FIRST; DESIGN SPACES; FREE VARIABLE; RUN-TIME VERIFICATION; TEMPORAL ASSERTION; TOPDOWN;

EID: 77952935871     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exn078     Document Type: Article

References (20)

1. C. Allan, P. Avgustinov, A. Simon, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittamplan, and J. Tibble. Adding trace matching with free variables to AspectJ. In Proceedings of the 20th Annual ACM SIGPLAN Conference. Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2005, R. E. Johnson and R. P. Gabriel, eds, pp. 345-364. ACM, New York, USA, 2005.
2. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-based run-time verification. In Proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, B. Steffen and G. Levi, eds, Vol.2937 of Lecture Notes in Computer Science. Springer, Heidelberg, Germany, 2004.
3. H. Barringer, D. Rydeheard, and K. Havelund. Rule systems for run-time monitoring: from EAGLE to RULER. In Proceedings of the InternationalWorkshop, Vol.4839 of Lecture Notes in Computer Science, pp. 111-125. Springer, 2007.
4. S. Bensalem and K. Havelund. Dynamic deadlock analysis of multi-threaded programs. In Proceedings of the Haifa Verification Conference, S. Ur, E. Bin, and Y. Wolfsthal, eds, Vol.3875 of Lecture Notes in Computer Science, pp. 208-223. Springer, 2005.
5. E. Bodden, L. Hendren, and O. Lhoták. A staged static program analysis to improve the performance of run-time monitoring. In 21st European Conference on Object-Oriented Programming (ECOOP 2007), Vol.4609 of Lecture Notes in Computer Science, pp. 525-549. Springer, 2007.
6. E. Bodden and V. Stolz. Tracechecks: Defining semantic interfaces with temporal logic. In 5th International Symposium on Software Composition (SC'06), W. Löwe and M. Südholt, eds, Vol.4089 of Lecture Notes in Computer Science, pp. 147-162. Springer, 2006.
7. R. Douence, P. Fradet, and M. Südholt. Composition, reuse and interaction analysis of stateful aspects. In Proceedings of the 3rd International Conference on Aspect-oriented software development (AOSD'04), G. Murphy and K. Lieberherr, eds, pp. 141-150. ACM, 2004.
8. B. Finkbeiner, S. Sankaranarayanan, and H. Sipma. Collecting statistics over run-time executions. In Proceedings of the Second Workshop on run-time verification (RV'02), K. Havelund and G. Ro̧su, eds, Vol.70 of Electronic Notes in Theoretical Computer Science, pp. 36-54. Elsevier, Amsterdam, The Netherlands, 2002.
9. K. Havelund. Using runtime analysis to guide model checking of Java programs. In Proceedings of the SPIN Model Checking and Software Verification, K. Havelund, J. Penix, and W. Visser, eds, Vol.1885 of Lecture Notes in Computer Science, pp. 245-264. Springer, 2000.
10. R. Johnson and R. P. Gabriel, eds. In Proceedings of the 20th AnnualACMSIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005. ACM, 2005.
11. R. Laddad. AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich, USA, 2003.
12. M. Martin, B. Livshits, and M. S. Lam. Finding application errors and security flaws using PQL: a program query language. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005. ACM, 2005.
13. O. Sokolsky and S. Tasiran, eds. Runtime verification. In Proceedings 7th International Workshop, Vol.4839 of Lecture Notes in Computer Science. Springer, 2007.
14. V. Stolz. Temporal assertions for sequential and concurrent programs. Technical Report AIB- 2007-2015 PhD thesis, RWTHAachen University, 2007. Available at http://aib.informatik.rwthaachen. de/2007/2007-15.pdf (Last accessed on 6 November 2008).
15. V. Stolz. Temporal assertions with parametrized propositions. In Proceedings 7th International Workshop, Vol.4839 of Lecture Notes in Computer Science, pp. 176-187. Springer, 2007.
16. V. Stolz and E. Bodden. Temporal assertions usingAspectJ. In Proceedings of the 5thWorkshop on run-time verification (RV'05), H. Barringer, B. Finkbeiner, Y. Gurevich, and H. Sipma, eds, Vol.144 of ENTCS, pp. 109-124. Elsevier, 2005.
17. V. Stolz and F. Huch. Runtime verification of concurrent haskell programms. In Proceedings of the FourthWorkshop on Runtime verification (RV'04), K. Havelund and G. Ro̧su, eds, Vol.113 of ENTCS, pp. 201-216. Elsevier, 2005.
18. J. van Benthem. Temporal logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, vol.4. Oxford University Press, Oxford, 1995.
19. M. Y. Vardi. An automata-theoretic approach to linear temporal logic. In Proceedings of the Logics for Concurrency: Structure versus Automata, F. Moller and G. Birtwistle, eds, Vol.1043 of Lecture Notes in Computer Science. Springer, 1996.
20. R. J. Walker and K. Viggers. Implementing protocols via declarative event patterns. In Proceedings of the 12th ACM SIGSOFT Intternational Symposium on Foundations of Software Engineering, R. Taylor and M. Dwyer, eds, pp. 159-169. ACM Press, 2004.