Jérôme Hugues

According to our database, Jérôme Hugues authored at least 71 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Special issue on Reliable Software Technologies (AEiC2022).

Jérôme Hugues

J. Syst. Archit., February, 2023

Safe Stochastic Model-Based Policy Iteration with Chance Constraints.

Lijing Zhai, Kyriakos G. Vamvoudakis, Jérôme Hugues

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems.

Lijing Zhai, Filippos Fotiadis, Kyriakos G. Vamvoudakis, Jérôme Hugues

Proceedings of the American Control Conference, 2023

2022

Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language.

Jérôme Hugues, Sam Procter

IEEE Softw., 2022

Mechanization of a Large DSML: An Experiment with AADL and Coq.

Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Formalization of the AADL Run-Time Services.

John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective.

Jérôme Hugues, Daniela Cancila

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

A Graph-Theoretic Security Index Based on Undetectability for Cyber-Physical Systems.

Lijing Zhai, Kyriakos G. Vamvoudakis, Jérôme Hugues

Proceedings of the American Control Conference, 2022

Impact of Sensor and Actuator Clock Offsets on Reinforcement Learning.

Filippos Fotiadis, Aris Kanellopoulos, Kyriakos G. Vamvoudakis, Jérôme Hugues

Proceedings of the American Control Conference, 2022

2021

Switching Watermarking-based Detection Scheme Against Replay Attacks.

Lijing Zhai, Kyriakos G. Vamvoudakis, Jérôme Hugues

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

A formal approach to AADL model-based software engineering.

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel

Int. J. Softw. Tools Technol. Transf., 2020

TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS.

Jérôme Hugues, Anton Hristosov, John J. Hudak, Joe Yankel

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Trade-off analysis for SysML models using decision points and CSPs.

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues

Softw. Syst. Model., 2019

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists.

Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2018

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems.

Guillaume Brau, Jérôme Hugues, Nicolas Navet

Sci. Comput. Program., 2018

Integrating AADL and FMI to Extend Virtual Integration Capability.

Jérôme Hugues, Jean-Marie Gauthier, Raphaël Faudou

CoRR, 2018

An ocarina extension for AADL formal semantics generation.

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study.

Guillaume Brau, Nicolas Navet, Jérôme Hugues

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Performing Safety Analyses with AADL and AltaRica.

Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems.

Wafa Gabsi, Bechir Zalila, Jérôme Hugues

Int. J. Auton. Adapt. Commun. Syst., 2016

Static probabilistic timing analysis in presence of faults.

Chao Chen, Luca Santinelli, Jérôme Hugues, Giovanni Beltrame

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Architectural performance analysis of FPGA synthesized LEON processors.

Corentin Damman, Gregory Edison, Fabrice Guet, Eric Noulard, Luca Santinelli, Jérôme Hugues

Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

2015

Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems.

Jérôme Hugues, Oleg Sokolsky

Sci. Comput. Program., 2015

Performance verification for ESL design methodology from AADL models.

Gaudron Mathieu, Bois Guy, Jérôme Hugues, Fellipe Monteiro

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

Model-based design and automated validation of ARINC653 architectures.

Jérôme Hugues, Julien Delange

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

Architecture Optimization with SysML Modeling: A Case Study Using Variability.

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban

Proceedings of the Model-Driven Engineering and Software Development, 2015

SysML Modeling for Embedded Systems Design Optimization - A Case Study.

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban

Proceedings of the MODELSWARD 2015, 2015

A Contract-Based Approach to Support Goal-Driven Analysis.

Guillaume Brau, Jérôme Hugues, Nicolas Navet

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Multi domain optimization with SysML modeling.

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

From AADL Model to LNT Specification.

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models.

Jérôme Hugues, Christophe Garion

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Analysis as a First-Class Citizen: An Application to Architecture Description Languages.

Jérôme Hugues, Guillaume Brau

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

2013

Enforcing software engineering tools interoperability: An example with AADL subsets.

Vincent Gaudel, Frank Singhoff, Alain Plantec, Jérôme Hugues, Pierre Dissaux, Jérôme Legrand

Proceedings of the 24th IEEE International Symposium on Rapid System Prototyping, 2013

Mapping AADL models to a repository of multiple schedulability analysis techniques.

Yassine Ouhammou, Emmanuel Grolleau, Jérôme Hugues

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012

Editorial to the Special Issue of Rapid System Prototyping'10.

Kenneth B. Kent, Jérôme Hugues

Softw. Pract. Exp., 2012

Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272).

Peter H. Feiler, Jérôme Hugues, Oleg Sokolsky

Dagstuhl Reports, 2012

2011

A MDE-based optimisation process for real-time systems: optimizing systems at the architecture-level using the real DSL and library of transformation and heuristics.

Olivier Gilles, Jérôme Hugues

Comput. Syst. Sci. Eng., 2011

A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.

Gilles Lasnier, Laurent Pautet, Jérôme Hugues

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Modeling and Verification of Memory Architectures with AADL and REAL.

Stéphane Rubini, Frank Singhoff, Jérôme Hugues

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

An Implementation of the Behavior Annex in the AADL-Toolset Osate2.

Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Building Parallel, Embedded, and Real-Time Applications with Ada.

John W. McCormick, Frank Singhoff, Jérôme Hugues

Cambridge University Press, ISBN: 978-0-521-19716-8, 2011

2010

Architectural Modeling to Verify Security and Nonfunctional Behavior.

Jörgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues

IEEE Secur. Priv., 2010

A MDE-Based Optimisation Process for Real-Time Systems.

Olivier Gilles, Jérôme Hugues

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Expressing and Enforcing User-Defined Constraints of AADL Models.

Olivier Gilles, Jérôme Hugues

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems.

Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009

Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL.

Olivier Gilles, Jérôme Hugues

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets.

Xavier Renault, Fabrice Kordon, Jérôme Hugues

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

From AADL Architectural Models to Petri Nets: Checking Model Viability.

Xavier Renault, Fabrice Kordon, Jérôme Hugues

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.

Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues

Proceedings of the Reliable Software Technologies, 2009

2008

From the prototype to the final embedded system using the Ocarina AADL tool suite.

Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon

ACM Trans. Embed. Comput. Syst., 2008

Automatic framework generation for hard real-time applications.

Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues

Innov. Syst. Softw. Eng., 2008

Applying WCET Analysis at Architectural Level.

Olivier Gilles, Jérôme Hugues

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

From Model Driven Engineering to Verification Driven Engineering.

Fabrice Kordon, Jérôme Hugues, Xavier Renault

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Using MDE for the Rapid Prototyping of Space Critical Systems.

Jérôme Hugues, Maxime Perrotin, Thanassis Tsiodras

Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, 2008

Towards Automatic Middleware Generation.

Bechir Zalila, Laurent Pautet, Jérôme Hugues

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Formal Modeling of a Generic Middleware to Ensure Invariant Properties.

Xavier Renault, Jérôme Hugues, Fabrice Kordon

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

A Generative Approach to Building a Framework for Hard Real-Time Applications.

Irfan Hamid, Elie Najm, Jérôme Hugues

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.

Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon

Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007

Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems.

Jérôme Hugues, Bechir Zalila, Laurent Pautet

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Ada 2005 code patterns for metamodel-based code generation.

José Antonio Pulido, Juan Antonio de la Puente, Jérôme Hugues, Matteo Bordin, Tullio Vardanega

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Generating Distributed High Integrity Applications from Their Architectural Description.

Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet

Proceedings of the Reliable Software Technologies, 2007

Design and Performance of a Generic Consensus Component for Critical Distributed Applications.

Khaled Barbaria, Jérôme Hugues, Laurent Pautet

Proceedings of the Reliable Software Technologies, 2007

2006

An improved IDL compiler for optimizing CORBA applications.

Bechir Zalila, Jérôme Hugues, Laurent Pautet

Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.

Jérôme Hugues, Laurent Pautet, Bechir Zalila

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

A Framework for DRE middleware, an Application to DDS.

Jérôme Hugues, Laurent Pautet, Fabrice Kordon

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

2005

Rapid Development Methodology for Customized Middleware.

Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

A Factory to Design and Build Tailorable and Verifiable Middleware.

Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Revisiting COTS middleware for DRE systems.

Jérôme Hugues, Laurent Pautet, Fabrice Kordon

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

2004

On the Formal Verification of Middleware Behavioral Properties.

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.

Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon

Proceedings of the Reliable Software Technologies, 2004

2003

Contributions to middleware architectures to prototype distribution infrastructures.

Jérôme Hugues, Laurent Pautet, Fabrice Kordon

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003