Wojciech Mostowski

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 10

Top Venues

VSTTE

J. Log. Algebraic Methods Program.

ICTSS

ACM Trans. Softw. Eng. Methodol.

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Wojciech Mostowski
Implications of Deductive Verification on Research Quality - Field Study. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Galina Sidorenko, Wojciech Mostowski, Alexey V. Vinel, Jeanette Sjöberg, Martin Cooney
The CAR Approach: Creative Applied Research Experiences for Master's Students in Autonomous Platooning. RO-MAN (2021)
Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts
Locality-Based Test Selection for Autonomous Agents. ICTSS (2021)
Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
VerifyThis - Verification Competition with a Human Factor. TACAS (3) (2019)
Wojciech Mostowski
Model-based fault injection for testing gray-box systems. J. Log. Algebraic Methods Program. 103 (2019)
Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis (2018)
Maytheewat Aramrattana, Jerome Detournay, Cristofer Englund, Viktor Frimodig, Oscar Uddman Jansson, Tony Larsson, Wojciech Mostowski, Victor Diez Rodriguez, Thomas Rosenstatter, Golam Shahanoor
Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016. IEEE Trans. Intell. Transp. Syst. 19 (4) (2018)
Wojciech Mostowski, Thomas Arts, John Hughes
Modelling of Autosar Libraries for Large Scale Testing. MARS@ETAPS (2017)
Wojciech Mostowski, Mattias Ulbrich
Dynamic Dispatch for Method Contracts Through Abstract Predicates. LNCS Trans. Modul. Compos. 1 (2016)
Wojciech Mostowski
Dynamic Frames Based Verification Method for Concurrent Java Programs. VSTTE (2015)
Marieke Huisman, Wojciech Mostowski
A Symbolic Approach to Permission Accounting for Concurrent Reasoning. ISPDC (2015)
Wojciech Mostowski, Mattias Ulbrich
Dynamic dispatch for method contracts through abstract predicates. MODULARITY (2015)
Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich
Implementation-level verification of algorithms with KeY. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Verification of Concurrent Systems with VerCors. SFM (2014)
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
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Formal Specifications for Java's Synchronisation Classes. PDP (2014)
Wojciech Mostowski
A Case Study in Formal Verification Using Multiple Explicit Heaps. FMOODS/FORTE (2013)
Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli
Real-time Java API specifications for high coverage test generation. JTRES (2012)
Wojciech Mostowski, Pim Vullers
Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards. SecureComm (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
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. CARDIS (2010)
Wojciech Mostowski, Erik Poll
Midlet Navigation Graphs in JML. SBMF (2010)
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
Model-Based Testing of Electronic Passports. FMICS (2009)
Wojciech Mostowski, Erik Poll
Malicious Code on Java Card Smartcards: Attacks and Countermeasures. CARDIS (2008)
Wojciech Mostowski
Fully Verified Java Card API Reference Implementation. VERIFY (2007)
Wojciech Mostowski
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. FM (2006)
Wojciech Mostowski
Formalisation and Verification of Java Card Security Properties in Dynamic Logic. FASE (2005)
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
The KeY tool. Softw. Syst. Model. 4 (1) (2005)
Reiner Hähnle, Wojciech Mostowski
Verification of Safety Properties in the Presence of Transactions. CASSIS (2004)
Daniel Larsson, Wojciech Mostowski
Specifying JAVA CARD API in OCL. Electron. Notes Theor. Comput. Sci. 102 (2004)
Bernhard Beckert, Wojciech Mostowski
A Program Logic for Handling JAVA CARD's Transaction Mechanism. FASE (2003)
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE (2002)

Wojciech Mostowski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wojciech Mostowski