Applying HiGraph-Based Model to System Engineering-Methodology, Formalism and Metrics, PhD in Computer Science, 2015. ,
A Framework for Requirements Traceability in UML-based Projects, Proc. of 1st International Workshop on Traceability in Engineering Forms of Software Engineering ,
From UML sequence diagrams and statecharts to analysable Petri net models, WOSP 02 : Proceedings of the 3rd international workshop on Software and performance, p.3545, 2002. ,
Petri charts : an alternative technique for hierarchical net construction, Proceedings of IEEE Conference on System, Man, and Cybernetics, 1995. ,
Mapping UML diagrams to a Petri net notation for system simulation, SEKE, p.213219, 2004. ,
Consistency checking of UML dynamic models based on Petri net techniques, CIC, p.289297, 2006. ,
, On visual formalisms in Communications of the ACM, vol.31, p.514530, 1988.
Statecharts: A visual formalism for complex systems in, Science of Computer Programming, vol.8, issue.5, p.231274, 1987. ,
On the Algorithmics of HiGraphs, 1997. ,
Handling Complexity of a Model in System Design: Framework, Formalism and Metrics, Procedia Manufacturing, vol.3, pp.1981-1988, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01271935
Introduction a la Methodologie SAFECOMP et Rapport d'´ etape, Version 1 ,
What is predictability for real-time systems in Real-Time Systems, vol.2, p.247254, 1990. ,
Using Statecharts for Hardware Description and Synthesis, IEEE Trans. Computer Aided Design of Integrated Circuits and Systems, vol.8, pp.798-807, 1989. ,
, System Modeling and Traceability Applications of the HiGraph Formalism.MS thesis, 2006.
Efficient visual navigation of hierarchically structured graphs, 2006. ,
Autonomous Systems Laboratory. UPM-ETS Ingenieros Industriales, D-HiGraphs Functional Modeling, vol.2, 2010. ,
Transformation: The Missing Link of MDA, Proc. 1st International Conference. Graph Transformation, vol.2505, pp.90-105, 2002. ,
An Introduction to Multi-Paradigm Modelling and Simulation, Tutorial, Proceedings AI Simulation and Planning AIS-2002, 2002. ,
Model Transformation by Graph Transformation : A Comparative Study, Model Transformations in Practice Workshop at MoDELS, Montego, 2005. ,
ATL: a QVT like transformation language, Companion to the 21th Annual ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications, 2006. ,