Keyword

runtime verification

Description: A software and systems verification method that monitors program execution to assess whether a system satisfies specified properties.

Primary topic: Formal Methods in Verification (48%)

Wikidata ID: wiki/Q7380130

OpenAlex ID: keywords/runtime-verification

A brief account of runtime verification

2008 · Martin Leucker, Christian Schallhart · The Journal of Logic and Algebraic Programming · 871

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

2013 · Rogério de Lemos, Holger Giese, et al. · Lecture notes in computer science · 716

PDF

Runtime Verification for LTL and TLTL

2011 · Andreas Bauer, Martin Leucker, et al. · ACM Transactions on Software Engineering and Methodology · 567

Model-Based Testing of Reactive Systems

2005 · Broy, Manfred, Pretschner, Alexander, et al. · Lecture notes in computer science · 514

Rule-Based Runtime Verification

2004 · Howard Barringer, Allen Goldberg, et al. · Lecture notes in computer science · 386

Mop

2007 · Feng Chen, Grigore Roşu · ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) · 360

Behavior protocols for software components

2002 · F. Plasil, S. Visnovsky · IEEE Transactions on Software Engineering · 346

Introduction to Runtime Verification

2018 · Ezio Bartocci, Yliès Falcone, et al. · Lecture notes in computer science · 263

Self-adaptive software needs quantitative verification at runtime

2012 · Radu Calinescu, Carlo Ghezzi, et al. · Communications of the ACM · 257

PDF

An overview of the MOP runtime verification framework

2011 · Patrick O’Neil Meredith, Dongyun Jin, et al. · International Journal on Software Tools for Technology Transfer · 243

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

2011 · Fabrizio Maria Maggi, Marco Montali, et al. · Lecture notes in computer science · 233

An Overview of the Runtime Verification Tool Java PathExplorer

2004 · Klaus Havelund, Grigore Roşu · Formal Methods in System Design · 228

Comparing LTL Semantics for Runtime Verification

2009 · A. Bauer, M. Leucker, et al. · Journal of Logic and Computation · 219

Computational Modeling, Formal Analysis, and Tools for Systems Biology

2016 · Ezio Bartocci, Pietro Lió · PLoS Computational Biology · 206

PDF

Rewriting-Based Techniques for Runtime Verification

2005 · Grigore Roşu, Klaus Havelund · Automated Software Engineering · 203

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning

2014 · Malte Isberner, Falk Howar, et al. · Lecture notes in computer science · 197

Automata-based verification of temporal properties on running programs

2005 · D. Giannakopoulou, K. Havelund · 195

PDF

Run-time efficient probabilistic model checking

2011 · Antonio Filieri, Carlo Ghezzi, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 192

Monitoring of Real-Time Properties

2006 · Andreas Bauer, Martin Leucker, et al. · Lecture notes in computer science · 188

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

2017 · Radu Calinescu, Danny Weyns, et al. · IEEE Transactions on Software Engineering · 182

PDF

Temporal Assertions using AspectJ

2006 · Volker Stolz, Eric Bodden · Electronic Notes in Theoretical Computer Science · 180

PDF

A survey of formal methods in self-adaptive systems

2012 · Danny Weyns, M. Usman Iftikhar, et al. · 172

Lectures on Runtime Verification

2018 · Lecture notes in computer science · 171

Runtime analysis of atomicity for multithreaded programs

2006 · L. Wang, S.D. Stoller · IEEE Transactions on Software Engineering · 171

PSL Model Checking and Run-Time Verification Via Testers

2006 · A. Pnueli, A. Zaks · Lecture notes in computer science · 171

Works count: 3,234

Citation count: 30,770