Jérôme Delatour

According to our database1, Jérôme Delatour authored at least 21 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
AnimUML: A practical tool for partial model animation and analysis.
Sci. Comput. Program., January, 2024

2021
AnimUML as a UML Modeling and Verification Teaching Tool.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020
Designing, animating, and verifying partial UML Models.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Modular deployment of UML models for V&V activities and embedded execution.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2016
Enabling OCL and fUML Integration by Transformation.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2014
fUML as an Assembly Language for Model Transformation.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems.
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

fUML as an assembly language for MDA.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

2012
Formal Behavioral Modeling of Real-time Operating Systems.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2010
Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué.
Tech. Sci. Informatiques, 2010

2008
Towards a Framework for Explicit Platform-Based Transformations.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM.
Obj. Logiciel Base données Réseaux, 2007

Software Real-time Resource Modeling.
Proceedings of the Forum on specification and Design Languages, 2007

2004
UML et réseaux de Petri.
Tech. Sci. Informatiques, 2004

2003
Contribution a la SPéCification des SystèMES temps RéELS : L'approche UML/Pno. (Towards the analysis of real-time systems: the UML/PNO approach).
PhD thesis, 2003

ArgoPN: a CASE Tool Merging UML and Petri Nets.
Proceedings of the New Technologies for Information Systems, 2003

2001
Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

1999
UML et les réseaux de Petri : vers une sémantique des modèles dynamiques et une méthodologie de développement des systèmes temps réel.
Obj. Logiciel Base données Réseaux, 1999

1998
UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997


  Loading...