Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Wojciech Mostowski
Observed names:
Dr. Wojciech Mostowski,
Mostowski, Wojciech,
Wojciech I. Mostowski
Observed institutions:
Radboud University Nijmegen,
National University of Ireland, Maynooth,
University of Gdańsk,
United Nations University,
Chalmers University of Technology,
Halmstad University,
University of Twente
show all 7
ORCID:
0000-0002-7054-9985
Observed ORCID:
0000-0002-7054-9985
OpenAlex ID:
A5020732166
The KeY tool
2004
·
Wolfgang Ahrendt
, Thomas Baar
, et al.
·
Software & Systems Modeling
·
273
PDF
The KeY Platform for Verification and Analysis of Java Programs
2014
·
Wolfgang Ahrendt
, Bernhard Beckert
, et al.
·
Lecture notes in computer science
·
69
Model Learning and Model-Based Testing
2018
·
Bernhard K. Aichernig
, Wojciech Mostowski
, et al.
·
Lecture notes in computer science
·
65
Malicious Code on Java Card Smartcards: Attacks and Countermeasures
2008
·
Wojciech Mostowski
, Erik Poll
·
Lecture notes in computer science
·
59
PDF
Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards
2012
·
Wojciech Mostowski
, Pim Vullers
·
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
·
55
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings
2010
·
Lejla Batina
, Jaap-Henk Hoepman
, et al.
·
Lecture notes in computer science
·
42
PDF
The COST IC0701 Verification Competition 2011
2012
·
Thorsten Bormer
, Marc Brockschmidt
, et al.
·
Lecture notes in computer science
·
33
A Program Logic for Handling Java Card’s Transaction Mechanism
2003
·
Bernhard Beckert
, Wojciech Mostowski
·
Lecture notes in computer science
·
33
PDF
VerifyThis 2017 : A Program Verification Competition
2017
·
Huisman, Marieke
, Monahan, Rosemary
, et al.
·
Repository KITopen (Karlsruhe Institute of Technology)
·
32
The Key System: Integrating Object-Oriented Design and Formal Methods
2002
·
Wolfgang Ahrendt
, Thomas Baar
, et al.
·
Lecture notes in computer science
·
29
PDF
Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards
2012
·
Wojciech Mostowski
, Pim Vullers
·
27
Formalisation and Verification of Java Card Security Properties in Dynamic Logic
2005
·
Wojciech Mostowski
·
Lecture notes in computer science
·
27
PDF
Model-Based Testing of Electronic Passports
2009
·
Wojciech Mostowski
, Erik Poll
, et al.
·
Lecture notes in computer science
·
24
Fully Verified Java Card API Reference Implementation
2007
·
Wojciech Mostowski
·
24
Verification of Concurrent Systems with VerCors
2014
·
Afshin Amighi
, Stefan Blom
, et al.
·
Lecture notes in computer science
·
21
Verification of Safety Properties in the Presence of Transactions
2005
·
Reiner Hähnle
, Wojciech Mostowski
·
Lecture notes in computer science
·
20
VerifyThis – Verification Competition with a Human Factor
2019
·
Gidon Ernst
, Marieke Huisman
, et al.
·
Lecture notes in computer science
·
19
PDF
Implementation-level verification of algorithms with KeY
2013
·
Daniel Bruns
, Wojciech Mostowski
, et al.
·
International Journal on Software Tools for Technology Transfer
·
16
Specifying Java Card API in OCL
2004
·
Daniel Larsson
, Wojciech Mostowski
·
Electronic Notes in Theoretical Computer Science
·
16
Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016
2018
·
Maytheewat Aramrattana
, Jerome Detournay
, et al.
·
IEEE Transactions on Intelligent Transportation Systems
·
14
A Symbolic Approach to Permission Accounting for Concurrent Reasoning
2015
·
Marieke Huisman
, Wojciech Mostowski
·
International Symposium on Parallel and Distributed Computing
·
13
PDF
Real-time Java API specifications for high coverage test generation
2012
·
Wolfgang Ahrendt
, Wojciech Mostowski
, et al.
·
International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES)
·
13
PDF
Rigorous Development of Java Card Applications
2002
·
Wojciech Mostowski
·
12
Formal Specifications for Java's Synchronisation Classes
2014
·
Afshin Amighi
, Stefan Blom
, et al.
·
Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)
·
11
A Case Study in Formal Verification Using Multiple Explicit Heaps
2013
·
Wojciech Mostowski
·
Lecture notes in computer science
·
8
Show more works
View as search
Works count:
87
Citation count:
1,048
H-index:
17
I10-index:
24
Year
Topic
Type
