Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bernardeschi, Cinzia
26  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

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

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

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

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

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

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

Formalization and co-simulation of attacks on cyber-physica..:

Bernardeschi, Cinzia ; Domenici, Andrea ; Palmieri, Maurizio
Journal of Computer Virology and Hacking Techniques.  16 (2020)  1 - p. 63-77 , 2020
Link: https://doi.org/10.1007/..
 
?
9

The benefits of using interactive device simulations as tra..:

Bernardeschi, Cinzia ; Masci, Paolo ; Caramella, Davide.
ACM SIGBED Review.  16 (2019)  2 - p. 41-45 , 2019
Link: https://doi.org/10.1145/..
 
?
10

A framework for FMI-based co-simulation of human–machine in..:

Palmieri, Maurizio ; Bernardeschi, Cinzia ; Masci, Paolo
Software and Systems Modeling.  19 (2019)  3 - p. 601-623 , 2019
Link: https://doi.org/10.1007/..
 
?
11

The benefits of using interactive device simulations as tra..:

Bernardeschi, Cinzia ; Masci, Paolo ; Caramella, Davide.
ACM SIGBED Review.  16 (2019)  2 - p. 41-45 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Exploiting Model Checking for Mobile Botnet Detection:

Bernardeschi, Cinzia ; Mercaldo, Francesco ; Nardone, Vittoria.
Procedia Computer Science.  159 (2019)  - p. 963-972 , 2019
Link: https://doi.org/10.1016/..
 
?
13

OLT(RE)2: An On-Line On-Demand Testing Approach for Permane..:

Cozzi, Dario ; Korf, Sebastian ; Cassano, Luca...
IEEE Transactions on Emerging Topics in Computing.  6 (2018)  4 - p. 511-523 , 2018
Link: https://doi.org/10.1109/..
 
?
14

Verifying data secure flow in AUTOSAR models:

Bernardeschi, Cinzia ; Di Natale, Marco ; Dini, Gianluca.
Journal of Computer Virology and Hacking Techniques.  14 (2018)  4 - p. 269-289 , 2018
Link: https://doi.org/10.1007/..
 
?
15

A PVS-Simulink Integrated Environment for Model-Based Analy..:

Bernardeschi, Cinzia ; Domenici, Andrea ; Masci, Paolo
IEEE Transactions on Software Engineering.  44 (2018)  6 - p. 512-533 , 2018
Link: https://doi.org/10.1109/..
 
1-15