E-LIB Suche - Ergebnisse für: Roderick Bloem

1

Learning Mealy machines with one timer:

Vaandrager, Frits ; Ebrahimi, Masoud ; Bloem, Roderick
Information and Computation. 295 (2023) - p. 105013 , 2023

2

Quantile: Quantifying Information Leakage:

Hadžic, Vedad ; Cassiers, Gaëtan ; Primas, Robert..
IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024 (2023) 1 - p. 433-456 , 2023

Link: https://doi.org/10.46586..

3

Attribute Repair for Threat Prevention:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Tarrach, Thorsten ; Ebrahimi, Masoud ; König, Sandra... - p. 135-148 , 2023

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

4

Provable Correct and Adaptive Simplex Architecture for Boun..:

, In: Model Checking Software; Lecture Notes in Computer Science,

Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio... - p. 141-160 , 2023

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

5

A Systematic Approach to Automotive Security:

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

Ebrahimi, Masoud ; Marksteiner, Stefan ; Ničković, Dejan... - p. 598-609 , 2023

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

6

Proving SIFA protection of masked redundant circuits:

Hadžić, Vedad ; Primas, Robert ; Bloem, Roderick
Innovations in Systems and Software Engineering. 18 (2022) 3 - p. 471-481 , 2022

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

7

Specifiable robustness in reactive synthesis:

Bloem, Roderick ; Chockler, Hana ; Ebrahimi, Masoud.
Formal Methods in System Design. 60 (2022) 2 - p. 259-276 , 2022

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

8

Reactive Synthesis Modulo Theories using Abstraction Refine..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),

Maderbacher, Benedikt ; Bloem, Roderick - p. 315-324 , 2022

Link: https://doi.org/10.34727..

9

Correct-by-Construction Runtime Enforcement in AI – A Surve:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Könighofer, Bettina ; Bloem, Roderick ; Ehlers, Rüdiger. - p. 650-663 , 2022

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

10

Adaptive testing for specification coverage and refinement ..:

Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt..
Nonlinear Analysis: Hybrid Systems. 46 (2022) - p. 101254 , 2022

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

11

Software Verification: 13th International Conference, VSTTE..

Programming and Software Engineering, 13124

Bloem, Roderick ; Dimitrova, Rayna ; Fan, Chuchu. - 1st ed. 2022 . , 2022

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

12

Industry Paper: Surrogate Models for Testing Analog Designs..:

, In: 2022 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS),

Bloem, Roderick ; Larrauri, Alberto ; Lengfeldner, Roland... - p. 21-24 , 2022

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

13

FERPModels: A Certification Framework for Expansion-Based Q..:

, In: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Hadzic, Vedad ; Bloem, Roderick ; Shukla, Ankit. - p. 80-83 , 2022

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

14

Online shielding for reinforcement learning:

Könighofer, Bettina ; Rudolf, Julian ; Palmisano, Alexander..
Innovations in Systems and Software Engineering. 19 (2022) 4 - p. 379-394 , 2022

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

15

Power Contracts : Provably Complete Power Leakage Models..:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,

Bloem, Roderick ; Gigerl, Barbara ; Gourjon, Marc... - p. 381-395 , 2022

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