Access content directly

Jérôme Delatour

25
Documents

Publications

Image document

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
Journal articles hal-01093769v1

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
Journal articles hal-01006656v1

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
Journal articles 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
Journal articles hal-00537626v1
Image document

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
Journal articles 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
MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Conference papers hal-03408698v1

Designing, Animating, and Verifying Partial UML Models

Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
Conference papers 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⟩
Conference papers hal-01340073v1

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⟩
Conference papers hal-01096634v1
Image document

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⟩
Conference papers hal-00966441v1

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
Conference papers hal-01222938v1

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
Conference papers hal-00941024v1
Image document

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
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers hal-01179680v1
Image document

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
Conference papers hal-02270284v1

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⟩
Conference papers hal-01179673v1

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
Conference papers 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
Conference papers 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
Book sections 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
Book sections hal-00821955v1
Image document

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 : ⟩
Theses tel-01044988v1