default search action
Jérôme Hugues
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]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: 111762 (2024) - [c58]Surabhi Athalye, Filippos Fotiadis, Kyriakos G. Vamvoudakis, Jérôme Hugues:
An Output Feedback Game-Theoretic Approach for Defense Against Stealthy GNSS Spoofing Attacks. ACC 2024: 3704-3709 - [c57]Filippos Fotiadis, Aris Kanellopoulos, Kyriakos G. Vamvoudakis, Jérôme Hugues:
Poisoning Actuation Attacks Against the Learning of an Optimal Controller. ACC 2024: 4838-4843 - 2023
- [j12]Jérôme Hugues:
Special issue on Reliable Software Technologies (AEiC2022). J. Syst. Archit. 135: 102809 (2023) - [c56]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: 2782-2787 - [c55]Lijing Zhai, Kyriakos G. Vamvoudakis, Jérôme Hugues:
Safe Stochastic Model-Based Policy Iteration with Chance Constraints. CDC 2023: 1808-1813 - 2022
- [j11]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): 34-38 (2022) - [c54]Lijing Zhai, Kyriakos G. Vamvoudakis
A Graph-Theoretic Security Index Based on Undetectability for Cyber-Physical Systems. ACC 2022: 1479-1484 - [c53]Filippos Fotiadis, Aris Kanellopoulos, Kyriakos G. Vamvoudakis
Impact of Sensor and Actuator Clock Offsets on Reinforcement Learning. ACC 2022: 2669-2674 - [c52]Jérôme Hugues, Daniela Cancila:
Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective. AISafety@IJCAI 2022 - [c51]John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage:
Formalization of the AADL Run-Time Services. ISoLA (2) 2022: 105-134 - [c50]Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart:
Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE 2022: 1-9 - 2021
- [c49]Lijing Zhai, Kyriakos G. Vamvoudakis
Switching Watermarking-based Detection Scheme Against Replay Attacks. CDC 2021: 4200-4205 - 2020
- [j10]Hana Mkaouar, Bechir Zalila
A formal approach to AADL model-based software engineering. Int. J. Softw. Tools Technol. Transf. 22(2): 219-247 (2020) - [c48]Jérôme Hugues, Anton Dimov Hristozov, John J. Hudak, Joe Yankel:
TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS. MoDELS (Companion) 2020: 94:1-94:5
2010 – 2019
- 2019
- [j9]Patrick Leserf, Pierre de Saqui-Sannes
Trade-off analysis for SysML models using decision points and CSPs. Softw. Syst. Model. 18(6): 3265-3281 (2019) - [c47]Léo Creuse, Claire Dross, Christophe Garion
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. FMTea 2019: 23-36 - 2018
- [j8]Guillaume Brau, Jérôme Hugues
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. Sci. Comput. Program. 156: 1-20 (2018) - [c46]Hana Mkaouar, Bechir Zalila
An ocarina extension for AADL formal semantics generation. SAC 2018: 1402-1409 - [i2]Jérôme Hugues, Jean-Marie Gauthier, Raphaël Faudou:
Integrating AADL and FMI to Extend Virtual Integration Capability. CoRR abs/1802.05620 (2018) - 2017
- [c45]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: 67-81 - [c44]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: 168-177 - 2016
- [j7]Wafa Gabsi
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): 269-287 (2016) - [c43]Corentin Damman, Gregory Edison, Fabrice Guet, Eric Noulard, Luca Santinelli, Jérôme Hugues:
Architectural performance analysis of FPGA synthesized LEON processors. RSP 2016: 33-40 - [c42]Chao Chen, Luca Santinelli, Jérôme Hugues, Giovanni Beltrame:
Static probabilistic timing analysis in presence of faults. SIES 2016: 149-158 - 2015
- [j6]Jérôme Hugues, Oleg Sokolsky:
Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems. Sci. Comput. Program. 106: 1-2 (2015) - [c41]Hana Mkaouar, Bechir Zalila
From AADL Model to LNT Specification. Ada-Europe 2015: 146-161 - [c40]Patrick Leserf, Pierre de Saqui-Sannes
Multi domain optimization with SysML modeling. ETFA 2015: 1-8 - [c39]Guillaume Brau, Jérôme Hugues, Nicolas Navet:
A Contract-Based Approach to Support Goal-Driven Analysis. ISORC 2015: 236-243 - [c38]Patrick Leserf, Pierre de Saqui-Sannes
Architecture Optimization with SysML Modeling: A Case Study Using Variability. MODELSWARD (Revised Selected Papers) 2015: 311-327 - [c37]Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban
SysML Modeling for Embedded Systems Design Optimization - A Case Study. MODELSWARD 2015: 449-457 - [c36]Jérôme Hugues, Julien Delange:
Model-based design and automated validation of ARINC653 architectures. RSP 2015: 3-9 - [c35]Gaudron Mathieu, Bois Guy, Jérôme Hugues, Fellipe Monteiro:
Performance verification for ESL design methodology from AADL models. RSP 2015: 33-37 - 2014
- [c34]Jérôme Hugues, Guillaume Brau:
Analysis as a First-Class Citizen: An Application to Architecture Description Languages. ISORC 2014: 214-221 - [c33]Jérôme Hugues, Christophe Garion
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. HILT 2014: 39-46 - 2013
- [c32]Yassine Ouhammou, Emmanuel Grolleau, Jérôme Hugues:
Mapping AADL models to a repository of multiple schedulability analysis techniques. ISORC 2013: 1-8 - [c31]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: 59-65 - 2012
- [j5]Kenneth B. Kent
Editorial to the Special Issue of Rapid System Prototyping'10. Softw. Pract. Exp. 42(7): 779 (2012) - [i1]Peter H. Feiler, Jérôme Hugues, Oleg Sokolsky:
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). Dagstuhl Reports 2(7): 30-55 (2012) - 2011
- [b1]John W. McCormick, Frank Singhoff, Jérôme Hugues:
Building Parallel, Embedded, and Real-Time Applications with Ada. Cambridge University Press 2011, ISBN 978-0-521-19716-8, pp. I-XVII, 1-368 - [j4]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) - [c30]Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage:
An Implementation of the Behavior Annex in the AADL-Toolset Osate2. ICECCS 2011: 332-337 - [c29]Stéphane Rubini, Frank Singhoff, Jérôme Hugues:
Modeling and Verification of Memory Architectures with AADL and REAL. ICECCS 2011: 338-343 - [c28]Gilles Lasnier, Laurent Pautet, Jérôme Hugues:
A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. ISORC 2011: 67-74 - 2010
- [j3]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): 43-49 (2010) - [c27]Julien Delange
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. ICECCS 2010: 319-324 - [c26]Olivier Gilles, Jérôme Hugues:
Expressing and Enforcing User-Defined Constraints of AADL Models. ICECCS 2010: 337-342 - [c25]Olivier Gilles, Jérôme Hugues:
A MDE-Based Optimisation Process for Real-Time Systems. ISORC 2010: 50-57
2000 – 2009
- 2009
- [c24]Gilles Lasnier, Bechir Zalila
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. Ada-Europe 2009: 237-250 - [c23]Xavier Renault, Fabrice Kordon, Jérôme Hugues:
From AADL Architectural Models to Petri Nets: Checking Model Viability. ISORC 2009: 313-320 - [c22]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: 26-33 - [c21]Olivier Gilles, Jérôme Hugues:
Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL. RTCSA 2009: 129-134 - 2008
- [j2]Irfan Hamid, Bechir Zalila
Automatic framework generation for hard real-time applications. Innov. Syst. Softw. Eng. 4(1): 107-122 (2008) - [j1]Jérôme Hugues, Bechir Zalila
From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans. Embed. Comput. Syst. 7(4): 42:1-42:25 (2008) - [c20]Xavier Renault, Jérôme Hugues, Fabrice Kordon:
Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS 2008: 185-200 - [c19]Bechir Zalila
Towards Automatic Middleware Generation. ISORC 2008: 221-228 - [c18]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: 10-16 - [c17]Fabrice Kordon, Jérôme Hugues, Xavier Renault:
From Model Driven Engineering to Verification Driven Engineering. SEUS 2008: 381-393 - [c16]Olivier Gilles, Jérôme Hugues:
Applying WCET Analysis at Architectural Level. WCET 2008 - 2007
- [c15]Bechir Zalila
Generating Distributed High Integrity Applications from Their Architectural Description. Ada-Europe 2007: 155-167 - [c14]Khaled Barbaria, Jérôme Hugues, Laurent Pautet:
Design and Performance of a Generic Consensus Component for Critical Distributed Applications. Ada-Europe 2007: 208-220 - [c13]José Antonio Pulido, Juan Antonio de la Puente
Ada 2005 code patterns for metamodel-based code generation. IRTAW 2007: 53-58 - [c12]Jérôme Hugues, Bechir Zalila
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. ISORC 2007: 307-312 - [c11]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: 106-112 - [c10]Irfan Hamid, Elie Najm, Jérôme Hugues:
A Generative Approach to Building a Framework for Hard Real-Time Applications. SEW 2007: 269-278 - 2006
- [c9]Jérôme Hugues, Laurent Pautet
A Framework for DRE middleware, an Application to DDS. ISORC 2006: 224-231 - [c8]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: 35-52 - [c7]Bechir Zalila
An improved IDL compiler for optimizing CORBA applications. SIGAda 2006: 21-28 - 2005
- [c6]Jérôme Hugues, Laurent Pautet
Revisiting COTS middleware for DRE systems. ISORC 2005: 72-79 - [c5]Jérôme Hugues, Fabrice Kordon, Laurent Pautet
A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop 2005: 121-142 - [c4]Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
Rapid Development Methodology for Customized Middleware. IEEE International Workshop on Rapid System Prototyping 2005: 111-117 - 2004
- [c3]Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. Ada-Europe 2004: 106-119 - [c2]Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg
On the Formal Verification of Middleware Behavioral Properties. FMICS 2004: 139-157 - 2003
- [c1]Jérôme Hugues, Laurent Pautet
Contributions to middleware architectures to prototype distribution infrastructures. IEEE International Workshop on Rapid System Prototyping 2003: 124-
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 23:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: