The following pages link to Java-MOP (Q25943):
Displayed 22 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Model-checking structured context-free languages (Q832277) (← links)
- Synthesising correct concurrent runtime monitors (Q888412) (← links)
- Runtime verification with minimal intrusion through parallelism (Q888419) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- RiskStructures: a design algebra for risk-aware machines (Q1982648) (← links)
- Runtime verification for dynamic architectures (Q1996854) (← links)
- First-order temporal logic monitoring with BDDs (Q2225472) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Determinizing monitors for HML with recursion (Q2291832) (← links)
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains (Q2331081) (← links)
- 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. (Q2388070) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Optimized temporal monitors for SystemcC (Q2441724) (← links)
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC (Q2441731) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Semantics and Algorithms for Parametric Monitoring (Q2881076) (← links)
- On Safety Properties and Their Monitoring (Q4621164) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Efficient Runtime Verification of First-Order Temporal Properties (Q5883570) (← links)
- Introduction to the special issue on runtime verification (Q5920295) (← links)