Jérôme Hugues

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 23

Top Topics

Abductive Inference

Embedded Systems

Description Languages

Software Engineering

Top Venues

Publications

Filippos Fotiadis, Aris Kanellopoulos, Kyriakos G. Vamvoudakis, Jérôme Hugues
On the effect of clock offsets and quantization on learning-based adversarial games. Autom. 167 (2024)
Lijing Zhai, Kyriakos G. Vamvoudakis, Jérôme Hugues
Safe Stochastic Model-Based Policy Iteration with Chance Constraints. CDC (2023)
Jérôme Hugues
Special issue on Reliable Software Technologies (AEiC2022). J. Syst. Archit. 135 (2023)
Lijing Zhai, Filippos Fotiadis, Kyriakos G. Vamvoudakis, Jérôme Hugues
Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems. ACC (2023)
Filippos Fotiadis, Aris Kanellopoulos, Kyriakos G. Vamvoudakis, Jérôme Hugues
Impact of Sensor and Actuator Clock Offsets on Reinforcement Learning. ACC (2022)
Lijing Zhai, Kyriakos G. Vamvoudakis, Jérôme Hugues
A Graph-Theoretic Security Index Based on Undetectability for Cyber-Physical Systems. ACC (2022)
Jérôme Hugues, Daniela Cancila
Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective. AISafety@IJCAI (2022)
Jérôme Hugues, Sam Procter
Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language. IEEE Softw. 39 (4) (2022)
Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart
Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE (2022)
John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage
Formalization of the AADL Run-Time Services. ISoLA (2) (2022)
Lijing Zhai, Kyriakos G. Vamvoudakis, Jérôme Hugues
Switching Watermarking-based Detection Scheme Against Replay Attacks. CDC (2021)
Jérôme Hugues, Anton Hristosov, John J. Hudak, Joe Yankel
TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS. MoDELS (Companion) (2020)
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
A formal approach to AADL model-based software engineering. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. FMTea (2019)
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues
Trade-off analysis for SysML models using decision points and CSPs. Softw. Syst. Model. 18 (6) (2019)
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
An ocarina extension for AADL formal semantics generation. SAC (2018)
Guillaume Brau, Jérôme Hugues, Nicolas Navet
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. Sci. Comput. Program. 156 (2018)
Jérôme Hugues, Jean-Marie Gauthier, Raphaël Faudou
Integrating AADL and FMI to Extend Virtual Integration Capability. CoRR (2018)
Guillaume Brau, Nicolas Navet, Jérôme Hugues
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. RTNS (2017)
Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage
Performing Safety Analyses with AADL and AltaRica. IMBSA (2017)
Corentin Damman, Gregory Edison, Fabrice Guet, Eric Noulard, Luca Santinelli, Jérôme Hugues
Architectural performance analysis of FPGA synthesized LEON processors. RSP (2016)
Wafa Gabsi, Bechir Zalila, Jérôme Hugues
A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems. Int. J. Auton. Adapt. Commun. Syst. 9 (3/4) (2016)
Chao Chen, Luca Santinelli, Jérôme Hugues, Giovanni Beltrame
Static probabilistic timing analysis in presence of faults. SIES (2016)
Guillaume Brau, Jérôme Hugues, Nicolas Navet
A Contract-Based Approach to Support Goal-Driven Analysis. ISORC (2015)
Gaudron Mathieu, Bois Guy, Jérôme Hugues, Fellipe Monteiro
Performance verification for ESL design methodology from AADL models. RSP (2015)
Jérôme Hugues, Oleg Sokolsky
Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems. Sci. Comput. Program. 106 (2015)
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues
Multi domain optimization with SysML modeling. ETFA (2015)
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
From AADL Model to LNT Specification. Ada-Europe (2015)
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban
Architecture Optimization with SysML Modeling: A Case Study Using Variability. MODELSWARD (Revised Selected Papers) (2015)
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban
SysML Modeling for Embedded Systems Design Optimization - A Case Study. MODELSWARD (2015)
Jérôme Hugues, Julien Delange
Model-based design and automated validation of ARINC653 architectures. RSP (2015)
Jérôme Hugues, Christophe Garion
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. HILT (2014)
Jérôme Hugues, Guillaume Brau
Analysis as a First-Class Citizen: An Application to Architecture Description Languages. ISORC (2014)
Yassine Ouhammou, Emmanuel Grolleau, Jérôme Hugues
Mapping AADL models to a repository of multiple schedulability analysis techniques. ISORC (2013)
Vincent Gaudel, Frank Singhoff, Alain Plantec, Jérôme Hugues, Pierre Dissaux, Jérôme Legrand
Enforcing software engineering tools interoperability: An example with AADL subsets. RSP (2013)
Peter H. Feiler, Jérôme Hugues, Oleg Sokolsky
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). Dagstuhl Reports 2 (7) (2012)
Kenneth B. Kent, Jérôme Hugues
Editorial to the Special Issue of Rapid System Prototyping'10. Softw. Pract. Exp. 42 (7) (2012)
Gilles Lasnier, Laurent Pautet, Jérôme Hugues
A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. ISORC (2011)
Olivier Gilles, Jérôme Hugues
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. Comput. Syst. Sci. Eng. 26 (6) (2011)
Stéphane Rubini, Frank Singhoff, Jérôme Hugues
Modeling and Verification of Memory Architectures with AADL and REAL. ICECCS (2011)
Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage
An Implementation of the Behavior Annex in the AADL-Toolset Osate2. ICECCS (2011)
Olivier Gilles, Jérôme Hugues
A MDE-Based Optimisation Process for Real-Time Systems. ISORC (2010)
Olivier Gilles, Jérôme Hugues
Expressing and Enforcing User-Defined Constraints of AADL Models. ICECCS (2010)
Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. ICECCS (2010)
Jörgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues
Architectural Modeling to Verify Security and Nonfunctional Behavior. IEEE Secur. Priv. 8 (1) (2010)
Olivier Gilles, Jérôme Hugues
Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL. RTCSA (2009)
Xavier Renault, Fabrice Kordon, Jérôme Hugues
From AADL Architectural Models to Petri Nets: Checking Model Viability. ISORC (2009)
Xavier Renault, Fabrice Kordon, Jérôme Hugues
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. IEEE International Workshop on Rapid System Prototyping (2009)
Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. Ada-Europe (2009)
Olivier Gilles, Jérôme Hugues
Applying WCET Analysis at Architectural Level. WCET (2008)
Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon
From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans. Embed. Comput. Syst. 7 (4) (2008)
Fabrice Kordon, Jérôme Hugues, Xavier Renault
From Model Driven Engineering to Verification Driven Engineering. SEUS (2008)
Jérôme Hugues, Maxime Perrotin, Thanassis Tsiodras
Using MDE for the Rapid Prototyping of Space Critical Systems. IEEE International Workshop on Rapid System Prototyping (2008)
Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues
Automatic framework generation for hard real-time applications. Innov. Syst. Softw. Eng. 4 (1) (2008)
Xavier Renault, Jérôme Hugues, Fabrice Kordon
Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS (2008)
Bechir Zalila, Laurent Pautet, Jérôme Hugues
Towards Automatic Middleware Generation. ISORC (2008)
Jérôme Hugues, Bechir Zalila, Laurent Pautet
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. ISORC (2007)
Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. IEEE International Workshop on Rapid System Prototyping (2007)
Irfan Hamid, Elie Najm, Jérôme Hugues
A Generative Approach to Building a Framework for Hard Real-Time Applications. SEW (2007)
José Antonio Pulido, Juan Antonio de la Puente, Jérôme Hugues, Matteo Bordin, Tullio Vardanega
Ada 2005 code patterns for metamodel-based code generation. IRTAW (2007)
Khaled Barbaria, Jérôme Hugues, Laurent Pautet
Design and Performance of a Generic Consensus Component for Critical Distributed Applications. Ada-Europe (2007)
Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet
Generating Distributed High Integrity Applications from Their Architectural Description. Ada-Europe (2007)
Jérôme Hugues, Laurent Pautet, Fabrice Kordon
A Framework for DRE middleware, an Application to DDS. ISORC (2006)
Bechir Zalila, Jérôme Hugues, Laurent Pautet
An improved IDL compiler for optimizing CORBA applications. SIGAda (2006)
Jérôme Hugues, Laurent Pautet, Bechir Zalila
From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain. Monterey Workshop (2006)
Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Revisiting COTS middleware for DRE systems. ISORC (2005)
Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud
A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop (2005)
Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
On the Formal Verification of Middleware Behavioral Properties. Electron. Notes Theor. Comput. Sci. 133 (2005)
Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Rapid Development Methodology for Customized Middleware. IEEE International Workshop on Rapid System Prototyping (2005)
Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. Ada-Europe (2004)
Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Contributions to middleware architectures to prototype distribution infrastructures. IEEE International Workshop on Rapid System Prototyping (2003)