The following pages link to Martin Leucker (Q444482):
Displaying 50 items.
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Learning of event-recording automata (Q604474) (← links)
- Network invariants for real-time systems (Q1019007) (← links)
- Property-directed verification and robustness certification of recurrent neural networks (Q2147216) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- Topology, monitorable properties and runtime verification (Q2453532) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076) (← links)
- (Q2703694) (← links)
- (Q2766537) (← links)
- (Q2847414) (← links)
- (Q2848151) (← links)
- (Q2849548) (← links)
- (Q2851066) (← links)
- A Robust Class of Data Languages and an Application to Learning (Q2938772) (← links)
- Ordered Navigation on Multi-attributed Data Words (Q3190138) (← links)
- (Q3225714) (← links)
- Regular Linear Temporal Logic (Q3525092) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Impartial Anticipation in Runtime-Verification (Q3540087) (← links)
- Abstraction for Stochastic Systems by Erlang’s Method of Stages (Q3541024) (← links)
- Comparing LTL Semantics for Runtime Verification (Q3569195) (← links)
- Learning Workflow Petri Nets (Q3569868) (← links)
- Inferring Network Invariants Automatically (Q3613429) (← links)
- Don’t Know for Multi-valued Systems (Q3648707) (← links)
- Regular Linear Temporal Logic with Past (Q3656890) (← links)
- Prefix-Recognizable Graphs and Monadic Logic (Q4412838) (← links)
- (Q4415260) (← links)
- (Q4422788) (← links)
- (Q4428292) (← links)
- (Q4551158) (← links)
- (Q4673428) (← links)
- (Q4738217) (← links)
- (Q4934536) (← links)
- (Q4938419) (← links)
- Model-Checking Counting Temporal Logics on Flat Structures (Q5111643) (← links)
- Learning Transparent Data Automata (Q5166760) (← links)
- A Fresh Approach to Learning Register Automata (Q5300834) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311471) (← links)
- Fundamental Approaches to Software Engineering (Q5316435) (← links)
- Validation of Stochastic Systems (Q5325836) (← links)
- Monitoring of Real-Time Properties (Q5385991) (← links)
- Three-Valued Abstraction for Continuous-Time Markov Chains (Q5429326) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464760) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479148) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711492) (← links)
- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning (Q5758124) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896952) (← links)
- Model Checking Software (Q5899037) (← links)
- Analyzing robustness of Angluin's \(L^*\) algorithm in presence of noise (Q6563046) (← links)
