Чланци са овлашћеним јавним приступом - Jerome HuguesСазнајте више
Није доступно нигде: 2
Model-based design and automated validation of ARINC653 architectures using the AADL
J Hugues, J Delange
Cyber-Physical System Design from an Architecture Analysis Viewpoint …, 2017
Овлашћења: US Department of Defense
Real-Time and Experimental Reactive and Proactive Defense in a Multi-Agent Scenario
JM Magalhaes, L Zhai, F Fotiadis, A Kanellopoulos, KG Vamvoudakis, ...
AIAA SCITECH 2024 Forum, 0343, 2024
Овлашћења: US National Science Foundation, US Department of Defense
Доступно негде: 22
TwinOps-DevOps meets model-based engineering and digital twins for the engineering of CPS
J Hugues, A Hristosov, JJ Hudak, J Yankel
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
Овлашћења: US Department of Defense
ESROCOS: a robotic operating system for space and terrestrial applications
MM Arancón, G Montano, M Wirkus, K Hoeflinger, D Silveira, N Tsiogkas, ...
14th Symposium on Advanced Space Technologies in Robotics and Automation …, 2017
Овлашћења: European Commission
Performing safety analyses with AADL and AltaRica
J Brunel, P Feiler, J Hugues, B Lewis, T Prosvirnova, C Seguin, L Wrage
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017
Овлашћења: US Department of Defense
Formalization of the AADL run-time services
J Hatcliff, J Hugues, D Stewart, L Wrage
International Symposium on Leveraging Applications of Formal Methods, 105-134, 2022
Овлашћења: US Department of Defense
Twinops: Digital twins meets devops
J Hugues, J Yankel, J Hudak, A Hristozov
CARNEGIE-MELLON UNIV PITTSBURGH PA, Tech. Rep., 2022
Овлашћења: US Department of Defense
ESROCOS: A robotic operating system for space and terrestrial applications
M Muñoz Arancón, G Montano, M Wirkus, KJ Höflinger, D Silveira, ...
Овлашћења: European Commission
A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014
J Hugues
Journal of Systems Architecture 123, 102376, 2022
Овлашћења: US Department of Defense
Towards intelligent security for unmanned aerial vehicles: A taxonomy of attacks, faults, and detection mechanisms
L Zhai, A Kanellopoulos, F Fotiadis, KG Vamvoudakis, J Hugues
AIAA SCITECH 2022 Forum, 0969, 2022
Овлашћења: US National Science Foundation, US Department of Defense
Mechanization of a large DSML: an experiment with AADL and coq
J Hugues, L Wrage, J Hatcliff, D Stewart
2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022
Овлашћења: US Department of Defense
Switching watermarking-based detection scheme against replay attacks
L Zhai, KG Vamvoudakis, J Hugues
2021 60th IEEE Conference on Decision and Control (CDC), 4200-4205, 2021
Овлашћења: US National Science Foundation, US Department of Energy, US Department of …
Impact of sensor and actuator clock offsets on reinforcement learning
F Fotiadis, A Kanellopoulos, KG Vamvoudakis, J Hugues
2022 American Control Conference (ACC), 2669-2674, 2022
Овлашћења: US National Science Foundation, US Department of Defense
A graph-theoretic security index based on undetectability for cyber-physical systems
L Zhai, KG Vamvoudakis, J Hugues
2022 American Control Conference (ACC), 1479-1484, 2022
Овлашћења: US National Science Foundation, US Department of Energy, US Department of …
Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language
J Hugues, S Procter
IEEE Software 39 (4), 34-38, 2022
Овлашћења: US Department of Defense
Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective.
J Hugues, D Cancila
AISafety@ IJCAI, 2022
Овлашћења: US Department of Defense
Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance
S Procter, J Hugues
11th European Congress on Embedded Real-Time Systems (ERTS 2022), 2022
Овлашћења: US Department of Defense
Safe Stochastic Model-Based Policy Iteration with Chance Constraints
L Zhai, KG Vamvoudakis, J Hugues
2023 62nd IEEE Conference on Decision and Control (CDC), 1808-1813, 2023
Овлашћења: US National Science Foundation, US Department of Defense
Mechanization of the Ravenscar Profile in Coq
J Hugues
ACM SIGAda Ada Letters 43 (1), 106-110, 2023
Овлашћења: US Department of Defense
Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems
L Zhai, F Fotiadis, KG Vamvoudakis, J Hugues
2023 American Control Conference (ACC), 2782-2787, 2023
Овлашћења: US National Science Foundation, US Department of Energy, US Department of …
Публикације и информације о финансирању аутоматски одређује рачунарски програм