swMATH14034MaRDI QIDQ25943FDOQ25943
Author name not available (Why is that?)
Official website: http://fsl.cs.illinois.edu/index.php/JavaMOP4
Source code repository: https://github.com/runtimeverification/javamop
Cited In (51)
- RiskStructures: a design algebra for risk-aware machines
- Optimized temporal monitors for SystemcC
- Model-checking structured context-free languages
- \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.
- LOLA
- 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
- Runtime verification for dynamic architectures
- Semantics and algorithms for parametric monitoring
- D-Finder
- FoCs
- 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
- Efficient Runtime Verification of First-Order Temporal Properties
- Determinizing monitors for HML with recursion
- TeSSLa
- Consistently-detecting monitors
- First-order temporal logic monitoring with BDDs
- 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
