Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Fides Aarts

> Home > Persons

Person information

affiliation: ASML, The Netherlands
affiliation (former): Radboud University Nijmegen, The Netherlands

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AartsJUV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AartsJUV15
Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager:
Generating models of infinite-state communication protocols using regular inference with abstraction. Formal Methods Syst. Des. 46(1): 1-41 (2015)
[c9]
- 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
[j1]
- 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)
[c8]
- 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
2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AartsRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AartsRP13
Fides Aarts, Joeri de Ruiter, Erik Poll:
Formal Models of Bank Cards for Free. ICST Workshops 2013: 461-468
2012
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AartsHV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AartsHV12
Fides Aarts, Faranak Heidarian, Frits W. Vaandrager:
A Theory of History Dependent Abstractions for Learning Interface Automata. CONCUR 2012: 240-255
[c5]
- 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
[c4]
- 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
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AartsV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AartsV10
Fides Aarts, Frits W. Vaandrager:
Learning I/O Automata. CONCUR 2010: 71-85
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AartsSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AartsSV10
Fides Aarts, Julien Schmaltz, Frits W. Vaandrager:
Inference and Abstraction of the Biometric Passport. ISoLA (1) 2010: 673-686
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/AartsJU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/AartsJU10
Fides Aarts, Bengt Jonsson, Johan Uijen:
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. ICTSS 2010: 188-204

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.