Wojciech Mostowski

Most-cited papers

Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards
Wojciech Mostowski, Pim Vullers
2011Security and Privacy in Communication Networks80 citations Open access
Semantic Scholar
Malicious Code on Java Card Smartcards: Attacks and Countermeasures
Wojciech Mostowski, E. Poll
2008Smart Card Research and Advanced Application Conference76 citations Open access
Semantic Scholar
The KeY Platform for Verification and Analysis of Java Programs
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel +10 more
2014Verified Software: Theories, Tools, Experiments75 citations
Semantic Scholar
Model Learning and Model-Based Testing
B. Aichernig, Wojciech Mostowski, M. Mousavi, Martin Tappler +1 more
2018Machine Learning for Dynamic Software Analysis54 citations
Semantic Scholar
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings
L. Batina, J. Hoepman, B. Jacobs, Wojciech Mostowski +1 more
2010Smart Card Research and Advanced Application Conference49 citations Open access
Semantic Scholar
A Program Logic for Handling JAVA CARD's Transaction Mechanism
Bernhard Beckert, Wojciech Mostowski
2003Fundamental Approaches to Software Engineering41 citations Open access
Semantic Scholar
The KeY System: Integrating Object-Oriented Design and Formal Methods
Wolfgang Ahrendt, T. Baar, Bernhard Beckert, M. Giese +5 more
2002Fundamental Approaches to Software Engineering40 citations Open access
Semantic Scholar
Fully Verified Java Card API Reference Implementation
Wojciech Mostowski
2007VERIFY35 citations
Semantic Scholar
The COST IC0701 Verification Competition 2011
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, G. Ernst +13 more
2011Formal Verification of Object-Oriented Software33 citations Open access
Semantic Scholar
Fingerprinting Passports
H. Richter, Wojciech Mostowski, E. Poll
200831 citations
Semantic Scholar
Formalisation and Verification of Java Card Security Properties in Dynamic Logic
Wojciech Mostowski
2005Fundamental Approaches to Software Engineering31 citations Open access
Semantic Scholar
Model-Based Testing of Electronic Passports
Wojciech Mostowski, E. Poll, J. Schmaltz, J. Tretmans +1 more
2009International Workshop on Formal Methods for Industrial Critical Systems30 citations Open access
Semantic Scholar
Verification of Concurrent Systems with VerCors
Afshin Amighi, S. Blom, Saeed Darabi, M. Huisman +2 more
2014International School on Formal Methods for the Design of Computer, Communication and Software Systems26 citations
Semantic Scholar
Verification of Safety Properties in the Presence of Transactions
Reiner Hähnle, Wojciech Mostowski
2004Construction and Analysis of Safe, Secure, and Interoperable Smart Devices26 citations
Semantic Scholar
Systematic Development of
Wojciech Mostowski
200620 citations
Semantic Scholar
Specifying JAVA CARD API in OCL
Daniel Larsson, Wojciech Mostowski
2004OCL 2.0 @ UML20 citations Open access
Semantic Scholar
Rigorous Development of Java Card Applications
Wojciech Mostowski
200216 citations
Semantic Scholar
VerifyThis - Verification Competition with a Human Factor
G. Ernst, M. Huisman, Wojciech Mostowski, Mattias Ulbrich
2019International Conference on Tools and Algorithms for Construction and Analysis of Systems15 citations Open access
Semantic Scholar
A Symbolic Approach to Permission Accounting for Concurrent Reasoning
M. Huisman, Wojciech Mostowski
2015International Symposium on Parallel and Distributed Computing15 citations Open access
Semantic Scholar
Regular Paper The KeY Tool ? Integrating Object Oriented Design and Formal Verification
Wolfgang Ahrendt, T. Baar, Bernhard Beckert, Richard Bubel +7 more
15 citations
Semantic Scholar
Formal Specifications for Java's Synchronisation Classes
Afshin Amighi, S. Blom, M. Huisman, Wojciech Mostowski +1 more
20132014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing14 citations
Semantic Scholar
Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016
Maytheewat Aramrattana, Jérôme Detournay, Cristofer Englund, Viktor Frimodig +6 more
2018IEEE transactions on intelligent transportation systems (Print)13 citations Open access
Semantic Scholar
Implementation-level verification of algorithms with KeY
Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich
2013International Journal on Software Tools for Technology Transfer (STTT)13 citations Open access
Semantic Scholar
Tearing Java Cards
E. Hubbers, Wojciech Mostowski, E. Poll
200612 citations
Semantic Scholar
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic
Wojciech Mostowski
2006World Congress on Formal Methods12 citations
Semantic Scholar
Full Memory Read Attack on a Java Card
Jip Hogenboom, Wojciech Mostowski
200911 citations
Semantic Scholar
Generation of Failure Models through Automata Learning
Sebastian Kunze, Wojciech Mostowski, M. Mousavi, M. Varshosaz
2016Wireless Algorithms, Systems, and Applications8 citations
Semantic Scholar
A Case Study in Formal Verification Using Multiple Explicit Heaps
Wojciech Mostowski
2013FMOODS/FORTE8 citations Open access
Semantic Scholar
Formal Development of Safe and Secure Java Card Applets
Wojciech Mostowski
20058 citations
Semantic Scholar
Chalmers Publication Library Copyright Notice Real-time Java Api Specifications for High Coverage Test Generation *
Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli
8 citations
Semantic Scholar
Dynamic dispatch for method contracts through abstract predicates
Wojciech Mostowski, Mattias Ulbrich
2015LNCS Trans. Modul. Compos.7 citations Open access
Semantic Scholar
Electronic passports in a nutshell
Wojciech Mostowski, E. Poll
20107 citations
Semantic Scholar
Midlet Navigation Graphs in JML
Wojciech Mostowski, E. Poll
2010Brazilian Symposium on Formal Methods7 citations Open access
Semantic Scholar
Full Memory Attack on a Java Card
Jip Hogenboom, Wojciech Mostowski
20097 citations
Semantic Scholar
Testing the Java Card Applet Firewall
Wojciech Mostowski, E. Poll
20077 citations
Semantic Scholar
Modelling of Autosar Libraries for Large Scale Testing
Wojciech Mostowski, T. Arts, John Hughes
2017MARS6 citations Open access
Semantic Scholar
Dynamic Frames Based Verification Method for Concurrent Java Programs
Wojciech Mostowski
2015Verified Software: Theories, Tools, Experiments6 citations Open access
Semantic Scholar
Modular Specification and Verification
Daniel Grahl, Richard Bubel, Wojciech Mostowski, P. H. Schmitt +2 more
2016Deductive Software Verification5 citations
Semantic Scholar
A comparison of Java Cards : state-of-affairs 2006
Wojciech Mostowski, Jia-Yun Pan, Srikanth Akkiraju, P. VinkdeE +2 more
20075 citations
Semantic Scholar
Model-based fault injection for testing gray-box systems
Wojciech Mostowski
2019J. Log. Algebraic Methods Program.3 citations Open access
Semantic Scholar
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving
Sina Entekhabi, Wojciech Mostowski, M. R. Mousavi
2023ACM Transactions on Software Engineering and Methodology2 citations Open access
Semantic Scholar
The CAR Approach: Creative Applied Research Experiences for Master’s Students in Autonomous Platooning
G. Sidorenko, Wojciech Mostowski, A. Vinel, Jeanette Sjöberg +1 more
2021IEEE International Symposium on Robot and Human Interactive Communication2 citations
Semantic Scholar
From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java
Wojciech Mostowski
202020 Years of KeY2 citations
Semantic Scholar
Verifying Java Card Programs
Wojciech Mostowski
2016Deductive Software Verification2 citations
Semantic Scholar
The KeY Syntax
Wojciech Mostowski
2007The KeY Approach2 citations
Semantic Scholar
From Sequential Java to Java Card
Wojciech Mostowski
2007The KeY Approach2 citations
Semantic Scholar
The Demoney Case Study
Wojciech Mostowski
2007The KeY Approach2 citations
Semantic Scholar
Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone
Jennifer David, Wojciech Mostowski, Maytheewat Aramrattna, Yuantao Fan +7 more
2 citations
Semantic Scholar
Locality-Based Test Selection for Autonomous Agents
Sina Entekhabi, Wojciech Mostowski, M. Mousavi, T. Arts
2021International Conference on Testing Software and Systems1 citations
Semantic Scholar
Towards Development of Safe and Secure Java Card Applets
Wojciech Mostowski
20021 citations
Semantic Scholar