|
5
|
Program Model Checking as a New Trend
– Klaus Havelund, Willem Visser
- 2000
|
|
22
|
Rewriting-based Techniques for Runtime Verification
– Grigore Rosu, Klaus Havelund
|
|
|
Timed Automata for the Development of Real-Time Systems
– Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie
- 2011
|
|
|
Trace Preserving Load Balancing in Distributed Timed Automata Model Checking
– Fernando Schapachnik
|
|
|
Branching Data Structures for Real-Time Model Checking Not As Good As Thought
– Esteban Pavese, Gervasio Pérez, O Schapachnik
|
|
7
|
Correctness and Reduction in Timed Circuit Analysis
– Eric G Mercer
- 2002
|
|
3
|
Generating Optimal Linear Temporal Logic Monitors by Coinduction
– Koushik Sen, Grigore Rosu, Gul Agha
- 2004
|
|
2
|
LOLA: Runtime Monitoring of Synchronous Systems
– Sriram Sankaranarayanan, César Sánchez, Will Robinson, Eep Mehrotra Zohar Manna
|
|
16
|
Generating optimal monitors for extended regular expressions
– Koushik Sen
- 2003
|
|
|
Software Model Checking: The VeriSoft Approach
– Patrice Godefroid Bell
- 2003
|
|
|
Specification patterns can be formal and still easy
– Fernando Asteasuain, Víctor Braberman
|
|
6
|
AMOEBA-RT: Run-Time Verification of Adaptive Software ⋆
– Ji Zhang, Betty H. C. Cheng, Heather J. Goldsby
|
|
41
|
Towards monitoring-oriented programming: A paradigm combining specification and implementation
– Feng Chen
- 2003
|
|
36
|
Runtime Safety Analysis of Multithreaded Programs
– Koushik Sen, Grigore Rosu, Gul Agha
- 2003
|
|
4
|
An Instrumentation Technique for Online Analysis of Multithreaded Programs
– Koushik Sen
- 2003
|
|
7
|
Model-Based Runtime Analysis of Distributed Reactive Systems
– Andreas Bauer, Martin Leucker, Christian Schallhart
- 2006
|
|
16
|
Detecting errors in multithreaded programs by generalized predictive analysis of executions
– Koushik Sen, Gul Agha
- 2005
|
|
4
|
Vintime: Combining high-level finesse with low-level muscle to verify real-time systems
– A. Alfonso, V. Braberman, D. Garbervetsky, N. Kicillof, A. Olivero, F. Schapachnik
- 2004
|
|
1
|
Verification and validation and artificial intelligence
– Tim Menzies, Charles Pecheur
- 2005
|
