International Conference on Runtime Verification (was workshop pre 2010)
RV
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering
Papers indexed
508
2007–2025
Papers per year
200747 peak2025
Most published authors
RV papers
508 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2007 | PSL for Runtime Verification: Theory and Practice. | Cindy Eisner |
| 2007 | Static and Dynamic Detection of Behavioral Conflicts Between Aspects. | Pascal Durr, Lodewijk Bergmans, Mehmet Aksit |
| 2007 | Collaborative Runtime Verification with Tracematches. | Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhotk, Nomair A. Naeem |
| 2007 | Translation Validation of System Abstractions. | Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter |
| 2007 | Rule Systems for Run-Time Monitoring: From Eagleto RuleR. | Howard Barringer, David E. Rydeheard, Klaus Havelund |
| 2007 | From Runtime Verification to Evolvable Systems. | Howard Barringer, Dov M. Gabbay, David E. Rydeheard |
| 2007 | On the Semantics of Matching Trace Monitoring Patterns. | Pavel Avgustinov, Julian Tibble, Oege de Moor |
| 2007 | The Good, the Bad, and the Ugly, But How Ugly Is Ugly? | Andreas Bauer, Martin Leucker, Christian Schallhart |
501–508 of 508← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems