Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bernardeschi, Cinzia
80  Ergebnisse:
englisch X
Personensuche X
?
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

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

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

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

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

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

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

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

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

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

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

Identify Potential Attacks from Simulated Log Analysis:

, In: 2020 International Joint Conference on Neural Networks (IJCNN),
Bernardeschi, Cinzia ; Domenici, Andrea ; Mercaldo, Francesco. - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
14

Formal Verification and Co-Simulation in the Design of a Sy..:

Bernardeschi, Cinzia ; Dini, Pierpaolo ; Domenici, Andrea..
Energies.  13 (2020)  16 - p. 4057 , 2020
Link: https://doi.org/10.3390/..
 
?
15

Co-simulation of bio-inspired multi-agent algorithms:

, In: Proceedings of the 2020 Summer Simulation Conference,
Bernardeschi, Cinzia ; Domenici, Andrea ; Palmieri, Maurizio. - p. 1-12 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15