Výsledky vyhledávání - "Kuppens, Harco"

RERS 2019

Autor: Jasper, Marc, Mues, Malte, Murtovi, Alnis, Schlüter, Maximilian, Howar, Falk, Steffen, Bernhard, Schordan, Markus, Hendriks, Dennis, Schiffelers, Ramon, Kuppens, Harco, Vaandrager, Frits W., Beyer, Dirk, Kordon, Fabrice, Huisman, Marieke

Publikováno v: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 April 2019 through 11 April 2019, 101-115
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 101-115. Cham : Springer International Publishing
STARTPAGE=101;ENDPAGE=115;ISSN=0302-9743;TITLE=Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, pp. 101-115
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, 101-115
STARTPAGE=101;ENDPAGE=115;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)

This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93777adc3d2fb89915b9ad1ff521fd2f
http://www.scopus.com/inward/record.url?scp=85064915589&partnerID=8YFLogxK

Zobrazit plný text záznamu

Automata Learning through Counterexample Guided Abstraction Refinement

Autor: Aarts, Fides, Heidarian, Faranak, Kuppens, Harco, Olsen, Petur, Vaandrager, Frits

Publikováno v: Aarts, F, Heidarian, F, Kuppens, H, Olsen, P & Vaandrager, F 2012, Automata Learning through Counterexample Guided Abstraction Refinement . in FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings . vol. 7436, Springer, Lecture Notes in Computer Science, vol. 7436, pp. 10-27, Formal Methods 2012, Paris, France, 27/08/2012 . https://doi.org/10.1007/978-3-642-32759-9_4

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=dedup_wf_001::0ec5cf46f4de20bae157226fc1ae7197
https://vbn.aau.dk/da/publications/e3460d38-39bd-4ba6-956a-67e840acceec

Zobrazit plný text záznamu

Video surveillance using distance maps

Autor: Schouten, Theo E., Kuppens, Harco C., van den Broek, Egon, Kehtarnavaz, Nasser, Laplante, Phillip A

Publikováno v: Real-Time Image Processing 2006, 54-65
STARTPAGE=54;ENDPAGE=65;TITLE=Real-Time Image Processing 2006
Real-Time Image Processing

Human vigilance is limited; hence, automatic motion and distance detection is one of the central issues in video surveillance. Hereby, many aspects are of importance, this paper specially addresses: efficiency, achieving real-time performance, accura

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::962de920068d26522993efc2ca29046d
https://research.utwente.nl/en/publications/d8a4e145-9682-4e25-9050-3954e2fe7719

Zobrazit plný text záznamu