Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Frits W. Vaandrager

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Harco Kuppens

> Home > Persons > Frits W. Vaandrager

Publications

2019
[c68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JasperMMSHSSHSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JasperMMSHSSHSK19
Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager:
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) 2019: 101-115
2018
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NeiderSVK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NeiderSVK97
Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens:
Benchmarks for Automata Learning and Conformance Testing. Models, Mindsets, Meta 2018: 390-416
2015
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AartsFKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AartsFKV15
Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager:
Learning Register Automata with Fresh Value Generation. ICTAC 2015: 165-183
2014
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ml/AartsKTVV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ml/AartsKTVV14
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer:
Improving active Mealy machine learning for protocol conformance testing. Mach. Learn. 96(1-2): 189-224 (2014)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AartsHKV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AartsHKV14
Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager:
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. ISoLA (1) 2014: 202-219
2012
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AartsHKOV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AartsHKOV12
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager:
Automata Learning through Counterexample Guided Abstraction Refinement. FM 2012: 10-27
[c50]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jmlr/AartsKTVV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmlr/AartsKTVV12
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer:
Learning and Testing the Bounded Retransmission Protocol. ICGI 2012: 4-18

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.