Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bernardeschi, Cinzia
100  Ergebnisse:
?
1

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/..
 
?
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

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/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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/..
 
?
8

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/..
 
?
9

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/..
 
?
10

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/..
 
?
11

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/..
 
?
12

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/..
 
?
13

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/..
 
?
14

Cross-level Co-simulation and Verification of an Automatic ..:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,
Bernardeschi, Cinzia ; Domenici, Andrea ; Palmieri, Maurizio... - p. 263-279 , 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/..
 
1-15