Zilverling

dr. P. van den Bos (Petra)

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

Publicaties

2024

VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024)In Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings (pp. 217-236) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15234 LNCS). Springer. Rubbens, R., van den Bos, P. V. & Huisman, M.https://doi.org/10.1007/978-3-031-76554-4_12Artifact 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

Onderzoeksprofielen

Scan de QR-code of
Download vCard