Dan Zhang

According to our database, Dan Zhang authored at least 7 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Dependency safety for Java - Implementing and testing failboxes.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs

Sci. Comput. Program., 2019

2018

The SLCO Framework for Verified, Model-Driven Construction of Component Software.

Sander de Putter, Anton Wijs, Dan Zhang

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2016

Dependency Safety for Java: Implementing Failboxes.

Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs

Proceedings of the MODELSWARD 2016, 2016

Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs

Proceedings of the Model-Driven Engineering and Software Development, 2016

2015

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.

Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Towards Verified Java Code Generation from Concurrent State Machines.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014