Výsledky vyhledávání - "Vaandrager, F."

Report

Autor: Griffioen, W. O. D., Vaandrager, F. W.

Publikováno v: ACM Trans. Comput. Log. 5(4): 577-610 (2004)

In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one. As a result, it is cumbersome to mechanize these techniques using general purpose theorem

Externí odkaz: http://arxiv.org/abs/cs/0007030

Zobrazit plný text záznamu

Simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows

Autor: Midya, A., Vaandrager, F., Thomas, D.G., Ghosh, C., Lukić, T., Barneva, R.P., Brimkov, V.E., Čomić, L., Sladoje, N.

Publikováno v: Lukić, T.; Barneva, R.P.; Brimkov, V.E. (ed.), Combinatorial Image Analysis: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings, 106-122. Cham : Springer International Publishing
STARTPAGE=106;ENDPAGE=122;ISSN=0302-9743;TITLE=Lukić, T.; Barneva, R.P.; Brimkov, V.E. (ed.), Combinatorial Image Analysis: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings
Lukić, T.; Barneva, R.P.; Brimkov, V.E. (ed.), Combinatorial Image Analysis: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings, pp. 106-122

Contains fulltext : 222190.pdf (Publisher’s version ) (Open Access)

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

Zobrazit plný text záznamu

A New Approach for Active Automata Learning Based on Apartness

Autor: Vaandrager, F., Garhewal, B., Rot, J., Wissmann, T., Fisman, D.

Publikováno v: Fisman, D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I, 223-243. Cham : Springer
STARTPAGE=223;ENDPAGE=243;ISSN=0302-9743;TITLE=Fisman, D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1e2d07e3baec73af03399018d0a3d9cf
http://hdl.handle.net/2066/250772

Zobrazit plný text záznamu

Learning Mealy Machines with One Timer

Autor: Vaandrager, F., Bloem, R., Ebrahimi, M., Leporati, A.

Publikováno v: Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings, pp. 157-170
Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings, 157-170. Cham : Springer
STARTPAGE=157;ENDPAGE=170;ISSN=0302-9743;TITLE=Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings

Item does not contain fulltext LATA 2021

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

Zobrazit plný text záznamu

Active Automata Learning: from L∗ to L#

Autor: Vaandrager, F.

Publikováno v: Piskac, R. (ed.), FMCAD 2021: PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN, October 18-October 22, 2021, pp. 9-9

Contains fulltext : 240046.pdf (Publisher’s version ) (Open Access) FMCAD 2021

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1236::ee37a0f3bceeb1e2cb8a51fca322d0c9
https://repository.ubn.ru.nl/handle/2066/240046

Zobrazit plný text záznamu

A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages

Autor: Vaandrager, F., Midya, A.

Publikováno v: Theoretical Computer Science, 912, 37-55
Theoretical Computer Science, 912, pp. 37-55

We propose a new symbolic trace semantics for register automata (extended finite state machines) which records both the sequence of input symbols that occur during a run as well as the constraints on input parameters that are imposed by this run. Our

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d9e0fe88b60ae08f676398d7ca85b0c

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.

Relating Alternating Relations for Conformance and Refinement

Autor: Janssen, R., Vaandrager, F., Tretmans, G.J., Ahrendt, W.

Publikováno v: Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, 246-264. Cham : Springer
STARTPAGE=246;ENDPAGE=264;ISSN=0302-9743;TITLE=Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019
Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, pp. 246-264
Tarifa, S. ahrendt w.tapia, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 15th International Conference on Integrated Formal Methods, IFM 2019, 2 December 2019 through 6 December 2019, 246-264

Various relations have been defined to express refinement and conformance for state-transition systems with inputs and outputs, such as ioco and uioco in the area of model-based testing, and alternating simulation and alternating-trace containment or

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d16e2f420344ad43184f2222fe04bf57
http://arxiv.org/abs/1909.13604

Zobrazit plný text záznamu

Automata Learning and Galois Connections (Invited Talk)

Autor: Vaandrager, F., Baier, C.

Publikováno v: Baier, C. (ed.), ICALP 2019: 46th International Colloquium on Automata, Languages, and Programming, 4:1-4:1. Dagstuhl : Schloss Dagstuhl
STARTPAGE=4:1;ENDPAGE=4:1;ISSN=1868-8969;TITLE=Baier, C. (ed.), ICALP 2019: 46th International Colloquium on Automata, Languages, and Programming
Baier, C. (ed.), ICALP 2019: 46th International Colloquium on Automata, Languages, and Programming, pp. 4:1-4:1

Automata learning is emerging as an effective technique for obtaining state machine models of software and hardware systems. I will present an overview of recent work in which we used active automata learning to find standard violations and security

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e586b72ca0d267935562544c8476fd11

Zobrazit plný text záznamu

Model Learning and Testing (and some observations on formal methods research in the Netherlands)

Autor: Vaandrager, F., Huisman, M.

Publikováno v: Technical Report ; UU-CS-2019-004, 15-16. Utrecht : Utrecht University
STARTPAGE=15;ENDPAGE=16;TITLE=Technical Report ; UU-CS-2019-004
Huisman, M. (ed.), A Research Agenda for Formal Methods in the Netherlands, pp. 15-16

Contains fulltext : 207660.pdf (Publisher’s version ) (Open Access)

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

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání