Zilverling

dr. P. van den Bos (Petra)

Universitair docent
EEMCS-CS-FMT
Zilverling 3120
p.vandenbos@utwente.nl
+31534892677
Visitekaartje

Publicaties

2024

Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024)[Dataset Types › Dataset]. Zenodo. Rubbens, R., Huisman, M. & van den Bos, P.https://doi.org/10.5281/zenodo.13348213An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing (2024)In 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) (pp. 199-206). Article 10621723. IEEE. Zameni, T., Bos, P. v. d., Rensink, A. & Tretmans, J.https://doi.org/10.1109/SANER-C62648.2024.00033

2023

With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves (2023)In Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023 (pp. 155-172) (Lecture Notes in Computer Science; Vol. 13910). Springer Nature. van den Bos, P. & Stoelinga, M.https://doi.org/10.1007/978-3-031-35355-0_10From BDD Scenarios to Test Case Generation (2023)In 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 Testing (2023)In 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 (2023)[Working paper › Preprint]. 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 Java (2023)In 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_8Artefact for paper "With a little help from your friends: semi-cooperative games via Joker moves" (2023)[Dataset Types › Dataset]. Zenodo. van den Bos, P.https://doi.org/10.5281/zenodo.7712109VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs (2023)In Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (pp. 321-339) (Lecture Notes in Computer Science; Vol. 14000). 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 Programming (2022)In 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_19

Onderzoeksprofielen

Scan de QR-code of
Download vCard