Jérôme Delatour

25
Documents

Publications

15
3
2
1
1
1
1
1
4
4
3
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
13
7
4
3
3
3
3
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD

Frédéric Jouault , Ciprian Teodorov , Jérôme Delatour , Luka Le Roux , Philippe Dhaussy

Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109

Article dans une revue hal-01006656v1
Deposit thumbnail

Formal Synthesis of Real-Time System Models in a MDE Approach

Cédrick Lelionnais , Jérôme Delatour , Matthias Brun , Olivier Henri Roux , Charlotte Seidner

IARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128

Article dans une revue hal-01093769v1

Modélisation UML d'un régulateur de vitesse automobile

Luka Leroux , Jérôme Delatour , Philippe Dhaussy

Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109

Article dans une revue hal-01006647v1

Etude comparative pour la modélisation de plates-formes d'exécution - Application au temps réel embarqué

Matthias Brun , Jérôme Delatour , Yvon Trinquet , Frédéric Thomas , Sébastien Gerard

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (4-5), pp.421-451

Article dans une revue hal-00537626v1
Deposit thumbnail

Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM

Frédéric Thomas , Jérôme Delatour , François Terrier , Matthias Brun , Sébastien Gérard

Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.9-31

Article dans une revue hal-01045009v1

AnimUML as a UML Modeling and Verification Teaching Tool

Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov et al.

MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619

Communication dans un congrès hal-03408698v1

Designing, Animating, and Verifying Partial UML Models

Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun et al.

23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩

Communication dans un congrès hal-02931876v1

Enabling OCL and fUML Integration by Transformation

Massimo Tisi , Frédéric Jouault , Saidi Zied , Jérôme Delatour

12th European Conference, ECMFA 2016, Jul 2016, Vienna, Austria. pp.156-172, ⟨10.1007/978-3-319-42061-5_10⟩

Communication dans un congrès hal-01340073v1

Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems

Frédéric Jouault , Jérôme Delatour

OCL 2014, Sep 2014, Valencia, Spain. pp.73-82

Communication dans un congrès hal-01222938v1

fUML as an Assembly Language for Model Transformation

Massimo Tisi , Frédéric Jouault , Jérôme Delatour , Saidi Zied , Hassene Choura

7th International Conference, SLE 2014, Sep 2014, Västerås, Sweden. pp.171-190, ⟨10.1007/978-3-319-11245-9_10⟩

Communication dans un congrès hal-01096634v1
Deposit thumbnail

fUML as an Assembly Language for MDA

Frédéric Jouault , Massimo Tisi , Jérôme Delatour

Proceedings of the 6th International Workshop on Modeling in Software Engineering, Jun 2014, Hyderabad, India. pp.61-64, ⟨10.1145/2593770.2593778⟩

Communication dans un congrès hal-00966441v1

Formal composition based on roles within a model driven engineering approach

Cedrick Lelionnais , Matthias Brun , Jérôme Delatour , Olivier Henri Roux , Charlotte Seidner

The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32

Communication dans un congrès hal-00941024v1
Deposit thumbnail

Formal Behavioral Modeling of Real-Time Operating Systems

Cédrick Lelionnais , Matthias Brun , Jérôme Delatour , Olivier Henri Roux , Charlotte Seidner

The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland

Communication dans un congrès hal-01093794v1

Contribution on the Software Execution platform integration during an application deployment process

Matthias Brun , Jérôme Delatour

First Topcased Day, Feb 2011, Toulouse, France

Communication dans un congrès hal-01179760v1

Towards a Behavioral Modeling of Real-Time Kernel in a Model-Driven Development Approach

Jérôme Delatour , Cedrick Lelionnais

4th Junior Researcher Workshop on Real-Time Computing, JRWRTC'2010 (in conjunction with the 18th International Conference on Real-Time and Network Systems (RTNS'2010), Nov 2010, Toulouse, France

Communication dans un congrès hal-01179852v1

Les platesformes d'exécution dans l'IDM : Quelles modélisations pour quelles utilisations ?

Jérôme Delatour , Matthias Brun , Guillaume Savaton , Jonathan Ilias-Pillet , Cedrick Lelionnais

programme des journées nationales du GDR GPL 2010, Mar 2010, Pau, France

Communication dans un congrès hal-01179877v1

From UML to AADL: an Explicit Execution Semantics Modelling with MARTE

Matthias Brun , Thomas Vergnaud , Madeleine M.F Faugere , Jérôme Delatour

ERTS 2008, 2008, Toulouse, France

Communication dans un congrès hal-01179680v1

Code Generation from AADL to a Real-time Operating System: An Experimentation Feedback on the Use of Model Transformation

Matthias Brun , Jérôme Delatour , Yvon Trinquet

Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on, Mar 2008, Belfast, Ireland. pp.257-262, ⟨10.1109/ICECCS.2008.19⟩

Communication dans un congrès hal-01179673v1
Deposit thumbnail

From UML to AADL: a Need for an Explicit Execution Semantics Modeling with MARTE

Matthias Brun , Madeleine Faugère , Jérôme Delatour , Thomas Vergnaud

Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France

Communication dans un congrès hal-02270284v1

Retour d’expérience sur l’utilisation déclarative d’un langage de transformation pour la génération de code : de AADL vers OSEK/VDX OS

Matthias Brun , Jérôme Delatour , Sébastien Faucou , Guillaume Savaton

IDM07, Mar 2007, Toulouse, France. pp.132-148

Communication dans un congrès hal-01179695v1

ArgoPN : A CASE Tool Merging UML and Petri Nets

J. Delatour , Florent Frizon de Lamotte

Workshop on Validation and Verification of software for Enterprise Information Systems, 2003, Angers, France. p 94-102

Communication dans un congrès hal-00105537v1

Modélisation de l'étude de cas avec MARTE

Jérôme Delatour , Joël Champeau

Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5

Chapitre d'ouvrage hal-00862485v1

Case Study Modeling Using MARTE

Jérôme Delatour , Joël Champeau

Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013

Chapitre d'ouvrage hal-00821955v1
Deposit thumbnail

CONTRIBUTION A LA SPÉCIFICATION DES SYSTÈMES TEMPS RÉELS : L'APPROCHE UML/PNO

Jérôme Delatour

Génie logiciel [cs.SE]. Université Paul Sabatier - Toulouse III, 2003. Français. ⟨NNT : ⟩

Thèse tel-01044988v1