BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Leucker:Martin

Contributed to:

FSE 20142014
TACAS 20142014
DLT 20132013
CAV 20102010
VMCAI 20102010
SPLC 20082008
CAV 20072007
TACAS 20072007
IJCAR 20062006
FASE 20052005
VMCAI 20052005
FoSSaCS 20022002
CAV 20012001
TACAS 20012001
WRLA 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.