1
0
0
(1 - 25 von 29
)
People - ITALIA projectRadboud Universiteit
131.174.138.40
Fides Aarts, active learning of automata. dr. Faranak Heidarian Dekhordi, abstraction refinement. Msc. Wouter Smeenk, case study at Océ-Technologies B.V.. dr ...
Formal Methods in System DesignScholars Portal Journals
journals.scholarsportal.info
... infinite-state communication protocols using regular inference with abstraction. Authors. Fides Aarts · Bengt Jonsson · Johan Uijen · Frits Vaandrager ...
CONCUR Concurrency Theory: 23rd International ...
books.google.com
A Theory of History Dependent Abstractions for Learning Interface Automata⋆ Fides Aarts, Faranak Heidarian⋆⋆, and Frits Vaandrager Institute for ...
Leveraging Applications of Formal Methods, Verification, and...
books.google.de
The fourth presentation, “Inference and Abstraction of the Biometric Passport”, by Fides Aarts, Julien Schmaltz, Frits Vaandrager, addresses the problem of ...
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 ...
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} }. › ...
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 ...
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 ...
FM 2012: Formal Methods - 18th International Symposium ...researchr.org
researchr.org
Automata Learning through Counterexample Guided Abstraction RefinementFides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager
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.
Automata Learning through Counterexample Guided Abstraction...
link.springer.com
Abstraction is the key when learning behavioral models of realistic systems. Hence, in most practical applications where automata learning is used to construct...
Search - Testing Software and SystemsIFIP Digital Library
dl.ifip.org
1. 1 Résultat. authFullName_s : Fides Aarts ... Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction · Fides Aarts ...
A Quick Survey of Active Automata LearningGitHub
wcventure.github.io
Fides Aarts, Julien Schmaltz, Frits Vaandrager, Inference and abstraction of the biometric passport, ISoLa 2010, LNCS volume 6415, pp. pp , Springer, ...
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.
Generating Models of Infinite-State Communication Protocols ...
hal.inria.fr
Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. Fides Aarts 1 Bengt Jonsson 1 Johan Uijen 1. Détails. › hal
23rd International Conference on Concurrency Theory (CONCUR 2012) |...
www.frontiersinai.com
Fides Aarts, Faranak Heidarian and Frits Vaandrager: A Theory of History Dependent Abstractions for Learning Interface Automata • Alexey Gotsman and ...
Public Quasimodo DeliverablesQuasimodo Project
quasimodo.aau.dk
Fides Aarts, J. Schmaltz and Frits Vaandrager, Inference and Abstraction of the Biometric Passport, in: Leveraging Applications of Formal Methods, ...
Conference ProgramCnam
fm2012.cnam.fr
— Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen Automata Learning Through Counterexample-Guided Abstraction Refinement.
FM2012-CNAM
fm2012.cnam.fr
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen and Frits Vaandrager. Automata Learning Through Counterexample-Guided Abstraction ...
Alle Infos zum Namen "Fides Aarts"
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