Java-MOP
From MaRDI portal
Cited in
(53)- RiskStructures: a design algebra for risk-aware machines
- Model-checking structured context-free languages
- Optimized temporal monitors for SystemcC
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC
- Introduction to the special issue on runtime verification
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains
- On Safety Properties and Their Monitoring
- 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.
- TeSSLa
- Provably correct runtime monitoring
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- Monitoring metric first-order temporal properties
- Runtime verification with minimal intrusion through parallelism
- Synthesising correct concurrent runtime 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
- LOLA
- Runtime verification for dynamic architectures
- Semantics and algorithms for parametric monitoring
- Determinizing monitors for HML with recursion
- Efficient Runtime Verification of First-Order Temporal Properties
- First-order temporal logic monitoring with BDDs
- Consistently-detecting monitors
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Time-triggered runtime verification
- DejaVu
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: Java-MOP
