A formal approach for managing component-based architecture evolution A Mokni, C Urtado, S Vauttier, M Huchard, HY Zhang Science of Computer Programming 127, 24-49, 2016 | 24 | 2016 |
Architecture-centric component-based development needs a three-level ADL H Zhang, C Urtado, S Vauttier European Conference on Software Architecture, 295-310, 2010 | 24 | 2010 |
Dynamic optimization method of secondary cooling water quantity in continuous casting based on three-dimensional transient nonlinear convective heat transfer equation Y Yu, X Luo, HY Zhang, Q Zhang Applied Thermal Engineering 160, 113988, 2019 | 20 | 2019 |
Cloud robotics architecture: trends and challenges H Zhang, L Zhang 2019 IEEE International Conference on Service-Oriented System Engineering …, 2019 | 20 | 2019 |
A three-level component model in component based software development H Zhang, L Zhang, C Urtado, S Vauttier, M Huchard Proceedings of the 11th International Conference on Generative Programming …, 2012 | 17 | 2012 |
Architecture-centric development and evolution processes for component-based software HY Zhang, C Urtado, S Vauttier SEKE 2010-22nd International Conference on Software Engineering and …, 2010 | 11 | 2010 |
Design of a cloud robotics middleware based on web service technology J Luo, L Zhang, H Zhang 2017 18th International Conference on Advanced Robotics (ICAR), 487-492, 2017 | 9 | 2017 |
Formal rules for reliable component-based architecture evolution A Mokni, M Huchard, C Urtado, S Vauttier, H Zhang Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015 | 9 | 2015 |
Connector-driven process for the gradual evolution of component-based software H Zhang, C Urtado, S Vauttier 2009 Australian Software Engineering Conference, 246-255, 2009 | 9 | 2009 |
An evolution management model for multi-level component-based software architectures A Mokni, M Huchard, C Urtado, S Vauttier, Y Zhang SEKE: Software Engineering and Knowledge Engineering, 674-679, 2015 | 8 | 2015 |
Towards automating the coherence verification of multi-level architecture descriptions A Mokni, M Huchard, C Urtado, S Vauttier, HY Zhang Proc. of the 9th ICSEA, Nice, France, 416-421, 2014 | 8 | 2014 |
Security-aware models for clouds A Lefray, E Caron, J Rouzaud-Cornabas, ZH Yulin, A Bousquet, J Briffaut, ... 22th IEEE International Symposium on High Performance Distributed Computing, 2013 | 8 | 2013 |
A control middleware for cloud robotics C Huang, L Zhang, T Liu, H Zhang 2016 IEEE International Conference on Information and Automation (ICIA …, 2016 | 7 | 2016 |
A domain specific architecture description language for autonomous mobile robots L Zhang, H Zhang, Z Fang, R Zapata, M Huchard 2012 IEEE International Conference on Information and Automation, 283-288, 2012 | 7 | 2012 |
A metamodel for representing safety lifecycle development process Y Zhang, B Hamid, D Gouteux 6th International Conference on Software Engineering Advances (ICSEA 2011 …, 2011 | 7 | 2011 |
CRALA: Towards a domain specific language of architecture-centric Cloud robotics H Zhang, L Zhang, Z Fang, H Trannois, M Huchard, R Zapata 2015 IEEE International Conference on Information and Automation, 456-461, 2015 | 6 | 2015 |
Estimation of boundary condition of two-dimensional nonlinear PDE with application to continuous casting Y Yu, X Luo, Y Wang, HY Zhang Computers & Mathematics with Applications 80 (12), 3082-3097, 2020 | 5 | 2020 |
Multi-dimensional architecture description language for forward and reverse evolution of component-based software HY Zhang Montpellier 2, 2010 | 5 | 2010 |
The solution of backward heat conduction problem with piecewise linear heat transfer coefficient Y Yu, X Luo, H Zhang, Q Zhang Mathematics 7 (5), 388, 2019 | 4 | 2019 |
Distributed computing in cyber-physical intelligence: Robotic perception as an example B Ding, J Xu, H Wang, H Zhang, H Liu, D Feng 2019 IEEE International Conference on Service-Oriented System Engineering …, 2019 | 3 | 2019 |