Jérôme Hugues

发表

Refinement of AADL models using early-stage analysis methods : An avionics example

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

Enforcing software engineering tools interoperability: An example with AADL subsets

Jérôme Hugues, Alain Plantec, Frank Singhoff, 2013, 2013 International Symposium on Rapid System Prototyping (RSP).

On the Formal Verification of Middleware Behavioral Properties

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2005, Electron. Notes Theor. Comput. Sci..

Building Parallel, Embedded, and Real-Time Applications with Ada: Sequential programming with Ada

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

Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation: A Case-Study

Julien Delange, Jérôme Hugues, 2015 .

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

Laurent Pautet, Bechir Zalila, Jérôme Hugues, 2006, Monterey Workshop.

Performance verification for ESL design methodology from AADL models

Jérôme Hugues, Gaudron Mathieu, Bois Guy, 2015, 2015 International Symposium on Rapid System Prototyping (RSP).

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

Bechir Zalila, Jérôme Hugues, Wafa Gabsi, 2016, Int. J. Auton. Adapt. Commun. Syst..

Expressing and Enforcing User-Defined Constraints of AADL Models

Jérôme Hugues, Olivier Gilles, 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

Une Approche Intégrée pour la Validation et la Génération de Systèmes Critiques par Raffinement Incrémental de Modèles Architecturaux

Laurent Pautet, Jérôme Hugues, 2012 .

Combining SysML and AADL for the Design, Validation and Implementation of Critical Systems

Jérôme Hugues, Pierre de Saqui-Sannes, J. Hugues, 2012 .

Building Parallel, Embedded, and Real-Time Applications with Ada: Task basics

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

Building Parallel, Embedded, and Real-Time Applications with Ada: Distributed systems with Ada

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

AADLib, A Library of Reusable AADL Models

Jérôme Hugues, 2013 .

Multi domain optimization with SysML modeling

Jérôme Hugues, Pierre de Saqui-Sannes, Patrick Leserf, 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

Design, Validation and Implementation of Critical Systems

Jérôme Hugues, Pierre de Saqui-Sannes, 2012 .

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

Laurent Pautet, Bechir Zalila, Jérôme Hugues, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

Applying WCET Analysis at Architectural Level

Jérôme Hugues, Olivier Gilles, 2008, WCET.

A case study of Middleware to Middleware: MOM and ORB interoperability

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

Embedded Systems: Kordon/Embedded Systems

Fabrice Kordon, Jérôme Hugues, Agusti Canals, 2013 .

Building Parallel, Embedded, and Real-Time Applications with Ada: References

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

Architectural performance analysis of FPGA synthesized LEON processors

Jérôme Hugues, Eric Noulard, Luca Santinelli, 2016, 2016 International Symposium on Rapid System Prototyping (RSP).

Bridging the high-level model to execution platform for design space exploration and implementation

Jérôme Hugues, Gabriela Nicolescu, Guy Bois, 2014 .

The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software.

Jérôme Hugues, Pierre Dissaux, Thanassis Tsiodras, 2010 .

The Design of Aerospace Systems

Julien Delange, Jérôme Hugues, Maxime Perrotin, 2013 .

From AADL Architectural Models to Petri Nets: Checking Model Viability

Fabrice Kordon, Jérôme Hugues, Xavier Renault, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

An improved IDL compiler for optimizing CORBA applications

Laurent Pautet, Bechir Zalila, Jérôme Hugues, 2006, SIGAda.

Performing Safety Analyses with AADL and AltaRica

Jérôme Hugues, Peter H. Feiler, Christel Seguin, 2017, IMBSA.

EAST-ADL : An Architecture-centric Approach to the Design, Analysis, Verification and Validation of Complex Embedded Systems

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

Teaching formal methods through Frama-C & SPARK

Jérôme Hugues, Christophe Garion, 2019 .

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

Jérôme Hugues, Nicolas Navet, Guillaume Brau, 2018, Sci. Comput. Program..

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

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

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

Laurent Pautet, Fabrice Kordon, Bechir Zalila, 2008, TECS.

Teaching Real-Time Scheduling Analysis with Cheddar

Laurent Lemarchand, Laurent Pautet, Jérôme Hugues, 2015 .

A Contract-Based Approach to Support Goal-Driven Analysis

Jérôme Hugues, Nicolas Navet, Guillaume Brau, 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing.

CESEC Chair – Training Embedded System Architects for the Critical Systems Domain

Jérôme Hugues, Janette Cardoso, 2013 .

A framework for DRE middleware, an application to DDS

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND TERRESTRIAL APPLICATIONS

Jérôme Hugues, H. Bruyninckx, D. Silveira, 2017, ICRA 2017.

Rapid development methodology for customized middleware

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2005, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05).

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

Jérôme Hugues, Pierre de Saqui-Sannes, Patrick Leserf, 2019, Software and Systems Modeling.

Mapping AADL models to a repository of multiple schedulability analysis techniques

Jérôme Hugues, Emmanuel Grolleau, Yassine Ouhammou, 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).

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

Jérôme Hugues, Guillaume Brau, 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Towards Automatic Middleware Generation

Laurent Pautet, Bechir Zalila, Jérôme Hugues, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next

Jérôme Hugues, 2011 .

Validate implementation correctness using simulation: the TASTE approach

Julien Delange, Jérôme Hugues, Pierre Dissaux, 2012 .

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

Jérôme Hugues, Christophe Garion, 2014 .

Model based code generation for distributed embedded systems

Julien Delange, Jérôme Hugues, Swaminathan Gopalswamy, 2010 .

Intergiciels pour le temps réel

Jérôme Hugues, 2011 .

Revisiting COTS middleware for DRE systems

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

Integrating AADL and FMI to Extend Virtual Integration Capability pdf

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

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

Jérôme Hugues, Claire Dross, Christophe Garion, 2019, FMTea.

Elements for the Design of Embedded Computer Systems

Fabrice Kordon, Jérôme Hugues, Agusti Canals, 2013 .

Towards the qualification of an AADL model transformation tool with contracts

Jérôme Hugues, Guillaume Brau, Christophe Garion, 2019 .

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

Fabrice Kordon, Jérôme Hugues, Xavier Renault, 2009, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping.

From AADL Model to LNT Specification

Mohamed Jmaiel, Bechir Zalila, Jérôme Hugues, 2015, Ada-Europe.

PRISE: An Integrated Platform for Research and Teaching of Critical Embedded Systems

Jérôme Hugues, Pierre Siron, Alexandre Hamez, 2012 .

European space robotics control and operating system (ESROCOS)

Jérôme Hugues, 2017 .

Editorial to the Special Issue of Rapid System Prototyping'10

Jérôme Hugues, Kenneth B. Kent, 2012, Softw. Pract. Exp..

SPARK by Example: an introduction to formal verification through the standard C++ library

Jérôme Hugues, Christophe Garion, Léo Creuse, 2019, ALET.

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

Laurent Pautet, Jérôme Hugues, Khaled Barbaria, 2007, Ada-Europe.

Presentation of the AADL Concepts

Jérôme Hugues, Xavier Renault, 2013 .

Architecture Driven Generation of Distributed Embedded Software from Functional Models

Julien Delange, Jérôme Hugues, Swaminathan Gopalswamy, 2009 .

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

Laurent Pautet, Jérôme Hugues, Lutz Wrage, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

Towards a formal specification for an AADL behavioural subset using the LNT language

Mohamed Jmaiel, Bechir Zalila, Jérôme Hugues, 2020 .

AADLv2, An Architecture Description Language for the Analysis and Generation of Embedded Systems

Jérôme Hugues, Frank Singhoff, 2014 .

A programming language view to model-driven engineering

Jérôme Hugues, 2013 .

Model-Based Engineering for the Development of ARINC653 Architectures

Julien Delange, Laurent Pautet, Jérôme Hugues, 2009 .

From learning examples to High-Integrity Middleware, comparing ACSL and SPARK

Jérôme Hugues, Christophe Garion, 2017 .

Architecture Optimization with SysML Modeling: A Case Study Using Variability

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

Architectural Modeling to Verify Security and Nonfunctional Behavior

Jörgen Hansson, Jérôme Hugues, Peter H. Feiler, 2010, IEEE Security & Privacy.

AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems

Jérôme Hugues, Frank Singhoff, 2014 .

An ocarina extension for AADL formal semantics generation

Mohamed Jmaiel, Bechir Zalila, Jérôme Hugues, 2018, SAC.

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

Jérôme Hugues, Christophe Garion, 2014, HILT '14.

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

Irfan Hamid, Jérôme Hugues, Elie Najm, 2007, 31st IEEE Software Engineering Workshop (SEW 2007).

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Fabrice Kordon, Jérôme Hugues, Agusti Canals, 2013 .

Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADL

Julien Delange, Jérôme Hugues, 2017 .

From Model Driven Engineering to Verification Driven Engineering

Fabrice Kordon, Jérôme Hugues, Xavier Renault, 2008, SEUS.

SysML modeling for embedded systems design optimization: A case study

Jérôme Hugues, Pierre de Saqui-Sannes, Patrick Leserf, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

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

Julien Delange, Laurent Pautet, Jérôme Hugues, 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

Refining Middleware Functions for Verification Purpose

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

Building Parallel, Embedded, and Real-Time Applications with Ada: List of tables

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

Model‐Based Analysis

Jérôme Hugues, Thomas Robert, J. Hugues, 2013 .

A MDE-Based Optimisation Process for Real-Time Systems

Jérôme Hugues, Olivier Gilles, 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Static probabilistic timing analysis in presence of faults

Jérôme Hugues, Chao Chen, Luca Santinelli, 2016, 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES).

The AADL Constraint Annex

Jérôme Hugues, Serban Gheoghe, 2013 .

Tighter Integration of Drivers and Protocols in a AADL-based Code Generation Process

Jérôme Hugues, 2014 .

Automatic framework generation for hard real-time applications

Bechir Zalila, Irfan Hamid, Jérôme Hugues, 2008, Innovations in Systems and Software Engineering.

An improved IDL compiler for optimizing CORBA applications

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

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2004, Ada-Europe.

Building Parallel, Embedded, and Real-Time Applications with Ada: Tools for building and verifying real-time applications

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

Building Parallel, Embedded, and Real-Time Applications with Ada: Real-time programming with Ada

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

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

Jérôme Hugues, Oleg Sokolsky, 2015, Sci. Comput. Program..

Real-time systems and scheduling concepts

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

Contributions to middleware architectures to prototype distribution infrastructures

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2003, 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings..

Analytic virtual integration of cyber-physical systems & AADL: challenges, threats and opportunities

Jérôme Hugues, 2011 .

Modeling and Verification of Memory Architectures with AADL and REAL

Jérôme Hugues, Stéphane Rubini, Frank Singhoff, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

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

Laurent Pautet, Fabrice Kordon, Bechir Zalila, 2007, IEEE International Workshop on Rapid System Prototyping.

Model-based design and automated validation of ARINC653 architectures

Julien Delange, Jérôme Hugues, 2015, 2015 International Symposium on Rapid System Prototyping (RSP).

Formal Modeling of a Generic Middleware to Ensure Invariant Properties

Fabrice Kordon, Jérôme Hugues, Xavier Renault, 2008, FMOODS.

System to Software Integrity: A Case Study

Jérôme Hugues, Cyrille Comar, Yannick Moy, 2014 .

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

Laurent Pautet, Jérôme Hugues, Gilles Lasnier, 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Towards Proof-Based Real-Time Distribution Middleware

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

Model-Based Verification of Security and Non-Functional Behavior using AADL

Jörgen Hansson, Jérôme Hugues, Peter H. Feiler, 2016, IEEE S&P 2016.

A Factory to Design and Build Tailorable and Verifiable Middleware

Laurent Pautet, Fabrice Kordon, Jérôme Hugues, 2005, Monterey Workshop.

Concrete aerospace systems

Julien Delange, Jérôme Hugues, Maxime Perrotin, 2011 .

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

Jérôme Hugues, Nicolas Navet, Guillaume Brau, 2017, RTNS.

Model Driven Engineering with Capella and AADL

Jérôme Hugues, Bassem Ouni, Eric Jenn, 2016 .