E-LIB Suche - Ergebnisse für: Bernardeschi, Cinzia

1

A Risk Assessment Framework Based on Fuzzy Logic for Automo..:

Merola, Francesco ; Bernardeschi, Cinzia ; Lami, Giuseppe
Safety. 10 (2024) 2 - p. 41 , 2024

Link: https://doi.org/10.3390/..

2

Design and Validation of Cyber-Physical Systems Through Co-..:

Bernardeschi, Cinzia ; Domenici, Andrea ; Fagiolini, Adriano.
IEEE Access. 12 (2024) - p. 1064-1075 , 2024

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

3

Towards Formal Verification of Neural Networks in Cyber-Phy..:

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

Rossi, Federico ; Bernardeschi, Cinzia ; Cococcioni, Marco. - p. 207-222 , 2024

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

4

Do-it-Yourself FMU Generation:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,

Bernardeschi, Cinzia ; Dini, Pierpaolo ; Domenici, Andrea.. - p. 210-227 , 2023

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

5

Training Neural Networks in Cyber-Physical Systems using De..:

, In: 2023 International Conference on Electrical, Communication and Computer Engineering (ICECCE),

Bernardeschi, Cinzia ; Cococcioni, Marco ; Palmieri, Maurizio. - p. 1-6 , 2023

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

6

Co-simulated digital twin on the network edge: A vehicle pl..:

Palmieri, Maurizio ; Quadri, Christian ; Fagiolini, Adriano.
Computer Communications. 212 (2023) - p. 35-47 , 2023

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

7

Software Engineering and Formal Methods. SEFM 2022 Collocat..

Lecture Notes in Computer Science, 13765

Masci, Paolo ; Bernardeschi, Cinzia ; Graziani, Pierluigi.. - 1st ed. 2023 . , 2023

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

8

An Analysis System to Test Security of Software on Continuo..:

, In: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW),

Aparo, Carmelo ; Bernardeschi, Cinzia ; Lettieri, Giuseppe.. - p. 58-67 , 2023

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

9

A Workflow for Designing an On-line Supervisor for Cyber-Ph..:

, In: 2022 IEEE International Conference on Smart Computing (SMARTCOMP),

Palmieri, Maurizio ; Vallati, Carlo ; Anastasi, Giuseppe. - p. 323-328 , 2022

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

10

Demo: An On-line Supervisor for the Line Follower Robot:

, In: 2022 IEEE International Conference on Smart Computing (SMARTCOMP),

Palmieri, Maurizio ; Vallati, Carlo ; Anastasi, Giuseppe. - p. 180-182 , 2022

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

11

Co-simulated Digital Twin on the Network Edge: the case of ..:

, In: 2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM),

Palmieri, Maurizio ; Quadri, Christian ; Fagiolini, Adriano.. - p. 613-618 , 2022

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

12

Co-simulation of a Model Predictive Control System for Auto..:

, In: Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops,

Bernardeschi, Cinzia ; Dini, Pierpaolo ; Domenici, Andrea... - p. 204-220 , 2022

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

13

A framework for formal analysis and simulative evaluation o..:

Bernardeschi, Cinzia ; Dini, Gianluca ; Palmieri, Maurizio.
Journal of Computer Virology and Hacking Techniques. 17 (2021) 3 - p. 249-263 , 2021

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

14

ReLock: a resilient two-phase locking RESTful transaction m..:

Frosini, Luca ; Pagano, Pasquale ; Candela, Leonardo..
Service Oriented Computing and Applications. 15 (2021) 1 - p. 75-92 , 2021

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

15

Co-simulation and Formal Verification of Co-operative Drone..:

Bernardeschi, Cinzia ; Domenici, Andrea ; Fagiolini, Adriano.
The Computer Journal. 66 (2021) 2 - p. 295-317 , 2021

Link: https://doi.org/10.1093/..