| 2025 | Coordination | Verified Parameterized Choreographies. | Robert Rubbens, Petra van den Bos, Marieke Huisman |
| 2025 | FORTE | Sequential Composition of BDD Transition Systems for Model-Based Testing. | Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink |
| 2024 | IFM | VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. | Robert Rubbens, Petra van den Bos, Marieke Huisman |
| 2023 | FASE | JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. | Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina |
| 2023 | FM | VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. | Petra van den Bos, Sung-Shik Jongmans |
| 2023 | FORTE | With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. | Petra van den Bos, Marille Stoelinga |
| 2023 | ICST | From User Stories to End-to-end Web Testing. | Humaid Mollah, Petra van den Bos |
| 2023 | ICST | From BDD Scenarios to Test Case Generation. | Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink |
| 2022 | ESOP | A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. | Sung-Shik Jongmans, Petra van den Bos |
| 2019 | TAP | Coverage-Based Testing with Symbolic Transition Systems. | Petra van den Bos, Jan Tretmans |
| 2016 | IFM | Enhancing Automata Learning by Log-Based Metrics. | Petra van den Bos, Rick Smetsers, Frits W. Vaandrager |