- Learning meets Verification Martin Leucker
- Extending Compositional Message Sequence Benedikt Bollig 1# , Martin Leucker 2## , and Philipp Lucas 1,3 # # #
- ThreeValued Abstraction for ContinuousTime Markov Chains #
- I N S T I T U T F U R I N F O R M A T I K The good, the bad, and the ugly--
- SALT---Structured Assertion Language for Temporal Logic
- I N S T I T U T F U R I N F O R M A T I K
- Learning of EventRecording Automata Olga Grinchtein, Bengt Jonsson, and Martin Leucker #
- INFINITY 2003 Preliminary Version Network Invariants for Real-Time Systems
- 15 Prefix-Recognizable Graphs and Monadic Logic
- PDMC 2004 Preliminary Version UppDMC: A Distributed Model Checker for
- The good, the bad, and the ugly, but how ugly is ugly?
- Modelbased runtime analysis of distributed reactive systems Andreas Bauer Martin Leucker Christian Schallhart
- Insights to Angluin's Learning Therese Berg, Bengt Jonsson, Martin Leucker and Mayank Saksena
- Truth --A Real--World Application in Haskell Martin Leucker 1 and Thomas Noll 2
- PDMC 2003 Preliminary Version Parallel Model Checking for LTL, CTL # , and L 2
- Theoretical Computer Science ( ) Contents lists available at ScienceDirect
- Regular Linear Temporal Logic with Past Cesar Sanchez1,2
- Don't Know for Multi-valued Systems Alarico Campetelli, Alexander Gruler, Martin Leucker, and Daniel Thoma
- A Brief Account of Runtime Verification Martin Leucker and Christian Schallhart
- Modeling and Model Checking Software Product Lines Alexander Gruler
- Don't care in SMT--Building flexible yet efficient abstraction/refinement solvers
- Learning Meets Verification Martin Leucker
- Under consideration for publication in Formal Aspects of Computing Network Invariants for Real-Time
- PDMC 2003 Preliminary Version Parallel Model Checking for LTL, CTL
- Deciding LTL over Mazurkiewicz traces Benedikt Bollig a
- Extending Compositional Message Sequence Graphs Benedikt Bollig1, Martin Leucker2 , and Philipp Lucas1
- Verifying Qualitative Properties of Probabilistic Programs
- Rewriting Logic as a Framework for Building Generic Tools for Verifying Concurrent Systems
- Truth/SLC | A Parallel Veri cation Platform for Concurrent Systems
- Don't care in SMT---Building flexible yet efficient abstraction/refinement solvers
- Don't Know in Probabilistic Systems Harald Fecher 1 , Martin Leucker 2 , and Verena Wolf 3
- INFINITY 2003 Preliminary Version Network Invariants for RealTime Systems
- Regular Linear Temporal Logic # Martin Leucker 1 and Cesar Sanchez 2,3
- Dynamic Message Sequence Charts Martin Leucker 1,2# , P. Madhusudan 2## , Supratik Mukhopadhyay 2
- Impartial Anticipation in Runtime-Verification , Martin Leucker2
- Dynamic Message Sequence Charts Martin Leucker1,2
- Abstraction for Stochastic Systems by Erlang's Method of Stages
- Extending Compositional Message Sequence Benedikt Bollig1
- Comparison of two Semantic Approaches to Unification
- On model checking synchronised hardware circuits
- INFINITY 2004 Preliminary Version Inference of Timed Transition Systems
- Learning FiniteState Machines from Inexperienced Teachers Olga Grinchtein 1# and Martin Leucker 2
- On the Correspondence Between Conformance Testing and Regular Inference
- Impartial Anticipation in RuntimeVerification # Wei Dong 1 , Martin Leucker 2 , and Christian Schallhart 2
- The LearnLib in FMICSjETI Tiziana Margaria
- Don't Know in the Calculus Orna Grumberg 1 , Martin Lange 2 , Martin Leucker 3, , and Sharon Shoham 1
- I N S T I T U T F U R I N F O R M A T I K
- Don't Know in Probabilistic Systems Harald Fecher 1 , Martin Leucker 2 , and Verena Wolf 3
- I N S T I T U T F U R I N F O R M A T I K
- Runtime Verification for LTL and TLTL ANDREAS BAUER
- The good, the bad, and the ugly, but how ugly is ugly?
- Department of Computer Science Technical Report
- Functional programming languages for verification tools: experiences with ML and Haskell
- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
- Parallel Model Checking and the FMICSjETI Platform Jir Barnat
- Inferring Network Invariants Automatically Olga Grinchtein 1# , Martin Leucker 2 , and Nir Piterman 3
- Insights to Angluin's Learning Therese Berg, Bengt Jonsson, Martin Leucker and Mayank Saksena
- Monitoring of realtime properties Andreas Bauer, Martin Leucker, and Christian Schallhart
- Model Checking Games for the AlternationFree Calculus and
- Int J Softw Tools Technol Transfer (2005) 7: 184194 / Digital Object Identifier (DOI) 10.1007/s10009-004-0184-3 Functional programming languages for verification tools
