Zobrazeno 1 - 10
of 395
pro vyhledávání: '"Bos, A. van den"'
This paper coins the notion of Joker games where Player 2 is not strictly adversarial: Player 1 gets help from Player 2 by playing a Joker. We formalize these games as cost games, and study their theoretical properties. Finally, we illustrate their u
Externí odkaz:
http://arxiv.org/abs/2304.13417
Autor:
Cortellessa, Gino, Stabile, Luca, Arpino, Fausto, Faleiros, David E., Bos, Wouter van den, Morawska, Lidia, Buonanno, Giorgio
Although close contact represents an important contagion route, the mechanism of exposure to exhaled droplets remains insufficiently characterized. In this study, an integrated risk assessment is presented for SARS-CoV-2 close contact exposure betwee
Externí odkaz:
http://arxiv.org/abs/2104.10934
Autor:
Bos, Petra van den, Vaandrager, Frits
For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its app
Externí odkaz:
http://arxiv.org/abs/1907.11034
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 277, 2018, pp. 118-132
We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternatin
Externí odkaz:
http://arxiv.org/abs/1809.03098
Publikováno v:
EPTCS 56, 2011, pp. 15-32
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based
Externí odkaz:
http://arxiv.org/abs/1107.0064
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bliudze, Simon, Bos, Petra van den, Huisman, Marieke, Rubbens, Robert, Safina, Larisa, Lambers, Leen, Uchitel, Sebastián
Publikováno v:
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, 143-150
STARTPAGE=143;ENDPAGE=150;TITLE=Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.143-150, ⟨10.1007/978-3-031-30826-0_8⟩
Fundamental Approaches to Software Engineering ISBN: 9783031308253
STARTPAGE=143;ENDPAGE=150;TITLE=Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.143-150, ⟨10.1007/978-3-031-30826-0_8⟩
Fundamental Approaches to Software Engineering ISBN: 9783031308253
We present “Verified JavaBIP”, a tool set for the verification of JavaBIP models. A JavaBIP model is a Java program where classes are considered as components, their behaviour described by finite state machine and synchronization annotations. Whi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89ea947ae1a56c94d4fd152339dbfc0d
http://hdl.handle.net/20.500.12210/80010
http://hdl.handle.net/20.500.12210/80010