1
0
0
(1 - 13 von 20
)
Improving active Mealy machine learning for ProQuest
search.proquest.com
von F Aarts · · Zitiert von: 38 — Fides Aarts · Harco Kuppens · Jan Tretmans ·. Frits Vaandrager · Sicco Verwer. Received: 17 December Accepted: 7 August Published online: › openview › 1.pdf
Learning of Automata Models Extended with Data *uu.se
user.it.uu.se
von B Jonsson · Zitiert von: 34 — mer collaborators, including Fides Aarts, Therese Bohlin, Sofia Cassel, Olga. Grinchtein, Falk Howar, Maik Merten, Bernhard Steffen, Johan Uijen, and Frits.
Model Learning and Model-Based TestingTU Graz
www.ist.tugraz.at
von BK Aichernig · Zitiert von: 55 — Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, and. Sicco Verwer. Improving active mealy machine learning for protocol con- formance testing.
History-Preserving Bisimilarity for Higher-Dimensional ...ScienceDirect
www.sciencedirect.com
von U Fahrenberg · · Zitiert von: 21 — [1] Fides Aarts, Faranak Heidarian, and Frits Vaandrager. A theory of history dependent abstractions for learning interface automata.
Generating Models of Infinite-State Communication ...Hal-Inria
inria.hal.science
von F Aarts · · Zitiert von: 108 — ... Fides Aarts, Bengt Jonsson, Johan Uijen. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. IFIP ...
History-Preserving Bisimilarity for Higher-Dimensional ...ScienceDirect.com
www.sciencedirect.com
von U Fahrenberg · · Zitiert von: 21 — [1]. Fides Aarts, Faranak Heidarian, Frits Vaandrager. A theory of history dependent abstractions for learning interface automata. CONCUR, LNCS ...
Model Inference and TestingScienceDirect.com
www.sciencedirect.com
von MN Irfan · · Zitiert von: 26 — Fides Aarts, Bengt Jonsson, Johan Uijen, Generating models of infinite-state communication protocols using regular... Aspectwerkz, José L. Balcázar ...
A Theory of History Dependent Abstractions for Learning ...Springer
link.springer.com
von F Aarts · · Zitiert von: 13 — A Theory of History Dependent Abstractions for Learning Interface Automata. Fides Aarts, ... Fides Aarts, Faranak Heidarian & Frits Vaandrager. Authors. Fides ...
From Finite Automata to Register Interface ProgramsLearnLib
learnlib.de
von F Howar · Zitiert von: 12 — Fides Aarts, Julien Schmaltz, and Frits W. Vaandrager. Inference and Abstraction of the Biometric Passport. In Margaria and Steffen [11], pages 673–686.
Algorithms for Inferring Register Automata | SpringerLink
link.springer.com
von F Aarts · · Zitiert von: 22 — Fides Aarts, Harco Kuppens & Frits Vaandrager. Carnegie Mellon University, Moffett Field, CA, USA. Falk Howar. Authors. Fides Aarts. von F Aarts · · Zitiert von: 104 — Fides Aarts,; Julien Schmaltz &; Frits Vaandrager. Conference paper Accesses. 43 Citations. Part of the Lecture Notes in Computer Science book series ... › chapter
Generating Models of Infinite-State Communication ...HAL-Inserm
www.hal.inserm.fr
von F Aarts · · Zitiert von: 107 — Fides Aarts, Bengt Jonsson, Johan Uijen. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction.
Learning Weighted Automata over Principal Ideal DomainsNational Institutes of Health (NIH) (.gov)
www.ncbi.nlm.nih.gov
von G van Heerdt · Zitiert von: 18 — Alexandra Silva, . Go to: References. 1. Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, and Frits W. Vaandrager. Learning ...
Learning and Testing the Bounded Retransmission ProtocolProceedings of Machine Learning Research
proceedings.mlr.press
von F Aarts · · Zitiert von: 34 — Learning and Testing the Bounded Retransmission Protocol. Fides Aarts, Harco Kuppens, Jan Tretmans, Frits Vaandrager, Sicco Verwer. Proceedings of the ...
Alle Infos zum Namen "Fides Aarts"
Verwandte Suchanfragen zu Fides Aarts
Falk Howar Erik Poll Alexander Fedotov | Imke Reimer Mandy Koch Steffen Michels |
Personen Vorname "Fides" (107) Name "Aarts" (145) |
sortiert nach Relevanz / Datum