Cited in
(53)- Runtime verification with minimal intrusion through parallelism
- Synthesising correct concurrent runtime monitors
- LOLA
- Model-checking structured context-free languages
- Semantics and algorithms for parametric monitoring
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- On Safety Properties and Their Monitoring
- Monitoring metric first-order temporal properties
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC
- RiskStructures: a design algebra for risk-aware machines
- Determinizing monitors for HML with recursion
- ModelPlex: verified runtime validation of verified cyber-physical system models
- Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings.
- First-order temporal logic monitoring with BDDs
- Consistently-detecting monitors
- D-Finder
- FoCs
- ConSpec
- BeepBeep
- AspectJ
- DaCapo
- Atomizer
- Eraser
- ConQAT
- Velodrome
- JPAX
- AspectC++
- InterAspect
- Clara
- MOP
- Java-MaC
- Racket
- LARVA
- MarQ
- StaRVOOrS
- FastTrack
- jPredictor
- VPAlib
- Klocwork
- FACTum
- Copilot
- J-LO
- OpenNWA
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- Time-triggered runtime verification
- Introduction to the special issue on runtime verification
- TeSSLa
- Efficient Runtime Verification of First-Order Temporal Properties
- Runtime verification for dynamic architectures
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains
- Optimized temporal monitors for SystemcC
- Provably correct runtime monitoring
- DejaVu
This page was built for software: Java-MOP
