False loop detection in the IEEE 1394 tree identify phase

Autor: Jmt Judi Romijn

Publikováno v: Formal Aspects of Computing, 14(3), 319-327. Springer

The physical layer of the IEEE 1394 (FireWire, i-Link) architecture contains a protocol for spanning a tree in the network topology, which fails if the topology contains a loop. We show that the timing requirements for both the 1394-1995 and 1394a-20

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a89631a83e0abfc9d9d7152d2b88980
https://doi.org/10.1007/s001650300008

A note on fairness in I/O automata

Autor: Judi Romijn, Frits W. Vaandrager

Publikováno v: Information Processing Letters. 59:245-250

Notions of weak and strong fairness are studied in the setting of the I/O automaton model of Lynch & Tuttle. The concept of a fair I/O automaton is introduced and it is shown that a fair I/O automaton paired with the set of its fair executions is a l

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c57a73efcd7256ff711df2bad8a7b950
https://doi.org/10.1016/0020-0190(96)00122-6

Linear parametric model checking of timed automata

Autor: Thomas Hune, Frits W. Vaandrager, Mariëlle Stoelinga, Judi Romijn

Publikováno v: Journal of Logic and Algebraic Programming, 52-53, 183-220. Elsevier
Journal of Logic and Algebraic Programming, 52-53, pp. 183-220
Journal of Logic and Algebraic Programming, 52-53, 183-220
BRICS Report Series; No 5 (2001): RS-5 Linear Parametric Model Checking of Timed Automata
BRICS Report Series; Nr. 5 (2001): RS-5 Linear Parametric Model Checking of Timed Automata

We present an extension of the model checker Uppaal capable of synthesizing linear parameter constraints for the correctness ofparametric timed automata. The symbolic representation of the (parametric) state-space is shown to be correct. A second con

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6dc2b534ca151141c7fff75fbb0bb8fc
https://research.tue.nl/nl/publications/2a7a5a23-9f67-4980-ac58-645635dabbc3

Efficient Guiding Towards Cost-Optimality in UPPAAL

Autor: Kim Guldstrand Larsen, Ansgar Fehnker, Judi Romijn, Paul Pettersson, Gerd Behrmann, Thomas S. Hune

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540418658
TACAS

In this paper we present an algorithm for efficiently computing the minimum cost of reaching a goal state in the model of Uniformly Priced Timed Automata (UPTA). This model can be seen as a submodel of the recently suggested model of linearly priced

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b3d981a13289e0c42993e0b8c5365194
https://doi.org/10.1007/3-540-45319-9_13

Exploiting Symmetry in Protocol Testing

Autor: Jan Springintveld, Judi Romijn

Publikováno v: IFIP Advances in Information and Communication Technology ISBN: 9781475752625
FORTE

Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of symmetry in the behavior of specification and implementation may substan

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e1c7f0c55324041f6774124af87b1b3a
https://doi.org/10.1007/978-0-387-35394-4_21