E-LIB Suche - Ergebnisse für: Hugues, Jérome

1

On the effect of clock offsets and quantization on learning..:

Fotiadis, Filippos ; Kanellopoulos, Aris ; Vamvoudakis, Kyriakos G..
Automatica. 167 (2024) - p. 111762 , 2024

Link: https://doi.org/10.1016/..

2

Timing-Aware Resilience of Data-driven Off-policy Reinforce..:

, In: 2023 American Control Conference (ACC),

Zhai, Lijing ; Fotiadis, Filippos ; Vamvoudakis, Kyriakos G.. - p. 2782-2787 , 2023

Link: https://doi.org/10.23919..

3

ADEPT 2022 workshop: a summary of strengths and weaknesses ..:

Singhoff, Frank ; Hugues, Jerome ; Nam Tran, Hai...
ACM SIGAda Ada Letters. 43 (2023) 1 - p. 37-41 , 2023

Link: https://doi.org/10.1145/..

4

Safe Stochastic Model-Based Policy Iteration with Chance Co..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),

Zhai, Lijing ; Vamvoudakis, Kyriakos G. ; Hugues, Jerome - p. 1808-1813 , 2023

Link: https://doi.org/10.1109/..

5

Special issue on Reliable Software Technologies (AEiC2022):

Hugues, Jerome
Journal of Systems Architecture. 135 (2023) - p. 102809 , 2023

Link: https://doi.org/10.1016/..

6

Mechanization of a Large DSML: An Experiment with AADL and ..:

, In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Hugues, Jerome ; Wrage, Lutz ; Hatcliff, John. - p. 1-9 , 2022

Link: https://doi.org/10.1109/..

7

Formalization of the AADL Run-Time Services:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Hatcliff, John ; Hugues, Jerome ; Stewart, Danielle. - p. 105-134 , 2022

Link: https://doi.org/10.1007/..

8

A Graph-Theoretic Security Index Based on Undetectability f..:

, In: 2022 American Control Conference (ACC),

Zhai, Lijing ; Vamvoudakis, Kyriakos G. ; Hugues, Jerome - p. 1479-1484 , 2022

Link: https://doi.org/10.23919..

9

Contracts in System Development: From Multiconcern Analysis..:

Hugues, Jerome ; Procter, Sam
IEEE Software. 39 (2022) 4 - p. 34-38 , 2022

Link: https://doi.org/10.1109/..

10

Impact of Sensor and Actuator Clock Offsets on Reinforcemen..:

, In: 2022 American Control Conference (ACC),

Fotiadis, Filippos ; Kanellopoulos, Aris ; Vamvoudakis, Kyriakos G.. - p. 2669-2674 , 2022

Link: https://doi.org/10.23919..

11

A correct-by-construction AADL runtime for the Ravenscar pr..:

Hugues, Jerome
Journal of Systems Architecture. 123 (2022) - p. 102376 , 2022

Link: https://doi.org/10.1016/..

12

TwinOps - DevOps meets model-based engineering and digital ..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Hugues, Jerome ; Hristosov, Anton ; Hudak, John J.. - p. 1-5 , 2020

Link: https://dl.acm.org/doi/1..

13

SPARK by Example: an introduction to formal verification th..:

Creuse, Léo ; Huguet, Joffrey ; Garion, Christophe.
ACM SIGAda Ada Letters. 38 (2019) 2 - p. 89-96 , 2019

Link: https://dl.acm.org/doi/1..

14

Teaching Deductive Verification Through Frama-C and SPARK f..:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,

Creuse, Léo ; Dross, Claire ; Garion, Christophe.. - p. 23-36 , 2019

Link: https://doi.org/10.1007/..

15

Model-Based Verification of Security and Non-Functional Beh..:

Hansson, Jorgen ; Lewis, Bruce ; Hugues, Jerome...
IEEE Security & Privacy. , 2019

Link: https://doi.org/10.1109/..