Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. ProceedingsHoward Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St. Julians, Malta, in November 2010. The 23 revised full papers presented together with 6 invited papers, 6 tutorials and 4 tool demonstrations were carefully reviewed and selected from 74 submissions. The papers address a wide range of topics such as runtime monitoring, analysis and verification, statically and dynamical, runtime simulations, together with applications in malware analysis and failure recovery, as well as execution tracing in embedded systems. |
Other editions - View all
Common terms and phrases
abstract AFDX algorithm application approach aspect AspectJ atomic automata automaton behavior benchmarks Büchi Automaton causality Cilk Clara compiler component Computer concurrent configurations conflict graph constraints context context switches data race DCop debugging defined denote detection developed dynamic enforcement error evaluation example execution traces fault framework function global Heidelberg Heidelberg 2010 IEEE implementation input instrumentation interface invariants iteration Java join point language linear temporal logic LNCS logic malware memory method model checking object observed OOPSLA operation optimization parameter performance PHANTM pointcut recovery task requirements Rosu runtime monitoring runtime verification scenario Section semantics sequence diagrams server simulation specification Springer static analysis statistical model checking switch synchronization techniques temporal thread tion tool tracematch transaction transition tressa claim tuple typestate update variables violation