Wojciech Mostowski
Wojciech Mostowski
Dirección de correo verificada de hh.se - Página principal
Título
Citado por
Citado por
Año
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
3772005
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
1062008
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
772014
Efficient U-Prove implementation for anonymous credentials on smart cards
W Mostowski, P Vullers
International Conference on Security and Privacy in Communication Systems …, 2011
682011
Fingerprinting passports
H Richter, W Mostowski, E Poll
NLUUG spring conference on security 1 (1), 2008
462008
A Program Logic for Handling Java Card’s Transaction Mechanism
B Beckert, W Mostowski
International Conference on Fundamental Approaches to Software Engineering …, 2003
452003
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
442010
Fully Verified Java Card API Reference Implementation.
W Mostowski
Verify 7, 2007
412007
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
402011
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
392002
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
362018
Model-based testing of electronic passports
WI Mostowski, E Poll, J Schmaltz, J Tretmans, RJM Wichers Schreur
Berlin: Springer Verlag, 2009
352009
Formalisation and verification of Java Card security properties in dynamic logic
W Mostowski
International Conference on Fundamental Approaches to Software Engineering …, 2005
352005
Full memory attack on a Java Card
J Hogenboom, W Mostowski
Louvain-la-Neuve, Belgium: Universite Catholique de Louvain, 2009
302009
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
282005
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
252014
Specifying Java Card API in OCL
D Larsson, W Mostowski
Electronic Notes in Theoretical Computer Science 102, 3-19, 2004
222004
Rigorous development of JAVA CARD applications
W Mostowski
Towards Development of Safe and Secure JAVA CARD Applets, 13, 2002
182002
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
172015
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
172012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20