1
0
0
(1 - 16 von 23
)
Uppsatser.se: FIDES AARTS
www.uppsatser.se
Uppsatser om FIDES AARTS. Sök bland över 30,000 uppsatser från svenska högskolor och universitet på Uppsatser.se - startsida för uppsatser, stipendier &...
Aarts Ictopen2012 Submission 104 Page-83 | PDFScribd
www.scribd.com
Fides Aarts, Harco Kuppens, Wouter Smeenk, Jan Tretmans,. Frits Vaandrager, Sicco Verwer, Michele Volpato. Angluins L* Algorithm. Active Learning
uppsatser.se: Fides Aartsuppsatser.se
Hittade 1 uppsats innehållade orden Fides Aarts. 1. Inference and Abstraction of Communication Protocols. Master-uppsats, Uppsala universitet/Institutionen för ...
Fides Aarts - Home - ACM Digital Library
dl.acm.org
Search within Fides Aarts's work. Search Search. Home; Fides Aarts
An Experience Report on Model Learningvu.nl
www.cs.vu.nl
von G Roose · — [12] Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, and Frits Vaan- drager. Learning register automata with fresh value generation. In Inter-.
A Theory of History Dependent Abstractions for Learning ...
www.semanticscholar.org
... Abstractions for Learning Interface Automata}, author={Fides Aarts and Faranak Heidarian and Frits W. Vaandrager}, booktitle={CONCUR}, year={2012} }. @inproceedings{Aarts2009InferenceAA, title={Inference and Abstraction of Communication Protocols}, author={Fides Aarts}, year={2009} }. › ...
Generating Models of Communication Protocols from Test ...Department of Information Technology - Uppsala University
it.uu.se
von P Abdulla · — Fides Aarts & Johan Uijen Uppsala University and Radboud University, Nijmegen. Date and Time. Thursday, August 20th , at Location. Polacksbaken.
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
Introduction to the Special Issue on Grammatical InferenceJeffrey Heinz
www.jeffreyheinz.net
von J Heinz · — The article titled Improving Active Mealy Machine Learning for Protocol Conformance. Testing by Sicco Verwer, Fides Aarts, Harco Kuppens, Frits ...
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.
Automata Learning through Counterexample Guided Abstraction...
vbn.aau.dk
VBN is the research portal for Aalborg University and presents research and research activities of AAU.
Improving active Mealy machine learning for protocol conformance...
www.proquest.com
Fides Aarts · Harco Kuppens · Jan Tretmans ·. Frits Vaandrager · Sicco Verwer. Received: 17 December Accepted: 7 August
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.
Learning nominal automata - ACM Digital LibraryACM Digital Library
dl.acm.org
— References · Fides Aarts and Frits W. Vaandrager. · Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, and Frits W. Vaandrager. · Dana Angluin.
Verwandte Suchanfragen zu Fides Aarts
| Falk Howar Erik Poll Alexander Fedotov | Mandy Koch Steffen Michels Imke Reimer |
Personen Vorname "Fides" (107) Name "Aarts" (145) |
sortiert nach Relevanz / Datum