Publicaties
2023
With a Little Help from Your Friends: Semi-cooperative Games via Joker MovesIn Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023 (pp. 155-172). Springer Nature. van den Bos, P. & Stoelinga, M.https://doi.org/10.1007/978-3-031-35355-0_10From BDD Scenarios to Test Case GenerationIn Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 (pp. 36-44). IEEE. Zameni, T., van den Bos, P., Tretmans, J., Foederer, J. & Rensink, A.https://doi.org/10.1109/ICSTW58534.2023.00019From User Stories to End-to-end Web TestingIn 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW): International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS) (pp. 140-148). IEEE. Mollah, H. & van den Bos, P.https://doi.org/10.1109/ICSTW58534.2023.00036With a little help from your friends: semi-cooperative games via Joker moves. ArXiv.org. Bos, P. v. d. & Stoelinga, M.https://doi.org/10.48550/arXiv.2304.13417JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in JavaIn 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 (pp. 143-150). Bliudze, S., Bos, P. v. d., Huisman, M., Rubbens, R. & Safina, L.https://doi.org/10.1007/978-3-031-30826-0_8VeyMont: Parallelising Verified Programs Instead of Verifying Parallel ProgramsIn Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (pp. 321-339). Springer Nature. van den Bos, P. & Jongmans, S.-S.https://doi.org/10.1007/978-3-031-27481-7_19
2022
A Predicate Transformer for Choreographies: Computing Preconditions in Choreographic ProgrammingIn Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings (pp. 520-547). Springer. Jongmans, S.-S. & van den Bos, P.https://doi.org/10.1007/978-3-030-99336-8_19The Integration of Testing and Program Verification: A Position PaperIn A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (pp. 524–538). Springer. Bos, P. v. d. & Huisman, M.https://doi.org/10.1007/978-3-031-15629-8_28A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Springer. Jansen, N., Stoelinga, M. & van den Bos, P.https://doi.org/10.1007/978-3-031-15629-8
2021
State identification for labeled transition systems with inputs and outputs, Article 102678. Bos, P. v. d. & Vaandrager, F.https://doi.org/10.1016/j.scico.2021.102678
Onderzoeksprofielen
Vakken collegejaar 2023/2024
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201400172 - Industrial Software Engineering Project
- 201500039 - Security Verification
- 201800524 - Research Topics EIT
- 202000975 - Algorithms for Creative Technology
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200251 - Capita Selecta DST
- 202200398 - Internship AM-CS
- 202300101 - Software Engineering Techniques
- 202300186 - Software Systems Core
Vakken collegejaar 2022/2023
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Masteronderzoek ECB Informatica
- 201400171 - Capita Selecta Software Technology
- 201400172 - Industrial Software Engineering Project
- 201500039 - Security Verification
- 201700082 - Programming Princip., Patt. & Processes
- 201800524 - Research Topics EIT
- 202000975 - Algorithms for Creative Technology
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200133 - Intro Computer Science & Programming
- 202200251 - Capita Selecta DST
Adres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3120
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3120
Postbus 217
7500 AE Enschede