Concepedia

Wojciech Mostowski

WM

Statistics

Publications

10

Citations

401

H-Index

10

Active since

2002

Affiliations

University of Twente(Current)

Chalmers University of Technology

Radboud University Nijmegen

Wojciech Mostowski is an author at University of Twente specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSystem SoftwareSoftware AnalysisFormal VerificationProgram AnalysisSystems EngineeringComputer Engineering

Publications per year

2002–2018

10

Publications

10

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert et al. · Software & Systems Modeling · 2004 · 261 citations · Full text

Engineering, Input Device, Automation +8

Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards

Wojciech Mostowski, Pim Vullers · 2012 · 27 citations

Fully Verified Java Card API Reference Implementation

Wojciech Mostowski · 2007 · 25 citations · Full text

Specifying Java Card API in OCL

Daniel Larsson, Wojciech Mostowski · Electronic Notes in Theoretical Computer Science · 2004 · 15 citations · Full text

Engineering, Object-oriented Modeling, Verification +17

Implementation-level verification of algorithms with KeY

Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich · International Journal on Software Tools for Technology Transfer · 2013 · 14 citations · Full text

Engineering, Automated Reasoning, Mechanical Verification +9

Rows per page

1–5 of 10