Jérôme Delatour

22 papers A 1B 3C 5Journal 6Unranked 6

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov
2021	—	`conf`	AnimUML as a UML Modeling and Verification Teaching Tool. MoDELS (Companion) Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
2020	A	`conf`	Designing, animating, and verifying partial UML Models. MoDELS Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
2020	—	`conf`	Modular deployment of UML models for V&V activities and embedded execution. MoDELS (Companion) Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour
2016	B	`conf`	Enabling OCL and fUML Integration by Transformation. ECMFA Massimo Tisi, Frédéric Jouault, Zied Saidi, Jérôme Delatour
2014	J	`jnl`	Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. CoRR Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard
2014	—	`conf`	Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. OCL@MoDELS Frédéric Jouault, Jérôme Delatour
2014	B	`conf`	fUML as an Assembly Language for Model Transformation. SLE Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura
2014	C	`conf`	fUML as an assembly language for MDA. MiSE Frédéric Jouault, Massimo Tisi, Jérôme Delatour
2012	—	`conf`	Formal Behavioral Modeling of Real-time Operating Systems. ICEIS (2) Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner
2010	J	`jnl`	Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué. Tech. Sci. Informatiques Matthias Brun, Jérôme Delatour, Yvon Trinquet, Frédéric Thomas, Sébastien Gérard
2008	B	`conf`	Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. ICECCS Matthias Brun, Jérôme Delatour, Yvon Trinquet
2008	C	`conf`	Towards a Framework for Explicit Platform-Based Transformations. ISORC Frédéric Thomas, Jérôme Delatour, François Terrier, Sébastien Gérard
2007	J	`jnl`	Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. Obj. Logiciel Base données Réseaux Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard
2007	C	`conf`	Software Real-time Resource Modeling. FDL Frédéric Thomas, Sébastien Gérard, Jérôme Delatour, François Terrier
2004	J	`jnl`	UML et réseaux de Petri. Tech. Sci. Informatiques Mario Paludetto, Jérôme Delatour, Adel Benzina
2003	—	`conf`	ArgoPN: a CASE Tool Merging UML and Petri Nets. NDDL/VVEIS Jérôme Delatour, Florent de Lamotte
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). Jérôme Delatour
2001	C	`conf`	Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. ISORC François Taïani, Mario Paludetto, Jérôme Delatour
1999	J	`jnl`	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 Mario Paludetto, Jérôme Delatour
1998	—	`conf`	UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems. ECOOP Workshops Jérôme Delatour, Mario Paludetto
1997	C	`conf`	About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. APSEC Adel Benzina, Mario Paludetto, Jérôme Delatour