​
Login / Signup
Dan Zhang
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 5
Top Topics
Sequence Diagrams
Model Driven
Development Environment
State Machines
Top Venues
FACS
PPPJ
Sci. Comput. Program.
AMT@MoDELS
</>
Publications
</>
Dan Zhang
,
Dragan Bosnacki
,
Mark van den Brand
,
Cornelis Huizing
,
Bart Jacobs
,
Ruurd Kuiper
,
Anton Wijs
Dependency safety for Java - Implementing and testing failboxes.
Sci. Comput. Program.
184 (2019)
Sander de Putter
,
Anton Wijs
,
Dan Zhang
The SLCO Framework for Verified, Model-Driven Construction of Component Software.
FACS
(2018)
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)
Dan Zhang
,
Dragan Bosnacki
,
Mark van den Brand
,
Cornelis Huizing
,
Bart Jacobs
,
Ruurd Kuiper
,
Anton Wijs
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.
MODELSWARD (Revised Selected Papers)
(2016)
Dan Zhang
,
Dragan Bosnacki
,
Mark van den Brand
,
Cornelis Huizing
,
Ruurd Kuiper
,
Bart Jacobs
,
Anton Wijs
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.
MODELSWARD
(2016)
Dragan Bosnacki
,
Mark van den Brand
,
Joost Gabriels
,
Bart Jacobs
,
Ruurd Kuiper
,
Sybren Roede
,
Anton Wijs
,
Dan Zhang
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.
FACS
(2015)
Dan Zhang
,
Dragan Bosnacki
,
Mark van den Brand
,
Luc Engelen
,
Cornelis Huizing
,
Ruurd Kuiper
,
Anton Wijs
Towards Verified Java Code Generation from Concurrent State Machines.
AMT@MoDELS
(2014)