Wojciech Mostowski

According to our database, Wojciech Mostowski authored at least 39 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving.

Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi

ACM Trans. Softw. Eng. Methodol., January, 2024

2022

Implications of Deductive Verification on Research Quality - Field Study.

Wojciech Mostowski

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

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

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021

Locality-Based Test Selection for Autonomous Agents.

Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts

Proceedings of the Testing Software and Systems, 2021

2020

From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java.

Wojciech Mostowski

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

2019

Model-based fault injection for testing gray-box systems.

Wojciech Mostowski

J. Log. Algebraic Methods Program., 2019

VerifyThis - Verification Competition with a Human Factor.

Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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

Model Learning and Model-Based Testing.

Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017

Modelling of Autosar Libraries for Large Scale Testing.

Wojciech Mostowski, Thomas Arts, John Hughes

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

2016

Verifying Java Card Programs.

Wojciech Mostowski

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Modular Specification and Verification.

Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Dynamic Dispatch for Method Contracts Through Abstract Predicates.

Wojciech Mostowski, Mattias Ulbrich

LNCS Trans. Modul. Compos., 2016

2015

Implementation-level verification of algorithms with KeY.

Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich

Int. J. Softw. Tools Technol. Transf., 2015

Dynamic Frames Based Verification Method for Concurrent Java Programs.

Wojciech Mostowski

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

A Symbolic Approach to Permission Accounting for Concurrent Reasoning.

Marieke Huisman, Wojciech Mostowski

Proceedings of the 14th International Symposium on Parallel and Distributed Computing, 2015

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, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Verification of Concurrent Systems with VerCors.

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the Formal Methods for Executable Software Models, 2014

Formal Specifications for Java's Synchronisation Classes.

Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

A Case Study in Formal Verification Using Multiple Explicit Heaps.

Wojciech Mostowski

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

Real-time Java API specifications for high coverage test generation.

Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards.

Wojciech Mostowski, Pim Vullers

Proceedings of the Security and Privacy in Communication Networks, 2011

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, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

Midlet Navigation Graphs in JML.

Wojciech Mostowski, Erik Poll

Proceedings of the Formal Methods: Foundations and Applications, 2010

Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings.

Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers

Proceedings of the Smart Card Research and Advanced Application, 2010

2009

Model-Based Testing of Electronic Passports.

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Malicious Code on Java Card Smartcards: Attacks and Countermeasures.

Wojciech Mostowski, Erik Poll

Proceedings of the Smart Card Research and Advanced Applications, 2008

2007

The KeY Syntax.

Wojciech Mostowski

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

The Demoney Case Study.

Wojciech Mostowski

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

From Sequential Java to Java Card.

Wojciech Mostowski

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Fully Verified Java Card API Reference Implementation.

Wojciech Mostowski

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006

Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.

Wojciech Mostowski

Proceedings of the FM 2006: Formal Methods, 2006

2005

Formal Development of Safe and Secure Java Card Applets.

Wojciech Mostowski

PhD thesis, 2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 2005

Formalisation and Verification of Java Card Security Properties in Dynamic Logic.

Wojciech Mostowski

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Verification of Safety Properties in the Presence of Transactions.

Reiner Hähnle, Wojciech Mostowski

Proceedings of the Construction and Analysis of Safe, 2004

2003

Specifying JAVA CARD API in OCL.

Daniel Larsson, Wojciech Mostowski

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

A Program Logic for Handling JAVA CARD's Transaction Mechanism.

Bernhard Beckert, Wojciech Mostowski

Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002

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

Proceedings of the Fundamental Approaches to Software Engineering, 2002