Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Bos, Petra"'
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:
Bos, Petra
Studien handlar om lärare i fritidshem, specialpedagoger och god lärmiljö samt elever i behov av särskilt stöd som är inskrivna och inkluderade på fritidshemmen. Ämnet är aktuellt då det under senare tid skrivits litteratur som riktar sig t
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-55106
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
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
Autor:
Bos, Petra Marianne
Adipose tissue development is regulated by a complex interaction between the local actions of insulin, glucocorticoids and insulin like growth factors (IGFs). A series of experiments was undertaken in which the normal development of individual adipos
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.523032
Autor:
Bos, Petra
Texte remanié de: Proefschrift--Letteren--Tilburg--Katholieke Universiteit Brabant, 1997.
Résumé en néerlandais. Bibliogr. p. 155-160.
Résumé en néerlandais. Bibliogr. p. 155-160.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb37714385r
Publikováno v:
In Journal of Experimental Child Psychology December 2017 164:101-116
Publikováno v:
Musaev, S & Fokkink, W 2022, A Note on the Message Complexity of Cidon’s Distributed Depth-First Search Algorithm . in N Jansen, M Stoelinga & P van den Bos (eds), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13560 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 467-471 . https://doi.org/10.1007/978-3-031-15629-8_24
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 467-471
STARTPAGE=467;ENDPAGE=471;TITLE=A Journey from Process Algebra via Timed Automata to Model Learning
Lecture Notes in Computer Science ISBN: 9783031156281
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 467-471
STARTPAGE=467;ENDPAGE=471;TITLE=A Journey from Process Algebra via Timed Automata to Model Learning
Lecture Notes in Computer Science ISBN: 9783031156281
The same distributed depth-first search algorithm was proposed independently by Lakshmanan, Meenakshi, and Thulasiraman, who gave 4 E- N as upper bound on the worst-case message complexity of the algorithm, and by Cidon, who gave 3E as upper bound. W
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
Artifact for paper 'VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs'
This artifact accompanies the paper “VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs” by Petra van den Bos and Sung-Shik Jongmans. The paper is part of the proceedings of FM 2023. This artifact includes a VM and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8aab37c4b714542a4d21b03b51315f0