Cinzia Bernardeschi
AuthID: R-00G-XF9
1
TÃTULO: A framework for FMI-based co-simulation of human-machine interfaces
AUTORES: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci;
PUBLICAÇÃO: 2020, FONTE: Software and Systems Modeling, VOLUME: 19, NÚMERO: 3
AUTORES: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci;
PUBLICAÇÃO: 2020, FONTE: Software and Systems Modeling, VOLUME: 19, NÚMERO: 3
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: The benefits of using interactive device simulations as training material for clinicians: An experience report with a contrast media injector used in CT
AUTORES: Bernardeschi, C; Masci, P; Caramella, D; Dell’Osso, R;
PUBLICAÇÃO: 2019, FONTE: ACM SIGBED Review, VOLUME: 16, NÚMERO: 2
AUTORES: Bernardeschi, C; Masci, P; Caramella, D; Dell’Osso, R;
PUBLICAÇÃO: 2019, FONTE: ACM SIGBED Review, VOLUME: 16, NÚMERO: 2
INDEXADO EM: 
Scopus
Scopus3
TÃTULO: Logic-Based Formalization of System Requirements for Integrated Clinical Environments
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLICAÇÃO: 2019, FONTE: International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM) in AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE, VOLUME: 30
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLICAÇÃO: 2019, FONTE: International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM) in AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE, VOLUME: 30
INDEXADO EM: 
WOS
WOS4
TÃTULO: The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT
AUTORES: Cinzia Bernardeschi; Paolo Masci; Davide Caramella; Ruggero Dell'Osso;
PUBLICAÇÃO: 2019, FONTE: SIGBED Review, VOLUME: 16, NÚMERO: 2
AUTORES: Cinzia Bernardeschi; Paolo Masci; Davide Caramella; Ruggero Dell'Osso;
PUBLICAÇÃO: 2019, FONTE: SIGBED Review, VOLUME: 16, NÚMERO: 2
INDEXADO EM: DBLP
DBLP5
TÃTULO: Logic-Based Formalization of System Requirements for Integrated Clinical Environments
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLICAÇÃO: 2019, FONTE: Automated Reasoning for Systems Biology and Medicine, VOLUME: 30
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLICAÇÃO: 2019, FONTE: Automated Reasoning for Systems Biology and Medicine, VOLUME: 30
INDEXADO EM: DBLP
DBLP6
TÃTULO: A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems Full Text
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLICAÇÃO: 2018, FONTE: IEEE Trans. Software Eng., VOLUME: 44, NÚMERO: 6
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLICAÇÃO: 2018, FONTE: IEEE Trans. Software Eng., VOLUME: 44, NÚMERO: 6
7
TÃTULO: Data Leakage in Java Applets with Exception Mechanism PDF
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Antonella Santone;
PUBLICAÇÃO: 2018, FONTE: 2nd Italian Conference on Cyber Security, ITASEC 2018 in Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to - 9th, 2018., VOLUME: 2058
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Antonella Santone;
PUBLICAÇÃO: 2018, FONTE: 2nd Italian Conference on Cyber Security, ITASEC 2018 in Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to - 9th, 2018., VOLUME: 2058
INDEXADO EM: Scopus DBLP
Scopus DBLP8
TÃTULO: A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
AUTORES: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2018, FONTE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176
AUTORES: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2018, FONTE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176
INDEXADO EM: DBLP 
CrossRef
DBLP CrossRef9
TÃTULO: Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
AUTORES: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, VOLUME: 10729
AUTORES: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, VOLUME: 10729
10
TÃTULO: Towards a Formalization of System Requirements for an Integrated Clinical Environment
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLICAÇÃO: 2016, FONTE: EAI Endorsed Trans. Self-Adaptive Systems, VOLUME: 2, NÚMERO: 6
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLICAÇÃO: 2016, FONTE: EAI Endorsed Trans. Self-Adaptive Systems, VOLUME: 2, NÚMERO: 6
