Jerome Hugues
Carnegie Mellon University
H-index: 21
North America-United States
Top articles of Jerome Hugues
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Real-Time and Experimental Reactive and Proactive Defense in a Multi-Agent Scenario | Jose M Magalhaes Lijing Zhai Filippos Fotiadis Aris Kanellopoulos Kyriakos G Vamvoudakis | 2024 | |
Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems | Lijing Zhai Filippos Fotiadis Kyriakos G Vamvoudakis Jérôme Hugues | 2023/5/31 | |
Transforming MBSE Models into Formally-Verifiable Language to Support Test and Evaluation asa Continuum | Jerome Hugues Dio de Niz | 2023/3/13 | |
You Can’t Wait for ROI for MBSE and Model-Based Analysis | Fred Schenker Jerome Hugues | 2023/5/1 | |
Safe Stochastic Model-Based Policy Iteration with Chance Constraints | Lijing Zhai Kyriakos G Vamvoudakis Jérôme Hugues | 2023/12/13 | |
Special issue on Reliable Software Technologies (AEiC2022) | J Javier Gutiérrez M Aldea Rivas | 2022/3 | |
You Can’t Wait for ROI to Justify Model-Based Design and Analysis for Cyber Physical Systems’ Embedded Computing Resources | Fred Schenker Jerome Hugues | 2023/5/1 | |
Model-Based Systems Engineering and Multi-Paradigm Modeling and Simulation, two faces of the same coin. | Jerome Hugues | 2023/11/1 | |
A Modular Approach to Verification of Learning Components in Cyber-Physical Systems | Lijing Zhai Aris Kanellopoulos Filippos Fotiadis Kyriakos G Vamvoudakis Jérôme Hugues | 2023 | |
AADLv2 Library for SysMLv2 | Jerome Hugues | 2023/4/1 | |
ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem | ACM SIGAda Ada Letters | Frank Singhoff Jérôme Hugues Hai Nam Tran Gianluca Bardaro Dominique Blouin | 2023/10/31 |
Contracts in System Development: From Multiconcern Analysis to Assurance | Jerome Hugues Sam Procter | 2023/3/17 | |
Mechanization of the Ravenscar Profile in Coq | ACM SIGAda Ada Letters | Jérôme Hugues | 2023/10/31 |
SysMLv2 as a DSML to support AADLv2 Semantics and Analysis | Jerome Hugues | 2023/3/13 | |
HTO Panel “What evidence is sufficient?” | Jerome Hugues | 2022 | |
Impact of sensor and actuator clock offsets on reinforcement learning | Filippos Fotiadis Aris Kanellopoulos Kyriakos G Vamvoudakis Jérôme Hugues | 2022/6/8 | |
Model-Based Systems Engineering (MBSE): An Architectural Perspective | Dio de Niz Sam Procter Jerome Hugues | 2022/10/31 | |
Towards intelligent security for unmanned aerial vehicles: A taxonomy of attacks, faults, and detection mechanisms | Lijing Zhai Aris Kanellopoulos Filippos Fotiadis Kyriakos G Vamvoudakis Jerome Hugues | 2022 | |
A Graph-Theoretic Security Index Based on Undetectability for Cyber-Physical Systems | Lijing Zhai Kyriakos G Vamvoudakis Jérôme Hugues | 2022/6/8 | |
Formalization of the AADL run-time services | John Hatcliff Jerome Hugues Danielle Stewart Lutz Wrage | 2022/10/17 |