Zobrazeno 1 - 10
of 443
pro vyhledávání: '"Frits Vaandrager"'
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
We present $$L^{\#}$$ L # , a new and simple approach to active automata learning. Instead of focusing on equivalence of observations, like the $$L^{*}$$ L ∗ algorithm and its descendants, $$L^{\#}$$ L # takes a different perspective: it tries to e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23917bfd5dcd0a04967b662f5edff76e
https://doi.org/10.1007/978-3-030-99524-9_12
https://doi.org/10.1007/978-3-030-99524-9_12
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 13, Iss Proc. QFM 2009, Pp 1-11 (2009)
We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a printer. As far as we know, this is the first application of timed automata techn
Externí odkaz:
https://doaj.org/article/656531c4047b4c29b242b54e1f8c88f6
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 13, Iss Proc. QFM 2009, Pp 41-54 (2009)
We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the Uppaal model checker, we establish that i
Externí odkaz:
https://doaj.org/article/8e5a30f578e34f0b8c88be71d5c012d3
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performan
This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performan
This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen
Autor:
Krichen, Moez1,2 (AUTHOR) moez.krichen@ieee.org, Harbaoui, Ahmed3 (AUTHOR) moez.krichen@ieee.org
Publikováno v:
Mathematics (2227-7390). Nov2024, Vol. 12 Issue 21, p3421. 24p.
Publikováno v:
Siam Journal on Computing, 37, 977-1013
Siam Journal on Computing, 37, 4, pp. 977-1013
Siam Journal on Computing, 37, 4, pp. 977-1013
Contains fulltext : 35287.pdf (Author’s version preprint ) (Open Access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ef5cad87a51e9dcadd84a9d636a0717
https://doi.org/10.1137/s0097539704446487
https://doi.org/10.1137/s0097539704446487
Publikováno v:
Synthesis Lectures on Computer Science. 1:1-114
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35ccf13649eb3a3b7dd5d60a067c3514
https://doi.org/10.2200/s00006ed1v01y200508csl001
https://doi.org/10.2200/s00006ed1v01y200508csl001