The KeY System: Integrating Object-Oriented Design and Formal Methods. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Peter H. Schmitt (FASE, 2002)

A Program Logic for Handling JAVA CARD's Transaction Mechanism. - Bernhard Beckert; Wojciech Mostowski (FASE, 2003)

Specifying JAVA CARD API in OCL. - Daniel Larsson; Wojciech Mostowski (OCL 2.0 @ UML, 2003)

Verification of Safety Properties in the Presence of Transactions. - Reiner Hähnle; Wojciech Mostowski (CASSIS, 2004)

Formalisation and Verification of Java Card Security Properties in Dynamic Logic. - Wojciech Mostowski (FASE, 2005)

The KeY tool. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Andreas Roth 002; Steffen Schlager; Peter H. Schmitt (Softw. Syst. Model., 2005)

Formal Development of Safe and Secure Java Card Applets. - Wojciech Mostowski (2005)

Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. - Wojciech Mostowski (FM, 2006)

Fully Verified Java Card API Reference Implementation. - Wojciech Mostowski (VERIFY, 2007)

From Sequential Java to Java Card. - Wojciech Mostowski (The KeY Approach, 2007)

The Demoney Case Study. - Wojciech Mostowski (The KeY Approach, 2007)

The KeY Syntax. - Wojciech Mostowski (The KeY Approach, 2007)

Malicious Code on Java Card Smartcards: Attacks and Countermeasures. - Wojciech Mostowski; Erik Poll (CARDIS, 2008)

Model-Based Testing of Electronic Passports. - Wojciech Mostowski; Erik Poll; Julien Schmaltz; Jan Tretmans; Ronny Wichers Schreur (FMICS, 2009)

Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. - Lejla Batina; Jaap-Henk Hoepman; Bart Jacobs 001; Wojciech Mostowski; Pim Vullers (CARDIS, 2010)

Midlet Navigation Graphs in JML. - Wojciech Mostowski; Erik Poll (SBMF, 2010)

The COST IC0701 Verification Competition 2011. - Thorsten Bormer; Marc Brockschmidt; Dino Distefano; Gidon Ernst; Jean-Christophe Filliâtre; Radu Grigore; Marieke Huisman; Vladimir Klebanov; Claude Marché; Rosemary Monahan; Wojciech Mostowski; Nadia Polikarpova; et al. (FoVeOOS, 2011)

Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards. - Wojciech Mostowski; Pim Vullers (SecureComm, 2011)

Real-time Java API specifications for high coverage test generation. - Wolfgang Ahrendt; Wojciech Mostowski; Gabriele Paganelli (JTRES, 2012)

A Case Study in Formal Verification Using Multiple Explicit Heaps. - Wojciech Mostowski (FMOODS/FORTE, 2013)

Formal Specifications for Java's Synchronisation Classes. - Afshin Amighi; Stefan Blom; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (PDP, 2014)

Verification of Concurrent Systems with VerCors. - Afshin Amighi; Stefan Blom; Saeed Darabi; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (SFM, 2014)

The KeY Platform for Verification and Analysis of Java Programs. - Wolfgang Ahrendt; Bernhard Beckert; Daniel Bruns; Richard Bubel; Christoph Gladisch; Sarah Grebing; Reiner Hähnle; Martin Hentschel 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

A Symbolic Approach to Permission Accounting for Concurrent Reasoning. - Marieke Huisman; Wojciech Mostowski (ISPDC, 2015)

Dynamic Frames Based Verification Method for Concurrent Java Programs. - Wojciech Mostowski (VSTTE, 2015)

Implementation-level verification of algorithms with KeY. - Daniel Bruns; Wojciech Mostowski; Mattias Ulbrich (Int. J. Softw. Tools Technol. Transf., 2015)

Dynamic Dispatch for Method Contracts Through Abstract Predicates. - Wojciech Mostowski; Mattias Ulbrich (LNCS Trans. Modul. Compos., 2016)

Modular Specification and Verification. - Daniel Grahl; Richard Bubel; Wojciech Mostowski; Peter H. Schmitt; Mattias Ulbrich; Benjamin Weiß 001 (Deductive Software Verification, 2016)

Verifying Java Card Programs. - Wojciech Mostowski (Deductive Software Verification, 2016)

Modelling of Autosar Libraries for Large Scale Testing. - Wojciech Mostowski; Thomas Arts; John Hughes 001 (MARS@ETAPS, 2017)

Model Learning and Model-Based Testing. - Bernhard K. Aichernig; Wojciech Mostowski; Mohammad Reza Mousavi 001; Martin Tappler; Masoumeh Taromirad (Machine Learning for Dynamic Software Analysis, 2018)

Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016. - Maytheewat Aramrattana; Jerome Detournay; Cristofer Englund; Viktor Frimodig; Oscar Uddman Jansson; Tony Larsson; Wojciech Mostowski; Victor Diez Rodriguez; Thomas Rosenstatter; Golam Shahanoor (IEEE Trans. Intell. Transp. Syst., 2018)

VerifyThis - Verification Competition with a Human Factor. - Gidon Ernst; Marieke Huisman; Wojciech Mostowski; Mattias Ulbrich (TACAS (3), 2019)

Model-based fault injection for testing gray-box systems. - Wojciech Mostowski (J. Log. Algebraic Methods Program., 2019)

From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java. - Wojciech Mostowski (20 Years of KeY, 2020)

Locality-Based Test Selection for Autonomous Agents. - Sina Entekhabi; Wojciech Mostowski; Mohammad Reza Mousavi 001; Thomas Arts (ICTSS, 2021)

The CAR Approach: Creative Applied Research Experiences for Master's Students in Autonomous Platooning. - Galina Sidorenko; Wojciech Mostowski; Alexey V. Vinel; Jeanette Sjöberg; Martin Cooney (RO-MAN, 2021)

Implications of Deductive Verification on Research Quality - Field Study. - Wojciech Mostowski (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving. - Sina Entekhabi; Wojciech Mostowski; Mohammad Reza Mousavi 001 (ACM Trans. Softw. Eng. Methodol., 2024)