| 2021 | RO-MAN | The CAR Approach: Creative Applied Research Experiences for Master's Students in Autonomous Platooning. | Galina Sidorenko, Wojciech Mostowski, Alexey V. Vinel, Jeanette Sjberg, Martin Cooney |
| 2019 | TACAS | VerifyThis - Verification Competition with a Human Factor. | Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich |
| 2015 | ISPDC | A Symbolic Approach to Permission Accounting for Concurrent Reasoning. | Marieke Huisman, Wojciech Mostowski |
| 2014 | PDP | Formal Specifications for Java's Synchronisation Classes. | Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski |
| 2013 | FORTE | A Case Study in Formal Verification Using Multiple Explicit Heaps. | Wojciech Mostowski |
| 2011 | SecureComm | Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards. | Wojciech Mostowski, Pim Vullers |
| 2010 | CARDIS | Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. | Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers |
| 2009 | FMICS | Model-Based Testing of Electronic Passports. | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
| 2008 | CARDIS | Malicious Code on Java Card Smartcards: Attacks and Countermeasures. | Wojciech Mostowski, Erik Poll |
| 2007 | CADE | Fully Verified Java Card API Reference Implementation. | Wojciech Mostowski |
| 2006 | FM | Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. | Wojciech Mostowski |
| 2005 | FASE | Formalisation and Verification of Java Card Security Properties in Dynamic Logic. | Wojciech Mostowski |
| 2003 | FASE | A Program Logic for Handling JAVA CARD's Transaction Mechanism. | Bernhard Beckert, Wojciech Mostowski |
| 2002 | FASE | The KeY System: Integrating Object-Oriented Design and Formal Methods. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt |