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 × Canada
1 × Denmark
1 × France
1 × Germany
2 × Italy
2 × USA
3 × The Netherlands
Collaborated with:
∅ J.F.Groote M.Stoelinga T.Hune F.Heidarian B.Gebremichael W.O.D.Griffioen J.Schmaltz G.Behrmann L.Aceto B.Bloom P.Fiterau-Brostean R.Janssen J.Romijn F.Aarts H.Kuppens P.Olsen
Talks about:
automata (6) model (4) time (4) learn (3) check (3) abstract (2) bisimul (2) test (2) counterexampl (1) relationship (1)

Person: Frits W. Vaandrager

DBLP DBLP: Vaandrager:Frits_W=

Contributed to:

FM 20122012
ICTSS 20122012
FM 20092009
SEFM 20052005
ICALP 20032003
TACAS 20012001
CAV 20002000
CAV 19981998
LICS 19921992
LICS 19911991
ICALP 19901990
ICALP 19891989
TAPSOFT CAAP/FASE 19971997
CAV (2) 20162016

Wrote 14 papers:

FM-2012-AartsHKOV #abstraction #automaton #learning #refinement
Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.
ICTSS-2012-Vaandrager #finite #learning #state machine
Active Learning of Extended Finite State Machines (FWV), pp. 5–7.
FM-2009-HeidarianSV #analysis #network #protocol
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks (FH, JS, FWV), pp. 516–531.
SEFM-2005-GebremichaelV #automaton #specification
Specifying Urgency in Timed I/O Automata (BG, FWV), pp. 64–74.
ICALP-2003-StoelingaV #automaton #probability #testing
A Testing Scenario for Probabilistic Automata (MS, FWV), pp. 464–477.
TACAS-2001-HuneRSV #automaton #linear #model checking #parametricity
Linear Parametric Model Checking of Timed Automata (TH, JR, MS, FWV), pp. 189–203.
CAV-2000-BehrmannHV #how #matter #model checking #order
Distributing Timed Model Checking — How the Search Order Matters (GB, TH, FWV), pp. 216–231.
CAV-1998-GriffioenV #simulation
Normed Simulations (WODG, FWV), pp. 332–344.
LICS-1992-AcetoBV #equation
Turning SOS Rules into Equations (LA, BB, FWV), pp. 113–124.
LICS-1991-Vaandrager #algebra #automaton #on the #process
On the Relationship Between Process Algebra and Input/Output Automata (FWV), pp. 387–398.
ICALP-1990-GrooteV #algorithm #bisimulation #branch #equivalence #performance
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence (JFG, FWV), pp. 626–638.
ICALP-1989-GrooteV #bisimulation #congruence #semantics
Structural Operational Semantics and Bisimulation as a Congruence (JFG, FWV), pp. 423–438.
TAPSOFT-1997-Vaandrager #automaton #formal method #testing
A Theory of Testing for Timed Automata (Abstract) (FWV), p. 39.
CAV-2016-Fiterau-Brostean #implementation #learning #model checking
Combining Model Learning and Model Checking to Analyze TCP Implementations (PFB, RJ, FWV), pp. 454–471.
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.