| 2022 | IJCAI | Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective. | Jrme Hugues, Daniela Cancila |
| 2022 | ISoLA | Formalization of the AADL Run-Time Services. | John Hatcliff, Jrme Hugues, Danielle Stewart, Lutz Wrage |
| 2022 | MEMOCODE | Mechanization of a Large DSML: An Experiment with AADL and Coq. | Jrme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart |
| 2020 | MODELS | TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS. | Jrme Hugues, Anton Dimov Hristozov, John J. Hudak, Joe Yankel |
| 2018 | SAC | An ocarina extension for AADL formal semantics generation. | Hana Mkaouar, Bechir Zalila, Jrme Hugues, Mohamed Jmaiel |
| 2017 | RTNS | Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. | Guillaume Brau, Nicolas Navet, Jrme Hugues |
| 2016 | RSP | Architectural performance analysis of FPGA synthesized LEON processors. | Corentin Damman, Gregory Edison, Fabrice Guet, Eric Noulard, Luca Santinelli, Jrme Hugues |
| 2015 | ETFA | Multi domain optimization with SysML modeling. | Patrick Leserf, Pierre de Saqui-Sannes, Jrme Hugues |
| 2015 | ISORC | A Contract-Based Approach to Support Goal-Driven Analysis. | Guillaume Brau, Jrme Hugues, Nicolas Navet |
| 2015 | MODELSWARD | SysML Modeling for Embedded Systems Design Optimization - A Case Study. | Patrick Leserf, Pierre de Saqui-Sannes, Jrme Hugues, Khaled Chaaban |
| 2015 | MODELSWARD | Architecture Optimization with SysML Modeling: A Case Study Using Variability. | Patrick Leserf, Pierre de Saqui-Sannes, Jrme Hugues, Khaled Chaaban |
| 2015 | RSP | Model-based design and automated validation of ARINC653 architectures. | Jrme Hugues, Julien Delange |
| 2015 | RSP | Performance verification for ESL design methodology from AADL models. | Gaudron Mathieu, Bois Guy, Jrme Hugues, Fellipe Monteiro |
| 2014 | ISORC | Analysis as a First-Class Citizen: An Application to Architecture Description Languages. | Jrme Hugues, Guillaume Brau |
| 2013 | ISORC | Mapping AADL models to a repository of multiple schedulability analysis techniques. | Yassine Ouhammou, Emmanuel Grolleau, Jrme Hugues |
| 2013 | RSP | Enforcing software engineering tools interoperability: An example with AADL subsets. | Vincent Gaudel, Frank Singhoff, Alain Plantec, Jrme Hugues, Pierre Dissaux, Jrme Legrand |
| 2011 | ICECCS | An Implementation of the Behavior Annex in the AADL-Toolset Osate2. | Gilles Lasnier, Laurent Pautet, Jrme Hugues, Lutz Wrage |
| 2011 | ICECCS | Modeling and Verification of Memory Architectures with AADL and REAL. | Stphane Rubini, Frank Singhoff, Jrme Hugues |
| 2011 | ISORC | A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. | Gilles Lasnier, Laurent Pautet, Jrme Hugues |
| 2010 | ICECCS | An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. | Julien Delange, Laurent Pautet, Jrme Hugues, Dionisio de Niz |
| 2010 | ICECCS | Expressing and Enforcing User-Defined Constraints of AADL Models. | Olivier Gilles, Jrme Hugues |
| 2010 | ISORC | A MDE-Based Optimisation Process for Real-Time Systems. | Olivier Gilles, Jrme Hugues |
| 2009 | ISORC | From AADL Architectural Models to Petri Nets: Checking Model Viability. | Xavier Renault, Fabrice Kordon, Jrme Hugues |
| 2009 | RSP | Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. | Xavier Renault, Fabrice Kordon, Jrme Hugues |
| 2009 | RTCSA | Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL. | Olivier Gilles, Jrme Hugues |
| 2008 | ISORC | Towards Automatic Middleware Generation. | Bechir Zalila, Laurent Pautet, Jrme Hugues |
| 2008 | RSP | Using MDE for the Rapid Prototyping of Space Critical Systems. | Jrme Hugues, Maxime Perrotin, Thanassis Tsiodras |
| 2007 | ISORC | Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. | Jrme Hugues, Bechir Zalila, Laurent Pautet |
| 2007 | RSP | Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. | Jrme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon |
| 2007 | SEW | A Generative Approach to Building a Framework for Hard Real-Time Applications. | Irfan Hamid, Elie Najm, Jrme Hugues |
| 2006 | ISORC | A Framework for DRE middleware, an Application to DDS. | Jrme Hugues, Laurent Pautet, Fabrice Kordon |
| 2005 | ISORC | Revisiting COTS middleware for DRE systems. | Jrme Hugues, Laurent Pautet, Fabrice Kordon |
| 2005 | RSP | Rapid Development Methodology for Customized Middleware. | Thomas Vergnaud, Jrme Hugues, Laurent Pautet, Fabrice Kordon |
| 2003 | RSP | Contributions to middleware architectures to prototype distribution infrastructures. | Jrme Hugues, Laurent Pautet, Fabrice Kordon |