Travelled to:1 × China
1 × Germany
1 × Ireland
1 × Italy
1 × Portugal
1 × Spain
1 × USA
2 × United Kingdom
5 × France
Collaborated with:B.Bollig T.Noll J.Katoen C.Sánchez O.Grinchtein C.Kern N.Decker D.Thoma A.Gruler K.D.Scheidemann N.Piterman M.Weber P.Habermehl B.Monmege D.Klink V.Wolf O.Grumberg M.Lange S.Shoham M.Cordy P.Heymans A.Legay P.Schobbens B.Dawagne D.Neider D.R.Piegdon T.Berg B.Jonsson H.Raffelt B.Steffen
Talks about:model (4) regular (3) learn (3) framework (2) parallel (2) calculus (2) automata (2) abstract (2) product (2) verif (2)
Person: Martin Leucker
DBLP: Leucker:Martin
Contributed to:
2014
2014
2013
2010
2010
200820072007
2006
20052005
200220012001
2000Wrote 15 papers:
- FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement
- Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.
- TACAS-2014-DeckerLT #modulo theories #monitoring
- Monitoring Modulo Theories (ND, ML, DT), pp. 341–356.
- DLT-2013-BolligHLM #approach #automaton #learning
- A Fresh Approach to Learning Register Automata (BB, PH, ML, BM), pp. 118–130.
- CAV-2010-BolligKKLNP #automaton #framework #learning #named
- libalf: The Automata Learning Framework (BB, JPK, CK, ML, DN, DRP), pp. 360–364.
- VMCAI-2010-SanchezL #linear #logic
- Regular Linear Temporal Logic with Past (CS, ML), pp. 295–311.
- SPLC-2008-GrulerLS #modelling #product line
- Calculating and Modeling Common Parts of Software Product Lines (AG, ML, KDS), pp. 203–212.
- CAV-2007-KatoenKLW #abstraction #markov
- Three-Valued Abstraction for Continuous-Time Markov Chains (JPK, DK, ML, VW), pp. 311–324.
- TACAS-2007-BolligKKL #design #game studies #learning #modelling #synthesis
- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning (BB, JPK, CK, ML), pp. 435–450.
- IJCAR-2006-GrinchteinLP #automation #invariant #network
- Inferring Network Invariants Automatically (OG, ML, NP), pp. 483–497.
- FASE-2005-BergGJLRS #consistency #on the #testing
- On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.
- VMCAI-2005-GrumbergLLS #calculus
- Don’t Know in the µ-Calculus (OG, ML, ML, SS), pp. 233–249.
- FoSSaCS-2002-BolligLN
- Generalised Regular MSC Languages (BB, ML, TN), pp. 52–66.
- CAV-2001-LeuckerN #concurrent #framework #named #parallel #platform #verification
- Truth/SLC — A Parallel Verification Platform for Concurrent Systems (ML, TN), pp. 255–259.
- TACAS-2001-BolligLW #calculus #model checking #parallel #μ-calculus
- Parallel Model Checking for the Alternation Free μ-Calculus (BB, ML, MW), pp. 543–558.
- WRLA-2000-LeuckerN #framework #logic #tool support #verification
- Rewriting Logic as a Framework for Generic Verification Tools (ML, TN), pp. 121–137.