Information Technology Reference
In-Depth Information
8. Giannakopoulou, D., Havelund, K.: Automata-Based Verification of Temporal
Properties on Running Programs. In: Automated Software Engineering (ASE),
pp. 412-416 (2001)
9. GrammaTech Inc. CodeSurfer
R
,
10. Havelund, K., Rosu, G.: Monitoring Programs Using Rewriting. In: Automated
Software Engineering (ASE), pp. 135-143 (2001)
11. Havelund, K., Rosu, G.: Synthesizing Monitors for Safety Properties. In: Katoen,
J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 342-356. Springer,
Heidelberg (2002)
12. Havelund, K., Rosu, G.: Monitoring Java Programs with Java PathExplorer. Elec-
tronic Notes in Theoretical Computer Science 55(2) (2001)
13. Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S.A., Stoller,
S.D., Zadok, E.: Software monitoring with controllable overhead. Software Tools
for Technology Transfer, STTT (2011) (to appear)
14. Havelund, K., Rosu, G.: Ecient Monitoring of Safety Sroperties. Software Tools
and Technology Transfer (STTT) 6(2), 158-173 (2004)
15. Kim, M., Lee, I., Sammapun, U., Shin, J., Sokolsky, O.: Monitoring, Checking,
and Steering of Real-Time Systems. Electronic Notes in Theoretical Computer
Science 70(4) (2002)
16. Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: A Run-
Time Assurance Approach for Java Programs. Formal Methods in System Design
(FMSD) 24(2), 129-155 (2004)
17. Kupferman, O., Vardi, M.Y.: Model Checking of Safety Properties. In: Halbwachs,
N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 172-183. Springer, Heidel-
berg (1999)
18. Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program anal-
ysis and transformation. In: International Symposium on Code Generation and
Optimization: Feedback Directed and Runtime Optimization, p. 75 (2004)
19. Leucker, M., Schallhart, C.: A Brief Account of Runtime Verification. Journal of
Logic and Algebraic Programming (JLAP) 78, 293-303 (2009)
20. Manna, Z., Pnueli, A.: A Hierarchy of Temporal Properties. In: Principles of Dis-
tributed Computing (PODC), pp. 377-410 (1990)
21. Pnueli, A., Zaks, A.: PSL Model Checking and Run-Time Verification via Testers.
In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp.
573-586. Springer, Heidelberg (2006)
22. Rosu, G., Chen, F., Ball, T.: Synthesizing Monitors for Safety Properties: This
Time with Calls and Returns. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp.
51-68. Springer, Heidelberg (2008)
23. SRI. Yices: An SMT Solver (1.0.34),
http://yices.csl.sri.com/index.shtml
24. Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A.,
Zadok, E.: Runtime verification with state estimation. In: Khurshid, S., Sen, K.
(eds.) RV 2011. LNCS, vol. 7186, pp. 193-207. Springer, Heidelberg (2012)
25. Stolz, V., Bodden, E.: Temporal Assertions using Aspectj. Electronic Notes in
Theoretical Computer Science 144(4) (2006)
26. Zee, K., Kuncak, V., Taylor, M., Rinard, M.: Runtime checking for program verifi-
cation. In: Sokolsky, O., Tasıran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 202-213.
Springer, Heidelberg (2007)
27. Zhou, W., Sokolsky, O., Loo, B.T., Lee, I.:
MaC
: Distributed Monitoring and Check-
ing. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol. 5779, pp. 184-201.
Springer, Heidelberg (2009)
