Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Frits Vaandrager"'
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
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
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
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
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
Publikováno v:
Synthesis Lectures on Distributed Computing Theory ISBN: 9783031008757
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb9fbbb70568f2cce40d5be7af48307c
https://doi.org/10.1007/978-3-031-02003-2_2
https://doi.org/10.1007/978-3-031-02003-2_2
Publikováno v:
Synthesis Lectures on Distributed Computing Theory ISBN: 9783031008757
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9aa081c249c84cc15e6fe37019281cf2
https://doi.org/10.1007/978-3-031-02003-2_6
https://doi.org/10.1007/978-3-031-02003-2_6