- 15
- 3
- 2
- 1
- 1
- 1
- 1
- 1
Jérôme Delatour
25
Documents
Publications
- 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
|
Formal Synthesis of Real-Time System Models in a MDE ApproachIARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128
Article dans une revue
hal-01093769v1
|
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCDGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue
hal-01006656v1
|
|
Modélisation UML d'un régulateur de vitesse automobileGé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é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
|
|
|
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDMRevue 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 ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès
hal-03408698v1
|
|
Designing, Animating, and Verifying Partial UML Models23rd 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 Transformation12th 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
|
|
fUML as an Assembly Language for Model Transformation7th 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
|
|
|
fUML as an Assembly Language for MDAProceedings 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
|
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded SystemsOCL 2014, Sep 2014, Valencia, Spain. pp.73-82
Communication dans un congrès
hal-01222938v1
|
|
Formal composition based on roles within a model driven engineering approachThe 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
|
|
|
Formal Behavioral Modeling of Real-Time Operating SystemsThe 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 processFirst 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 Approach4th 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 ?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 MARTEERTS 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 TransformationEngineering 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
|
|
|
From UML to AADL: a Need for an Explicit Execution Semantics Modeling with MARTEEmbedded 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 OSIDM07, Mar 2007, Toulouse, France. pp.132-148
Communication dans un congrès
hal-01179695v1
|
|
ArgoPN : A CASE Tool Merging UML and Petri NetsWorkshop on Validation and Verification of software for Enterprise Information Systems, 2003, Angers, France. p 94-102
Communication dans un congrès
hal-00105537v1
|
Le Caire sur le vif, Beniamino Facchinelli, photographe (1875-1895)INHA. , 2017, 978-2-917902-40-0. ⟨10.4000/books.inha.7759⟩
Ouvrages
halshs-01823312v1
|
Modélisation de l'étude de cas avec MARTEHermes. 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 MARTEEmbedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
Chapitre d'ouvrage
hal-00821955v1
|
|
CONTRIBUTION A LA SPÉCIFICATION DES SYSTÈMES TEMPS RÉELS : L'APPROCHE UML/PNOGénie logiciel [cs.SE]. Université Paul Sabatier - Toulouse III, 2003. Français. ⟨NNT : ⟩
Thèse
tel-01044988v1
|