The following pages link to Klaus Havelund (Q457246):
Displayed 22 items.
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Model checking JAVA programs using JAVA PathFinder (Q1856163) (← links)
- An overview of the runtime verification tool Java PathExplorer (Q1878923) (← links)
- A flight rule checker for the LADEE lunar spacecraft (Q2037931) (← links)
- Runtime verification past experiences and future projections (Q2075784) (← links)
- First-order temporal logic monitoring with BDDs (Q2225472) (← links)
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC (Q2441731) (← links)
- (Q2753764) (← links)
- Rule Systems for Run-time Monitoring: from EAGLE to RULER (Q3569196) (← links)
- (Q4472252) (← links)
- (Q4536754) (← links)
- The fork calculus (Q4630290) (← links)
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (Q4647831) (← links)
- (Q4764628) (← links)
- (Q4845499) (← links)
- Runtime Verification Logics A Language Design Perspective (Q5217308) (← links)
- Automated Technology for Verification and Analysis (Q5394184) (← links)
- 40 Years of Formal Methods (Q5498750) (← links)
- Efficient Runtime Verification of First-Order Temporal Properties (Q5883570) (← links)
- Monitoring first-order interval logic (Q6041276) (← links)
- On monitoring linear temporal properties (Q6056640) (← links)
- Refining the safety-liveness classification of temporal properties according to monitorability (Q6165815) (← links)