Fides Aarts - Veröffentlichungen allgemein

(1 - 10 von 12

)

Improving active Mealy machine learning for protocol

link.springer.com

Mach Learn (2014) 96:189–224 DOI s Improving active Mealy machine learning for protocol conformance testing Fides Aarts ·Harco Kuppens ·Jan Tretmans ·

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

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

In recent years, two different approaches for learning register automata have been developed: as part of the LearnLib tool algorithms have been implemented...

Learning and Testing the Bounded Retransmission ProtocolResearchGate

www.researchgate.net

Learning and Testing the Bounded Retransmission Protocol. January Authors: Fides Aarts ... Fides Aarts and Harco Kuppens and Jan Tretmans and. F ...

Publication: Formal Models of Bank Cards for Free.Reviewer.ly

cs.reviewer.ly

Fides Aarts Joeri de Ruiter Erik Poll. Published in: ICST Workshops (2013). Keyphrases. . formal models · formal model · rule based systems · process model ...

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...

Inference and Abstraction of the Biometric Passport | SpringerLink

link.springer.com

Model-based testing is a promising software testing technique for the automation of test generation and test execution. One obstacle to its adoption is the...

Learning I/O Automata | SpringerLink

link.springer.com

Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and...

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

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Fides Aarts