Wojciech Mostowski

Cited by

	All	Since 2020
Citations	1530	285
h-index	20	8
i10-index	32	8

140

105

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 15 35 72 91 76 42 38 50 63 95 83 98 126 102 80 68 72 55 64 54 56 50 6

Public access

View all

12 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 GrigoreMetaVerified email at fb.com
Dino DistefanoAnthropic and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Marc BrockschmidtResearch Scientist, Google DeepMindVerified email at google.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 NijmegenVerified 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 SchmaltzCGIVerified email at cgi.com
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	412	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	108	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, ... Verified Software: Theories, Tools and Experiments: 6th International …, 2014	96	2014
Efficient U-Prove implementation for anonymous credentials on smart cards W Mostowski, P Vullers Security and Privacy in Communication Networks: 7th International ICST …, 2012	76	2012
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 …, 2018	60	2018
Developing efficient blinded attribute certificates on smart cards via pairings L Batina, JH Hoepman, B Jacobs, W Mostowski, P Vullers Smart Card Research and Advanced Application: 9th IFIP WG 8.8/11.2 …, 2010	51	2010
Fingerprinting passports H Richter, W Mostowski, E Poll NLUUG spring conference on security 1 (1), 2008	47	2008
The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software: International Conference …, 2012	46	2012
A Program Logic for Handling Java Card’s Transaction Mechanism B Beckert, W Mostowski International Conference on Fundamental Approaches to Software Engineering …, 2003	46	2003
Fully verified Java Card API reference implementation W Mostowski [Sl]: CEUR, 2007	44	2007
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	42	2002
Formalisation and Verification of Java Card Security Properties in Dynamic Logic W Mostowski International Conference on Fundamental Approaches to Software Engineering …, 2005	37	2005
Model-based testing of electronic passports WI Mostowski, E Poll, J Schmaltz, J Tretmans, RJM Wichers Schreur Berlin: Springer Verlag, 2009	36	2009
Full memory attack on a Java Card J Hogenboom, W Mostowski Louvain-la-Neuve, Belgium: Universite Catholique de Louvain, 2009	30	2009
Verification of concurrent systems with VerCors A Amighi, S Blom, S Darabi, M Huisman, W Mostowski, ... Formal Methods for Executable Software Models: 14th International School on …, 2014	29	2014
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	27	2005
VerifyThis–verification competition with a human factor G Ernst, M Huisman, W Mostowski, M Ulbrich Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019	25	2019
Specifying Java Card API in OCL D Larsson, W Mostowski Electronic Notes in Theoretical Computer Science 102, 3-19, 2004	23	2004
Team halmstad approach to cooperative driving in the grand cooperative driving challenge 2016 M Aramrattana, J Detournay, C Englund, V Frimodig, OU Jansson, ... IEEE Transactions on Intelligent Transportation Systems 19 (4), 1248-1261, 2018	22	2018
Implementation-level verification of algorithms with KeY D Bruns, W Mostowski, M Ulbrich International journal on software tools for technology transfer 17, 729-744, 2015	20	2015

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

Cited by

Co-authors