Hung Ledang

According to our database, Hung Ledang authored at least 8 papers between 2001 and 2010.

Collaborative distances:

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

2010

Proving Model Transformations.

Hung Ledang, Hubert Dubois

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2008

Towards a traceability model in a MARTE-based methodology for real-time embedded systems.

Hung Ledang, Hubert Dubois, Sébastien Gérard

Innov. Syst. Softw. Eng., 2008

2007

Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.

Hung Ledang, Dang Van Hung

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2002

Contributions for Modelling UML State-Charts in B.

Hung Ledang, Jeanine Souquières

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.

Hung Ledang, Jeanine Souquières

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Modeling Class Operations in B: Application to UML Behavioral Diagrams.

Hung Ledang, Jeanine Souquières

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Automatic Translation from UML Specifications to B.

Hung Ledang

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Integrating UML and B Specification Techniques.

Hung Ledang, Jeanine Souquières

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001