L’excellence passionnément
- Accueil
- Jérôme Hugues
- Publications
Publications
Mis à jour le
Hugues Jérôme - 105679569, Delange Julien, Model-Based Design, Automated Code Generation and Safety Analysis of ARINC653 Architectures using the AADL. 2016
Brau Guillaume - 220210160, Hugues Jérôme - 105679569, 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)
Ouni Bassem, Gaufillet Pierre, Jenn Eric, Hugues Jérôme - 105679569, 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)
Hugues Jérôme - 105679569, AADL, de l’analyse à la génération de code. 2010
Hugues Jérôme - 105679569, 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
Leserf Patrick, Saqui-Sannes Pierre de, Hugues Jérôme - 105679569, 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
Lasnier Gilles - 184564301, Pautet Laurent, Hugues Jérôme - 105679569, Wrage Lutz, An implementation of the behavior annex in the AADL-toolset Osate2. 2011, Sixth IEEE International workshop UML and AADL - UML&AADL’2011, 2011-04-27 - 2011-04-29 (2011-04-29, Las Vegas)
An implementation of the behavior annex in the AADL-toolset Osate2
Hugues Jérôme - 105679569, Brau Guillaume - 220210160, 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
Mkaouar Hana, Zalila Bechir, Hugues Jérôme - 105679569, 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
Brau Guillaume - 220210160, Hugues Jérôme - 105679569, 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
Gilles Olivier, Hugues Jérôme - 105679569, A MDE-based optimisation process for Real-Time systems. 2010, 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing
Leserf Patrick, Saqui-Sannes Pierre de, Hugues Jérôme - 105679569, 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)
Hugues Jérôme - 105679569, Singhoff Frank, AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. 2014
Hugues Jérôme - 105679569, Analytic virtual integration of cyber-physical systems & AADL : challenges, threats and opportunities. 2012
Lasnier Gilles - 184564301, Pautet Laurent, Hugues Jérôme - 105679569, A Model-based transformation process to validate and implement high-integrity systems. 2011, 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing - ISORC 2011, 2011-03-28 - 2011-03-31 (2011-03-31, Newport Beach)
A Model-based transformation process to validate and implement high-integrity systems
Conquet Eric, Perrotin Maxime, Dissaux Pierre, Tsiodras Thanassis, Hugues Jérôme - 105679569, The TASTE Toolset : turning human designed heterogeneous systems into computer built homogeneous software.. 2010, European Congress on Embedded Real-Time Software (ERTS 2010)
Rivier Guillaume, Lizy-Destrez Stéphanie, Hugues Jérôme - 105679569, Enseignement de l’ingénierie système : retour sur la conception d’un senseur stellaire pour ESEO et ESMO. 2012, Génie logiciel (100). 50-54. ISSN 1265-1397
Delange Julien, Hugues Jérôme - 105679569, Pautet Laurent, De Niz Diosisio, A MDE-based process for the design, implementation and validation of safety critical systems. 2010, Proceedings of the 5th UML AADL Workshop - UML AADL 2010
A MDE-based process for the design, implementation and validation of safety critical systems
Hugues Jérôme - 105679569, 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
Mkaouar Hana, Zalila Bechir, Hugues Jérôme - 105679569, 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
Brau Guillaume - 220210160, Navet Nicolas, Hugues Jérôme - 105679569, 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)
Hugues Jérôme - 105679569, Singhoff Frank, AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. 2013
AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems
Hugues Jérôme - 105679569, 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
Brunel Julien, Feiler Peter, Hugues Jérôme - 105679569, 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
Rubini Stéphane, Singhoff Frank, Hugues Jérôme - 105679569, Modeling and verification of memory architectures with AADL and REAL. 2011, Sixth IEEE International workshop UML and AADL - UML&AADL’2011, 2011-04-27 - 2011-04-29 (2011-04-29, Las Vegas)
Modeling and verification of memory architectures with AADL and REAL
Brau Guillaume - 220210160, Garion Christophe, Hugues Jérôme - 105679569, Towards the qualification of an AADL model transformation tool with contracts. 2019
Towards the qualification of an AADL model transformation tool with contracts
Ouhamou Yassine, Grolleau Emmanuel, Hugues Jérôme - 105679569, Mapping AADL models to a repository of multiple schedulability analysis techniques. 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2013)
Mapping AADL models to a repository of multiple schedulability analysis techniques
Saqui-Sannes Pierre de, Hugues Jérôme - 105679569, Combining SysML and AADL for the design, validation and implementation of critical systems. 2012, ERTSS 2012 (Embedded Real Time Software and Systems), 2012-02-01 - 2012-02-03 (2012-02-03, Toulouse)
Combining SysML and AADL for the design, validation and implementation of critical systems
Ben Youssef Maryem, Boland Jean-François, Nicolescu Gabriela, Bois Guy, Hugues Jérôme - 105679569, 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
Gaudel Vincent, Plantec Alain, Singhoff Frank, Hugues Jérôme - 105679569, 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
Hugues Jérôme - 105679569, A programming language view to model-driven engineering. 2013
Hugues Jérôme - 105679569, 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
Bordin Matteo, Comar Cyrille, Falis Ed, Gasperoni Franco, Moy Yannick, Richa Elie, Hugues Jérôme - 105679569, System to Software Integrity : A Case Study. 2014, Embedded Real-Time Software and Systems 2014, 2014-02-05 - 2014-02-07 (2014-02-07)
McCornick John W., Singhoff Frank, Hugues Jérôme - 105679569, Building parallel, embedded, and real-time applications with Ada. 2011. 978-0-521-19716-8
Building parallel, embedded, and real-time applications with Ada
Gabsi Wafa, Zalila Bechir, Hugues Jérôme - 105679569, 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
Renault Xavier, Hugues Jérôme - 105679569, Définition d’une famille de patrons de transformation pour l’analyse de modèles AADL. 2010, Génie logiciel : le magazine de l’ingénierie du logiciel et des systèmes (93). ISSN 1265-1397
Définition d'une famille de patrons de transformation pour l'analyse de modèles AADL
Muñoz Arancón M., Montano G., Wirkus M., Hoeflinger K., Silveira D., Tsiogkas N., Hugues Jérôme - 105679569, 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
Hugues Jérôme - 105679569, Delange Julien, Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation : A Case-Study. 2015
Delange Julien, Hugues Jérôme - 105679569, Dissaux Pierre, Validate implementation correctness using simulation : the TASTE approach. 2012, ERTS2 2012 (Embedded Real Time Software and Systems)
Validate implementation correctness using simulation: the TASTE approach
Hugues Jérôme - 105679569, European space robotics control and operating system (ESROCOS). 2017
European space robotics control and operating system (ESROCOS)
Damman Corentin, Edison Gregory, Guet Fabrice, Noulard Eric, Santinelli Luca, Hugues Jérôme - 105679569, 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)
Kent Kenneth, Hugues Jérôme - 105679569, Editorial to the Special Issue of Rapid System Prototyping’10. 2012, Software : Practice and Experience. 42 (7). 779. ISSN 0038-0644
Editorial to the Special Issue of Rapid System Prototyping'10
Zhe Wang, Hugues Jérôme - 105679569, 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)
Chen Chao, Santinelli Luca, Hugues Jérôme - 105679569, 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)
Brau Guillaume - 220210160, Navet Nicolas, Hugues Jérôme - 105679569, 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
Hugues Jérôme - 105679569, Siron Pierre, Hamez Alexandre, PRISE : An Integrated Platform for Research and Teaching of Critical Embedded Systems. 2012, Recherche et Innovation pour les Transports du Futur (RITF’12)
PRISE: An Integrated Platform for Research and Teaching of Critical Embedded Systems
Garion Christophe, Hugues Jérôme - 105679569, From learning examples to High-Integrity Middleware, comparing ACSL and SPARK. 2017
From learning examples to High-Integrity Middleware, comparing ACSL and SPARK
Garion Christophe, Hugues Jérôme - 105679569, Teaching formal methods through Frama-C & SPARK. 2019
Hugues Jérôme - 105679569, AADLib, A Library of Reusable AADL Models. 2013, SAE Aerotech 2013 Congress & Exhibition, 2013-09-24 - 2013-09-26 (2013-09-26, Montreal)
Hugues Jérôme - 105679569, Gheoghe Serban, The AADL Constraint Annex. 2013, SAE 2013 AeroTech Congress & Exhibition, 2013-09-24 - 2013-09-26 (2013-09-26, Montreal)