A Systematic Approach to Domain-Specific Language Design Using UML ISORC'07, Proceedings of the 10 th IEEE International Symposium on Object and Component- Oriented Real-Time Distributed Computing, pp.2-9, 2007. ,
Semantics and Verification of Data Flow in UML 2.0 Activities, Electronic Notes in Theoretical Computer Science, vol.127, issue.4, pp.35-52, 2005. ,
DOI : 10.1016/j.entcs.2004.08.046
From UML Activity Diagrams To Stochastic Petri Nets, Proc. Int. Workshop on Software and Performance, pp.25-36, 2004. ,
From UML to Petri Nets for non functional Property Verification, 2006 International Symposium on Industrial Embedded Systems, pp.0-7803, 2006. ,
DOI : 10.1109/IES.2006.357475
URL : https://hal.archives-ouvertes.fr/inria-00371277
ModHel???X: A Component-Oriented Approach to Multi-Formalism Modeling, Proc. of the 4 th Workshop on Multi-Paradigm Modeling (MPM'07) at MoDELS, pp.49-60, 2007. ,
DOI : 10.1007/978-3-540-69073-3_26
URL : https://hal.archives-ouvertes.fr/hal-00554780
Is time a real time? An overview of time ontology in informatics. Real-Time Computing, pp.283-307, 1994. ,
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998. ,
DOI : 10.1109/43.736561
Modeling Time(s), Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML), pp.559-573, 2007. ,
DOI : 10.1007/978-3-540-75209-7_38
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. Formal Methods for Performance Evaluation, 7th Int. School on Formal Methods (SFM'07) for the Design of Computer, Communication, andd Software Systems, LNCS, vol.4486, 2007. ,