Dan Zhang
Dan Zhang
Software Engineering & Technology group (SET), at the Eindhoven University of Technology
Verified email at tue.nl
Title
Cited by
Cited by
Year
Towards Verified Java Code Generation from Concurrent State Machines.
D Zhang, D Bosnacki, M van den Brand, L Engelen, C Huizing, R Kuiper, ...
AMT@ MoDELS, 64-69, 2014
82014
Towards modular verification of threaded concurrent executable code generated from DSL models
D Bošnački, M van den Brand, J Gabriels, B Jacobs, R Kuiper, S Roede, ...
Formal Aspects of Component Software, 141-160, 2015
62015
The SLCO Framework for Verified, Model-Driven Construction of Component Software
S de Putter, A Wijs, D Zhang
International Conference on Formal Aspects of Component Software, 288-296, 2018
42018
From concurrent state machines to reliable multi-threaded Java code
D Zhang
IPA Dissertation Series, 2018
32018
Verification of atomicity preservation in model-to-code transformations using generic java code
D Zhang, D Bosnacki, M van den Brand, C Huizing, R Kuiper, B Jacobs, ...
2016 4th International Conference on Model-Driven Engineering and Software …, 2016
32016
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
D Zhang, D Bošnački, M van den Brand, C Huizing, B Jacobs, R Kuiper, ...
International Conference on Model-Driven Engineering and Software …, 2016
32016
Dependency safety for Java: implementing failboxes
D Bošnački, M van den Brand, P Denissen, C Huizing, B Jacobs, R Kuiper, ...
Proceedings of the 13th International Conference on Principles and Practices …, 2016
22016
Dependency safety for Java–Implementing and testing failboxes
D Zhang, D Bošnački, M van den Brand, C Huizing, B Jacobs, R Kuiper, ...
Science of Computer Programming 184, 102316, 2019
12019
Automatic corneal nerve fiber segmentation and geometric biomarker quantification
D Zhang, F Huang, M Khansari, TTJM Berendschot, X Xu, B Dashtbozorg, ...
The European Physical Journal Plus 135 (2), 1-16, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–9