dr. P. van den Bos (Petra)

Assistant Professor
EEMCS-CS-FMT
Zilverling 3120
p.vandenbos@utwente.nl
+31534892677
Business card

Publications

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

Research profiles

Address

University of Twente

Zilverling (building no. 11), room 3120
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard