×

Introduction to the special issue on runtime verification. (English) Zbl 1284.68034


MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
00B15 Collections of articles of miscellaneous specific interest
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Allan C, Avgustinov P, Kuzins S, de Moor O, Sereni D, Sittampalam G, Tibble J, Christensen AS, Hendren L, Lhoták O (2005) Adding trace matching with free variables to AspectJ. In: Proceedings of the 20th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications (OOPSLA’05), pp 345–364 · Zbl 1165.68356
[2] Bauer A, Leucker M, Schallhart C (2010) Comparing ltl semantics for runtime verification. J Log Comput 20(3):651–674 · Zbl 1213.68363 · doi:10.1093/logcom/exn075
[3] Bodden E, Hendren L, Lhoták O (2007) A staged static program analysis to improve the performance of runtime monitoring. In: Proceedings of the 21st European conference on object-oriented programming (ECOOP’07). LNCS, vol 4609, pp 525–549
[4] Chen K, Malik S, Patra P (2008) Runtime validation of transactional memory systems. In: International symposium on quality electronic design, pp 750–756
[5] Elmas T, Qadeer S, Tasiran S (2006) Goldilocks: efficiently computing the happens-before relation using locksets. In: Proceedings of the workshop on formal approaches to testing and runtime verification (FATES/RV’06)
[6] Hallé S, Bultan T, Hughes G, Alkhalaf M, Villemaire R (2010) Runtime verification of web service interface contracts. IEEE Comput 43(3):59–66 · doi:10.1109/MC.2010.76
[7] Havelund K, Roşu G (2002) Synthesizing monitors for safety properties. In: Proceedings of tools and algorithms for construction and analysis of systems (TACAS’02). LNCS, vol 2280, pp 342–356
[8] Kim M, Kannan S, Lee I, Sokolsky O, Viswanathan M (2004) Java-MaC: a run-time assurance approach for Java programs. Form Methods Syst Des 24(2):129–155 · Zbl 1073.68552 · doi:10.1023/B:FORM.0000017719.43755.7c
[9] Meredith P, Jin D, Griffith D, Chen F, Roşu G (2011) An overview of the MOP runtime verification framework. Int J Softw Tools Technol Transf 14(3):249–289. Special Section on Runtime Verification · doi:10.1007/s10009-011-0198-6
[10] Pike L, Goodloe A, Morisset R, Niller S (2010) Copilot: a hard real-time runtime monitor. In: International conference on runtime verification (RV 2010). LNCS, vol 6418
[11] Wang L, Stoller SD (2006) Runtime analysis of atomicity for multi-threaded programs. IEEE Trans Softw Eng 32:93–110 · Zbl 05113288 · doi:10.1109/TSE.2006.1599419
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.