Login / Signup
Maciej Wilkowski
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 2
Top Topics
Formal Verification
Java Applets
Model Checker
Multi Core Processors
Top Venues
PPPJ
SEFM
</>
Publications
</>
Anton Wijs
,
Maciej Wilkowski
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators.
SEFM
(2019)
Dragan Bosnacki
,
Mark van den Brand
,
Philippe Denissen
,
Cornelis Huizing
,
Bart Jacobs
,
Ruurd Kuiper
,
Anton Wijs
,
Maciej Wilkowski
,
Dan Zhang
Dependency Safety for Java: Implementing Failboxes.
PPPJ
(2016)