Dan Zhang

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 5

Top Topics

Sequence Diagrams

Development Environment

Top Venues

Sci. Comput. Program.

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)