Skip to content

Publication

PH.D

Dissertation

Title: A multi-dimensional architecture description language for forward and reverse evolution of component-based software

Publications

Journal and Chapters

Huaxi (Yulin) Zhang, Yuyang Wang, Xiaochuan Luo, Baptiste Mereaux and Lei Zhang, Robust Localization Algorithm for Indoor Robots Based on the Branch-and-Bound Strategy. Journal of Engineering Research and Sciences, vol.3, pp. 22-42, 2024.

Lucien Ngale, Eddy Caron, Huaxi (Yulin) Zhang, Fog-Robotics Infrastructures Simulation-based Sizing Approach, Springer Nature Computer Science book series, Coming soon (2024).

Yejian Zhao, Xiaochuan Luo, Huaxi (Yulin) Zhang, The application of heterogeneous graph neural network and deep reinforcement learning in hybrid flow shop scheduling problem. Comput. Ind. Eng. 187: 109802 (2024).

Yang Yu, Xiaochuan Luo, Yuan Wang, Huaxi (Yulin) Zhang, Estimation of boundary condition of two-dimensional nonlinear PDE with application to continuous casting. Comput. Math. Appl. 80(12): 3082-3097 (2020).

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. A formal approach for managing component-based architecture evolution. Sci. Comput. Program. 127: 24-49 (2016), Elsevier 2016.

B. Hamid, H. Y. Zhang, J. Geisel & D. Gonzalez. First Experiment on Modeling Safety Lifecycle Process in Railway Systems. International Journal of Dependable and Trustworthy Information Systems (IJDTIS), vol. 2, no. 2, pages 17-39, 2011.

Conference

Lucien Ngale, Eddy Caron, Huaxi (Yulin) Zhang, Mélanie Fontaine. Simulation-Based Estimation of Resource Needs in Fog Robotics Infrastructures. In: 13th International Conference on Cloud Computing and Services Science, Apr 2023, Prague, Czech Republic. pp.100-111.

Zhao, Juntao, Xiaochuan Luo, Huaxi (Yulin) Zhang, Xin Wang, and Weichao Wang. Vision Based Target Following UGV System Using YOLOv5 and ROS Platform. In: Proceedings of 2022 International Conference on Autonomous Unmanned Systems (ICAUS 2022), pp. 281-291. Singapore: Springer Nature Singapore, 2023.

Huaxi (Yulin) Zhang and Lei Zhang. Cloud Robotics Architecture: Trends and Challenges. In: 2019 IEEE International Conference on Service-Oriented System Engineering (SOSE), San Francisco East Bay, CA, USA, 2019, pp. 362-3625.

Guoxian Zheng, Lei Zhang, Huaxi (Yulin) Zhang and Bo Ding. Design of an Indoor Exploration and Multi-Objective Navigation System. In: 2018 37th Chinese Control Conference, Wuhan, China.

J. Luo, L. Zhang, H. Y. Zhang. Design of a cloud robotics middleware based on web service technology. In: 2017 18th International Conference on Advanced Robotics (ICAR), Hong Kong, China, 2017, pp. 487-492.

C. Huang, L. Zhang, T. Liu, and H.Y. Zhang. A Control Middleware for Cloud Robotics. In: 13th IEEE International Conference on Information and Automation (IEEE ICIA 2016), Ningbo, China, 2016.

Huaxi (Yulin) Zhang, Lei Zhang, Zheng Fang, Harold Trannois, Marianne Huchard, and Rene Zapata. CRALA: Towards a domain specific language of architecture-centric cloud robotics. In: Proc. of the 2015 IEEE Int. Conf. on Information and Automation (ICIA2015), Lijiang, China, August 2015.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. An evolution management model for multi-level component-based software architectures. In: Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering. Pittsburgh, USA, July 2015. AR 30%.

L. Zhang, H.Y. Zhang, Quan Xu, Z. Fang and R. Zapataz. Dedal2: An ADL supporting domain specific software development. In: Intelligent Control and Automation (WCICA), 2014 11th World Congress on, Shenyang, 2014, pp. 5432-5437.

H.Y. Zhang, L. Zhang, Q. Xu, C. Urtado, S. Vauttier and M. Huchard. A formalized architecture-centric evolution process for component-based software system. In: Intelligent Control and Automation (WCICA), 2014 11th World Congress on, Shenyang, 2014, pp. 3461-3466.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H.Y. ZHANG. Fostering component reuse: automating the coherence verification of multi-level architecture descriptions. In: Proceedings of the 9th International Conference on Software Engineering Advances. Nice, France, October 2014. AR 30%.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H.Y. ZHANG. Formal rules for reliable component-based architecture evolution. In: Proceedings of the 11th international symposium on Formal Aspects of Component Software. Bertinoro, Italy, September 2014. AR 45%.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H.Y. ZHANG. A three-level formal model for software architecture evolution. In: Proceedings of the 7th Seminar on Advanced Techniques & Tools for Software Evolution. L'Aquila, Italy, July 2014.

A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H.Y. ZHANG. Modélisation et vérification formelles en B des architectures logicielles à trois niveaux. In: Actes de la troisième Conférence en IngénieriE du Logiciel, Catherine Dubois, Nicole Levy, Marie-Agnès Peraldi-Frati et Christelle Urtado éditeurs, pages 71-77. Paris, France, Juin 2014.

H.Y. Zhang, C. Urtado, S. Vauttier, L. Zhang, M. Huchard, and B. Coulette. Dedal-CDL: Modeling First-class Architectural Changes in Dedal. In: Proceedings of the Joint 10th Working IEEE/IFIP Conference on Software Architecture & 6th European Conference on Software Architecture. Helsinki, Finland, August 2012. AR 35,7%.

H.Y. ZHANG, L. ZHANG, C. URTADO, S. VAUTTIER and M. HUCHARD. A three-level component model in component-based software development. In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, ACM. Dresden, Germany, September 2012. AR 42,9%.

L. Zhang, H.Y. Zhang, Z. Fang, R. Zapata and M. Huchard. A Domain Specific Architecture Description Language for Autonomous Mobile Robots. In: Information and Automation (ICIA), 2012 International Conference on, pages 283-288. IEEE, 2012.

H.Y. Zhang, B. Hamid and D. Gouteux. A metamodel for representing safety lifecycle development process. In: Proceedings of the 6th International Conference on Software Engineering Advances (ICSEA'11), Barcelona, Spain, October 2011. AR 30%.

H.Y. ZHANG, C. URTADO and S. VAUTTIER. Architecture-centric component-based development needs a three-level ADL. In: Proceedings of the 4th European Conference on Software Architecture (ECSA'10), M. A. Babar and I. Gorton editors, pages 295-310. LNCS 6285, Springer. Copenhagen, Denmark, August 2010. AR 25,3%.

H.Y. ZHANG, C. URTADO and S. VAUTTIER. Architecture-centric development and evolution processes for component-based software. In: Proceedings of 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE'10), San Francisco Bay, USA, July 2010.

H.Y. ZHANG, C. URTADO and S. VAUTTIER. Dedal: un ADL à trois dimensions pour gérer l'évolution des architectures à base de composants. In: Proceedings of Conférence Francophone sur les Architectures Logicielles (CAL2010).

H.Y. ZHANG, C. URTADO and S. VAUTTIER. Connector-driven process for the gradual evolution of component-based software. In: Proceedings of the 20th Australian Software Engineering Conference (ASWEC'09). IEEE. Gold Coast, Australia, April 2009.

H.Y. ZHANG, C. URTADO and S. VAUTTIER. Connector-driven gradual and dynamic software assembly evolution. In: Proceedings of the International Conference on Innovation in Software Engineering (ISE'08), M.Mohammadian editor, pages 345-350, IEEE. Vienna, Austria, December 2008.

Workshop

Huaxi (Yulin) Zhang, Melanie Fontaine, Marianne Huchard, Baptiste Mereaux, and Olivier Remy-Neris, Distribution of Responsibility During the Usage of AI-Based Exoskeletons for Upper Limb Rehabilitation. In Workshop Robot Trust for Symbiotic Societies (RTSS) at IROS 2022, Kyoto, Japan, 23-27 October 2022.

Lei Zhang, Huaxi (Yulin) Zhang, Zheng Fang, Xianbo Xiang, Marianne Huchard, and Rene Zapata. Towards an architecture-centric approach to manage variability of cloud robotics. In: 6th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLROB2015), Hamburg, German, September 2015.

Arnaud Lefray, Eddy Caron, Jonathan Rouzaud-Cornabas, Huaxi (Yulin) Zhang, Aline Bousquet, et al.. Security-Aware Models for Clouds. In: 22th IEEE International Symposium on High Performance Distributed Computing, Jun 2013, New York, United States.

S. Trujillo, I. Alonso, B. Hamid, D. Gonzalez, M. Blanco and H. Y. Zhang. Towards variability support for security and dependability patterns: a case study. In: SPLC Workshops, page 27, 2011.

Deliverables

Common Engineering Process Metamodel. TERESA-Project, Feb. 2011. Deliverable D3.2. Page 1-89.

Domain Specific Engineering Process Models. TERESA-Project, Jan. 2012. Deliverable D3.4a. Page 1-68.

Technique report

H. Y. Zhang, C. Urtado, S. Vauttier., L. Zhang and M. Huchard. Architecture-Centric Software Evolution Based on Dedal. IRIT/RR-2011-22-FR. Feb. 2011. Page 1-11.

Presentations

July 2019 : Retour d'expérience sur RoboMaker (AWS) et Docker en ROS, SHARC2019: Software and Hardware Architectures for Robot Control, Montpellier.

Mars 2014 : Sécurité avancée dans le Cloud via OpenStack. Meetup of OpenStack Rhône-Alpes, Lyon.

Janvier 2010 : Un langage de description d'architectures multi-dimensionnel pour l'évolution directe et la rétro-évolution de logiciels à base de composants. Journée évolution et Ingénierie des Modèles (RIMEL du GDR GPL), Montpellier.

April 2009 : Connector-driven process for the gradual evolution of component-based software. In Proceedings of the 20th Australian Software Engineering Conference (ASWEC2009).Gold Coast, Australia.

December 2008 : Connector-driven gradual and dynamic software assembly evolution. In Proceedings of the International Conference on Innovation in Software Engineering (ISE08). Vienna, Austria.

September 2007 : Intelligent Connectors. International Summer School of Software Engineering. University of Salerno, Italy.