| 2023 | ICST | From BDD Scenarios to Test Case Generation. | Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink |
| 2019 | IFM | Relating Alternating Relations for Conformance and Refinement. | Ramon Janssen, Frits W. Vaandrager, Jan Tretmans |
| 2019 | SAC | Matching implementations to specifications: the corner cases of ioco. | Ramon Janssen, Jan Tretmans |
| 2019 | TAP | Coverage-Based Testing with Symbolic Transition Systems. | Petra van den Bos, Jan Tretmans |
| 2014 | ISoLA | Active Learning of Nondeterministic Systems from an ioco Perspective. | Michele Volpato, Jan Tretmans |
| 2013 | ISSTA | Towards quality of model-based testing in the ioco framework. | Michele Volpato, Jan Tretmans |
| 2012 | DATE | State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. | Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans |
| 2010 | EMSOFT | Quantitative system validation in model driven design. | Holger Hermanns, Kim Guldstrand Larsen, Jean-Franois Raskin, Jan Tretmans |
| 2010 | ISoLA | UPPAAL in Practice: Quantitative Verification of a RapidIO Network. | Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten |
| 2009 | FMICS | Model-Based Testing of Electronic Passports. | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
| 2007 | IFM | Integrating Verification, Testing, and Learning for Cryptographic Protocols. | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, Ren G. de Vries, Tim A. C. Willemse |
| 2005 | SEC | On-the-Fly Formal Testing of a Smart Card Applet. | Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans |
| 1999 | CONCUR | Testing Concurrent Systems: A Formal Approach. | Jan Tretmans |
| 1999 | FM | Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. | Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans |
| 1997 | FORTE | Refusal Testing for Classes of Transition Systems with Inputs and Outputs. | Lex Heerink, Jan Tretmans |
| 1997 | TACAS | The Bounded Retransmission Protocol Must Be on Time! | Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans |
| 1996 | TACAS | Test Generation with Inputs, Outputs, and Quiescence. | Jan Tretmans |
| 1989 | FORTE | Test Case Derivation from LOTOS Specifications. | Jan Tretmans |