Jérôme Hugues

75 papers B 5C 29Misc 7Journal 15Unranked 18

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