Pages that link to "Item:Q5703785"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703785):
Displaying 12 items.
- Java-MOP (Q25943) (← links)
- Model-checking structured context-free languages (Q832277) (← 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)
- Java-MaC: A run-time assurance approach for Java programs (Q1878917) (← links)
- Runtime verification for dynamic architectures (Q1996854) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)
- Opportunistic monitoring of multithreaded programs (Q6535220) (← links)
- Uncertainty in runtime verification: a survey (Q6580686) (← links)