Výsledky vyhledávání - "Aarts, Fides"

Dissertation/ Thesis

Inference and Abstraction of Communication Protocols

Autor: Aarts, Fides

In this master thesis we investigate to infer models of standard communication protocols using automata learning techniques. One obstacle is that automata learning has been developed for machines with relatively small alphabets and a moderate number

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-111249

Zobrazit plný text záznamu

Learning and Testing the Bounded Retransmission Protocol

Autor: Aarts, Fides, Kuppens, H.C.W., Tretmans, G.J., Vaandrager, F., Verwer, S.E., Heinz, J.

Publikováno v: Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States, pp. 4-18
Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States, 4-18. S.l. : s.n.
STARTPAGE=4;ENDPAGE=18;ISSN=1938-7288;TITLE=Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States

Contains fulltext : 103474.pdf (Publisher’s version ) (Closed access) Contains fulltext : 103474pre.pdf (Author’s version preprint ) (Open Access) ICGI 2012 : 11th International Conference on Grammatical Inference (ICGI 2012), September 5-8, 2012

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dce3fd75f86db1caf27d847f6875d3df
https://hdl.handle.net/2066/103474

Zobrazit plný text záznamu

Learning Register Automata with Fresh Value Generation

Autor: Aarts, Fides, Fiterau-Brostean, P., Kuppens, H., Vaandrager, F.W., Leucker, M.

Publikováno v: Leucker, M. (ed.), Theoretical Aspects of Computing-ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015. Proceedings, 165-183. Berlin : Springer
STARTPAGE=165;ENDPAGE=183;ISSN=0302-9743;TITLE=Leucker, M. (ed.), Theoretical Aspects of Computing-ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015. Proceedings
Leucker, M. (ed.), Theoretical Aspects of Computing-ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015. Proceedings, pp. 165-183

Contains fulltext : 147278.pdf (Author’s version preprint ) (Closed access) ICTAC 2016

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::52b2890bd53acbc56560d92baa3de87a
http://hdl.handle.net/2066/147278

Zobrazit plný text záznamu

A Theory of History Dependent Abstractions for Learning Interface Automata

Autor: Aarts, Fides, Heidarian, F., Vaandrager, F., Koutny, M.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642329395
CONCUR
Koutny, M. (ed.), CONCOR 2012-Concurrency theory : CONCUR 2012-Concurrency Theory23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings, pp. 240-255
Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 7454, 240-255. Berlin : Springer
STARTPAGE=240;ENDPAGE=255;TITLE=Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 7454

History dependent abstraction operators are the key for scaling existing methods for active learning of automata to realistic applications. Recently, Aarts, Jonsson & Uijen have proposed a framework for history dependent abstraction operators. Using

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::022b46b9435f2c59df177dc7be413427
https://doi.org/10.1007/978-3-642-32940-1_18

Zobrazit plný text záznamu

Automata Learning through Counterexample Guided Abstraction Refinement

Autor: Aarts, Fides, Heidarian, F., Kuppens, H., Olsen, P., Vaandrager, F., Giannakopoulou, D.

Publikováno v: FM 2012: Formal Methods ISBN: 9783642327582
FM
Giannakopoulou, D. (ed.), FM 2012 : Formal Methods :18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 10-27
Lecture Notes in Computer Science ; 7436, 10-27. Berlin : Springer
STARTPAGE=10;ENDPAGE=27;TITLE=Lecture Notes in Computer Science ; 7436

ion is the key when learning behavioral models of realistic systems. Hence, in most practical applications where automata learning is used to construct models of software components, researchers manually define abstractions which, depending on the hi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8d017c5048b13e5c13754be14da9661
https://doi.org/10.1007/978-3-642-32759-9_4

Zobrazit plný text záznamu

Learning I/O Automata

Autor: Aarts, Fides, Vaandrager, F., Gastin, P., Laroussinie, F.

Publikováno v: Lecture Notes in Computer Science ; 6269, 71-85. Berlin : Springer
STARTPAGE=71;ENDPAGE=85;TITLE=Lecture Notes in Computer Science ; 6269
Gastin, P.; Laroussinie, F. (ed.), CONCUR 2010-Concurrency Theory, pp. 71-85
CONCUR 2010-Concurrency Theory ISBN: 9783642153747
CONCUR

Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy machines. It is shown that, by exploiting these links, any tool for ac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::426172148901775d67bede9a67a71b2f
http://hdl.handle.net/2066/83451

Zobrazit plný text záznamu

Inference and Abstraction of the Biometric Passport

Autor: Aarts, Fides, Schmaltz, J., Vaandrager, F., Margaria, T., Steffen, B.

Publikováno v: Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, pp. 673-686
Lecture Notes in Computer Science ISBN: 9783642165573
ISoLA (1)
Lecture Notes in Computer Science ; 6415, 673-686. Berlin : Springer
STARTPAGE=673;ENDPAGE=686;TITLE=Lecture Notes in Computer Science ; 6415

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 difficulty of developing models. Learning techniques provide tools to automatically derive aut

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5c72e1930cb390d74e286cde4783137
https://hdl.handle.net/2066/84329

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Kniha

Algorithms for Inferring Register Automata.

Autor: Aarts, Fides, Howar, Falk, Kuppens, Harco, Vaandrager, Frits

Publikováno v: Leveraging Applications of Formal Methods, Verification & Validation. Technologies for Mastering Change: Part I; 2014, p202-219, 18p

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání