Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Bernardeschi, Cinzia
26
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
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