Wojciech Mostowski

Cited by

	All	Since 2017
Citations	1332	332
h-index	18	10
i10-index	29	12

140

105

2002200320042005200620072008200920102011201220132014201520162017201820192020202120228 13 32 73 88 74 42 37 53 60 97 80 92 128 87 80 70 68 50 62 2

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
Marieke HuismanVerified email at ewi.utwente.nl
Andreas RothSAP SEVerified email at sap.com
dr. ir. Pim VullersNXP SemiconductorsVerified email at vullersmail.nl
Vladimir KlebanovSAP SE (previously at Karlsruhe Institute of Technology)Verified email at sap.com
Rosemary MonahanNational Univeristy of IrelandVerified email at mu.ie
Lejla Batina,Professor, applied cryptography and embedded systems security, Radboud University, The NetherlandsVerified email at cs.ru.nl
Radu GrigoreFacebookVerified email at fb.com
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Marc BrockschmidtResearcher, Microsoft ResearchVerified email at microsoft.com
Jean-Christophe FilliâtreCNRSVerified email at lri.fr
Stefan BlomUniversity of TwenteVerified email at utwente.nl
Jaap-Henk HoepmanAssociate Professor of Computer Science, Radboud University Nijmegen and Associate Professor, IT LawVerified email at cs.ru.nl
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Julien SchmaltzICT GroupVerified email at ict.nl
Ronny Wichers SchreurProgrammer, Radboud University NijmegenVerified email at cs.ru.nl

Wojciech Mostowski

Halmstad University

Verified email at hh.se - Homepage

formal verification smart cards embedded systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The key tool W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ... Software and Systems Modeling 4 (1), 32-54, 2005	377	2005
Malicious code on Java Card smartcards: Attacks and countermeasures W Mostowski, E Poll International Conference on Smart Card Research and Advanced Applications, 1-16, 2008	106	2008
The KeY platform for verification and analysis of Java programs W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ... Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014	77	2014
Efficient U-Prove implementation for anonymous credentials on smart cards W Mostowski, P Vullers International Conference on Security and Privacy in Communication Systems …, 2011	68	2011
Fingerprinting passports H Richter, W Mostowski, E Poll NLUUG spring conference on security 1 (1), 2008	46	2008
A Program Logic for Handling Java Card’s Transaction Mechanism B Beckert, W Mostowski International Conference on Fundamental Approaches to Software Engineering …, 2003	45	2003
Developing efficient blinded attribute certificates on smart cards via pairings L Batina, JH Hoepman, B Jacobs, W Mostowski, P Vullers International Conference on Smart Card Research and Advanced Applications …, 2010	44	2010
Fully Verified Java Card API Reference Implementation. W Mostowski Verify 7, 2007	41	2007
The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... International Conference on Formal Verification of Object-Oriented Software …, 2011	40	2011
The K£ X System: Integrating Object-Oriented Design and Formal Methods W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hahnle, ... Fundamental Approaches to Software Engineering: 5th International Conference …, 2002	39	2002
Model learning and model-based testing BK Aichernig, W Mostowski, MR Mousavi, M Tappler, M Taromirad Machine Learning for Dynamic Software Analysis: Potentials and Limits, 74-100, 2018	36	2018
Model-based testing of electronic passports WI Mostowski, E Poll, J Schmaltz, J Tretmans, RJM Wichers Schreur Berlin: Springer Verlag, 2009	35	2009
Formalisation and verification of Java Card security properties in dynamic logic W Mostowski International Conference on Fundamental Approaches to Software Engineering …, 2005	35	2005
Full memory attack on a Java Card J Hogenboom, W Mostowski Louvain-la-Neuve, Belgium: Universite Catholique de Louvain, 2009	30	2009
Verification of safety properties in the presence of transactions R Hähnle, W Mostowski Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005	28	2005
Verification of concurrent systems with VerCors A Amighi, S Blom, S Darabi, M Huisman, W Mostowski, ... International School on Formal Methods for the Design of Computer …, 2014	25	2014
Specifying Java Card API in OCL D Larsson, W Mostowski Electronic Notes in Theoretical Computer Science 102, 3-19, 2004	22	2004
Rigorous development of JAVA CARD applications W Mostowski Towards Development of Safe and Secure JAVA CARD Applets, 13, 2002	18	2002
A symbolic approach to permission accounting for concurrent reasoning M Huisman, W Mostowski 2015 14th International Symposium on Parallel and Distributed Computing, 165-174, 2015	17	2015
Real-time Java API specifications for high coverage test generation W Ahrendt, W Mostowski, G Paganelli Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012	17	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors