- Accueil
- Jérôme Hugues
- Flux publications Open Science ISAE-SUPAERO
Flux publications Open Science ISAE-SUPAERO
Mis à jour le
![](https://openscience.isae-supaero.fr/ui/skins/ISAE/portal/front/images/General/DocType/EXTR_SMALL.png)
Mkaouar Hana, Zalila Bechir, Hugues Jérôme, Jmaiel Mohamed, Towards a formal specification for an AADL behavioural subset using the LNT language. 2020, International Journal of Business and Systems Research. 14 (2). 162-190. ISSN 1751-200X
Towards a formal specification for an AADL behavioural subset using the LNT language
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=10535&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fEXTR_SMALL.png)
Mkaouar Hana, Zalila Bechir, Hugues Jérôme, Jmaiel Mohamed, A formal approach to AADL model-based software engineering. 2020, International Journal on Software Tools for Technology Transfer. 22 (2). 219-247. ISSN 1433-2779
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=10638&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fEXTR_SMALL.png)
Leserf Patrick, Saqui-Sannes Pierre de, Hugues Jérôme, Trade-off Analysis for SysML Models Using Decision Points and CSPs. 2019, Software and Systems Modeling. 1-17. ISSN 1619-1366
Trade-off Analysis for SysML Models Using Decision Points and CSPs
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12057&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Leserf Patrick, Saqui-Sannes Pierre de, Hugues Jérôme, Trade-off Analysis for SysML Models Using Decision Points and CSPs. 2019, MODELS 2019, 2019-09-15 - 2019-09-20 (2019-09-20, Munich)
Trade-off Analysis for SysML Models Using Decision Points and CSPs
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12085&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Brau Guillaume, Garion Christophe, Hugues Jérôme, Towards the qualification of an AADL model transformation tool with contracts.. 2019
Towards the qualification of an AADL model transformation tool with contracts.
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12091&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Creuse Léo, Dross Claire, Garion Christophe, Hugues Jérôme, Huguet Joffrey, Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists : Formal Methods Teaching. 2019, 3rd World Congress on Formal Methods, 2019-11-07 - 2019-11-11 (2019-11-11, Porto)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12100&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Garion Christophe, Hugues Jérôme, Teaching formal methods through Frama-C & SPARK. 2019
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=10704&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fEXTR_SMALL.png)
Brau Guillaume, Hugues Jérôme, Navet Nicolas, Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. 2018, Science of Computer Programming. 156. 1-20. ISSN 01676423
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=10649&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fEXTR_SMALL.png)
Creuse Léo, Huguet Joffrey, Garion Christophe, Hugues Jérôme, SPARK by Example : an introduction to formal verification through the standard C++ library. 2018, Ada Letters. 38 (2). 89-96. ISSN 1094-3641
SPARK by Example: an introduction to formal verification through the standard C++ library
![](https://covers.syracuse.cloud/Cover/ISAE/BOOK/Z12My6y1kYUhEarGlsZm3A2/9782100778423/SMALL?fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fBOOK_SMALL.png)
Grolleau Emmanuel, Hugues Jérôme, Yassine Ouhammou, Henri Bauer, Introduction aux systèmes embarqués temps réel : Conception et mise en oeuvre. 2018, Sciences Sup. 978-2-10-077842-3
Introduction aux systèmes embarqués temps réel : Conception et mise en oeuvre
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12233&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Gauthier Jean-Marie, Hugues Jérôme, Faudou Raphaël, Integrating AADL and FMI to Extend Virtual Integration Capability. 2018, 9th European Congress Embedded Real Time Software and Systems (ERTSS), 2018-01-31 - 2018-02-02 (2018-02-02, Toulouse)
Integrating AADL and FMI to Extend Virtual Integration Capability
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12240&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Hugues Jérôme, Honvault Christophe, Pagetti Claire, Model-based design, analysis and synthesis for multi-core and TSP avionics targets. 2018, 9th European Congress Embedded Real Time Software and Systems (ERTSS), 2018-01-31 - 2018-02-02 (2018-02-02, Toulouse)
Model-based design, analysis and synthesis for multi-core and TSP avionics targets
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12261&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Mkaouar Hana, Zalila Bechir, Hugues Jérôme, Jmaiel Mohamed, An ocarina extension for AADL formal semantics generation : Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC ’18. 2018, ACM Symposium on Applied Computing (SAC’18), 2018-04-09 - 2018-04-13 (2018-04-13, Pau)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12162&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Zhe Wang, Hugues Jérôme, Chaudemar Jean-Charles, LeSergent Thierry, An Integrated Approach to Model Based Engineering with SysML, AADL and FACE : SAE Technical Paper Series. 2018, Aerospace Systems and Technology Conference, 2018-11-06 - 2018-11-08 (2018-11-08, London)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12330&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Muñoz Arancón M., Montano G., Wirkus M., Hoeflinger K., Silveira D., Tsiogkas N., Hugues Jérôme, Bruyninckx H., Dragomir Iulia Dragomir, Muhammad A., ESROCOS : a robotic operating system for space and terrestrial applications. 2017, 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2017), 2017-06-20 - 2017-06-21 (2017-06-21, Scheltema)
ESROCOS: a robotic operating system for space and terrestrial applications
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12349&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Brau Guillaume, Navet Nicolas, Hugues Jérôme, Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study : Proceedings of the 25th International Conference on Real-Time Networks and Systems - RTNS ’17. 2017, 25th International Conference on Real-Time Networks and Systems (RTNS ’17), 2017-10-04 - 2017-10-06 (2017-10-06, Grenoble)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12351&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Brunel Julien, Feiler Peter, Hugues Jérôme, Lewis Bruce, Prosvirnova Tatiana, Seguin Christel, Wrage Lutz, Performing Safety Analyses with AADL and AltaRica : Model-Based Safety and Assessment. 2017, The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 2017-09-11 - 2017-09-13 (2017-09-13, Trento)
Performing Safety Analyses with AADL and AltaRica : Model-Based Safety and Assessment
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12377&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Garion Christophe, Hugues Jérôme, From learning examples to High-Integrity Middleware, comparing ACSL and SPARK. 2017
From learning examples to High-Integrity Middleware, comparing ACSL and SPARK
![](https://openscience.isae-supaero.fr/ui/skins/default/portal/front/images/General/DocType/CONFGUEST_SMALL.png)
Hugues Jérôme, European space robotics control and operating system (ESROCOS). 2017
European space robotics control and operating system (ESROCOS)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=11576&size=SMALL&fallback=https%3a%2f%2fcovers.syracuse.cloud%2fCover%2fISAE%2fBOOKPART%2ftLOKm6i0ZxVwdZF9jldHGg2%2f9789811044366%2fSMALL%3ffallback%3dhttps%253a%252f%252fopenscience.isae-supaero.fr%252fui%252fskins%252fISAE%252fportal%252ffront%252fimages%252fGeneral%252fDocType%252fBOOKPART_SMALL.png)
Hugues Jérôme, Delange Julien, Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL : Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. 2017« In :» Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. 978-981-10-4436-6
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12452&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Chen Chao, Santinelli Luca, Hugues Jérôme, Beltrame Giovanni, Static Probabilistic Timing Analysis in Presence of Faults. 2016, 11th IEEE International Symposium on Industrial Embedded Systems, 2016-05-23 - 2016-05-25 (2016-05-25, Krakow)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12467&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Gaudron Matthieu, Bois Guy, Hugues Jérôme, Monteiro Fellipe, Performance Verification for ESL Design Methodology from AADL Models. 2016, International Symposium on Rapid System Prototyping (RSP), 2015-10-08 - 2015-10-09 (2015-10-09, Amsterdam)
Performance Verification for ESL Design Methodology from AADL Models
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12473&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Hugues Jérôme, Delange Julien, Model-Based Design, Automated Code Generation and Safety Analysis of ARINC653 Architectures using the AADL. 2016
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12474&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Ouni Bassem, Gaufillet Pierre, Jenn Eric, Hugues Jérôme, Model Driven Engineering with Capella and AADL. 2016, the 8th European Congress Embedded Real Time software and systems ERTS2 2016, 2016-01-27 - 2016-01-29 (2016-01-29, Toulouse)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12504&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Damman Corentin, Edison Gregory, Guet Fabrice, Noulard Eric, Santinelli Luca, Hugues Jérôme, Architectural performance analysis of FPGA synthesized LEON processors : Proceedings of the 27th International Symposium on Rapid System Prototyping Shortening the Path from Specification to Prototype - RSP ’16. 2016, 27th International Symposium on Rapid System Prototyping, 2016-10-01 - 2016-10-07 (2016-10-07, Pittsburgh)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=10925&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fEXTR_SMALL.png)
Gabsi Wafa, Zalila Bechir, Hugues Jérôme, A Development Process for the Design, Implementation and Code Generation of Fault Tolerant Reconfigurable Real Time Systems. 2016, International Journal of Autonomous and Adaptive Communications Systems. 9 (3-4). 269-287. ISSN 1754-8640
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=10964&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fEXTR_SMALL.png)
Hugues Jérôme, Sokolsky Oleg, Preface to the special issue : architecture-driven semantic analysis of embedded systems. 2015, Science of Computer Programming. 106. 1-2. ISSN 0167-6423
Preface to the special issue: architecture-driven semantic analysis of embedded systems
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=11587&size=SMALL&fallback=https%3a%2f%2fcovers.syracuse.cloud%2fCover%2fISAE%2fBOOKPART%2fulpXIkfN1s9xXTIJ0zBB9Q2%2f9783319278698%2fSMALL%3ffallback%3dhttps%253a%252f%252fopenscience.isae-supaero.fr%252fui%252fskins%252fISAE%252fportal%252ffront%252fimages%252fGeneral%252fDocType%252fBOOKPART_SMALL.png)
Leserf Patrick, Saqui-Sannes Pierre de, Hugues Jérôme, Chaaban Khaled, Architecture Optimization with SysML Modeling : A Case Study Using Variability : Model-Driven Engineering and Software Development. 2015« In :» Model-Driven Engineering and Software Development, Communications in Computer and information Science. 978-3-319-27869-8
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12571&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Hugues Jérôme, Delange Julien, Model-Based Design and Automated Validation of ARINC653 Architectures. 2015, Proceedings of IEEE International Symposium on Rapid System Prototyping (RSP), 2015-10-08 - 2015-10-09 (2015-10-09, Amsterdam)
Model-Based Design and Automated Validation of ARINC653 Architectures
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12573&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Leserf Patrick, Saqui-Sannes Pierre de, Hugues Jérôme, Multi Domain optimization with SysML modeling. 2015, 20th IEEE International Conference on Emerging Technologies and Factory Automation, 2015-09-08 - 2015-09-11 (2015-09-11, Luxembourg)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12596&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Mkaouar Hana, Zalila Bechir, Hugues Jérôme, Jmaiel Mohamed, From AADL Model to LNT Specification : Reliable Software Technologies – Ada-Europe 2015. 2015, Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, 2015-06-22 - 2015-06-26 (2015-06-26, Madrid)
From AADL Model to LNT Specification : Reliable Software Technologies – Ada-Europe 2015
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12604&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Brau Guillaume, Hugues Jérôme, Navet Nicolas, A contract-based approach to support goal-driven analysis. 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 2015-04-13 - 2015-04-17 (2015-04-17, Auckland)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12635&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Hugues Jérôme, Delange Julien, Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation : A Case-Study. 2015
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12634&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Hugues Jérôme, Delange Julien, AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. 2015
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12641&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Leserf Patrick, Saqui-Sannes Pierre de, Hugues Jérôme, Chaaban Khaled, SysML Modeling For Embedded Systems Design Optimization : A Case Study. 2015, 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 2015-02-09 - 2015-02-11 (2015-02-11, Angers)
SysML Modeling For Embedded Systems Design Optimization: A Case Study
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=11046&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fEXTR_SMALL.png)
Hugues Jérôme, Siron Pierre, Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE. 2014, Génie Logiciel (109). 38-42. ISSN 1265-1397
Ingénierie dirigée par les modèles pour la simulation, le cas de PRISE
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=11061&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fEXTR_SMALL.png)
Cardoso Janette, Chaudemar Jean-Charles, Hamez Alexandre, Hugues Jérôme, Siron Pierre, PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués. 2014, Génie Logiciel (108). 29-34. ISSN 1265-1397
PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=11592&size=SMALL&fallback=https%3a%2f%2fcovers.syracuse.cloud%2fCover%2fISAE%2fBOOK%2fzLK_4P0sJS1kw_fjdRN_-w2%2f9782100713318%2fSMALL%3ffallback%3dhttps%253a%252f%252fopenscience.isae-supaero.fr%252fui%252fskins%252fISAE%252fportal%252ffront%252fimages%252fGeneral%252fDocType%252fBOOK_SMALL.png)
Cottet Francis, Grolleau Emmanuel, Gérard Sébastien, Hugues Jérôme, Ouhamou Yassine, Tucci Sarah, Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle. 2014, Technique et Ingénierie, Dunod/L’Usine Nouvelle. 978-2-10-071331-8
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12669&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Ben Youssef Maryem, Boland Jean-François, Nicolescu Gabriela, Bois Guy, Hugues Jérôme, Bridging the high-level model to execution platform for design space exploration and implementation. 2014, Embedded Real-Time Software and Systems - ERTS² 2014, 2014-02-05 - 2014-02-07 (2014-02-07, Toulouse)
Bridging the high-level model to execution platform for design space exploration and implementation
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12672&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Bordin Matteo, Comar Cyrille, Falis Ed, Gasperoni Franco, Moy Yannick, Richa Elie, Hugues Jérôme, System to Software Integrity : A Case Study. 2014, Embedded Real-Time Software and Systems 2014, 2014-02-05 - 2014-02-07 (2014-02-07)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12696&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Hugues Jérôme, Tighter Integration of Drivers and Protocols in a AADL-based Code Generation Process. 2014, 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), 2014-12-02 - 2014-12-02 (2014-12-02, Roma)
Tighter Integration of Drivers and Protocols in a AADL-based Code Generation Process
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12697&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Hugues Jérôme, Brau Guillaume, Analysis as first-class citizens – an application to Architecture Description Languages. 2014, 17th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2014), 2014-06-08 - 2014-06-12 (2014-06-12, Reno)
Analysis as first-class citizens – an application to Architecture Description Languages
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12698&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Hugues Jérôme, Garion Christophe, Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. 2014, High Integrity Language Technology, HILT 2014, 2014-10-18 - 2014-10-21 (2014-10-21, Portland)
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12699&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Hugues Jérôme, Singhoff Frank, AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. 2014
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12700&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Hugues Jérôme, Singhoff Frank, AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. 2014
AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12726&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Hugues Jérôme, Gheoghe Serban, The AADL Constraint Annex. 2013, SAE 2013 AeroTech Congress & Exhibition, 2013-09-24 - 2013-09-26 (2013-09-26, Montreal)
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12746&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Brau Guillaume, Navet Nicolas, Hugues Jérôme, Refinement of AADL models using early-stage analysis methods. 2013, The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, 2013-12-03 - 2013-12-03 (2013-12-03, Vancouver)
Refinement of AADL models using early-stage analysis methods
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12763&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Gaudel Vincent, Plantec Alain, Singhoff Frank, Hugues Jérôme, Dissaux Pierre, Legrand Jérôme, Enforcing Software Engineering Tools Interoperability : An Example with AADL Subsets. 2013, IEEE International Symposium on Rapid System Prototyping, 2013-10-03 - 2013-10-04 (2013-10-04, Montreal)
Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12772&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fOTHERCONF_SMALL.png)
Hugues Jérôme, A programming language view to model-driven engineering. 2013
![](https://openscience.isae-supaero.fr/Ils/digitalCollection/DigitalCollectionThumbnailHandler.ashx?documentId=12773&size=SMALL&fallback=https%3a%2f%2fopenscience.isae-supaero.fr%2fui%2fskins%2fISAE%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fCONF_SMALL.png)
Hugues Jérôme, AADLib, A Library of Reusable AADL Models. 2013, SAE Aerotech 2013 Congress & Exhibition, 2013-09-24 - 2013-09-26 (2013-09-26, Montreal)