Cinzia Bernardeschi
AuthID: R-00G-XF9
1
TITLE: A framework for FMI-based co-simulation of human-machine interfaces
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci;
PUBLISHED: 2020, SOURCE: Software and Systems Modeling, VOLUME: 19, ISSUE: 3
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci;
PUBLISHED: 2020, SOURCE: Software and Systems Modeling, VOLUME: 19, ISSUE: 3
INDEXED IN: 
DBLP
DBLP2
TITLE: The benefits of using interactive device simulations as training material for clinicians: An experience report with a contrast media injector used in CT
AUTHORS: Bernardeschi, C; Masci, P; Caramella, D; Dell’Osso, R;
PUBLISHED: 2019, SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 2
AUTHORS: Bernardeschi, C; Masci, P; Caramella, D; Dell’Osso, R;
PUBLISHED: 2019, SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 2
INDEXED IN: 
Scopus
Scopus3
TITLE: Logic-Based Formalization of System Requirements for Integrated Clinical Environments
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLISHED: 2019, SOURCE: International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM) in AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE, VOLUME: 30
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLISHED: 2019, SOURCE: International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM) in AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE, VOLUME: 30
INDEXED IN: 
WOS
WOS4
TITLE: The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT
AUTHORS: Cinzia Bernardeschi; Paolo Masci; Davide Caramella; Ruggero Dell'Osso;
PUBLISHED: 2019, SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 2
AUTHORS: Cinzia Bernardeschi; Paolo Masci; Davide Caramella; Ruggero Dell'Osso;
PUBLISHED: 2019, SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 2
INDEXED IN: DBLP
DBLP5
TITLE: Logic-Based Formalization of System Requirements for Integrated Clinical Environments
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLISHED: 2019, SOURCE: Automated Reasoning for Systems Biology and Medicine, VOLUME: 30
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLISHED: 2019, SOURCE: Automated Reasoning for Systems Biology and Medicine, VOLUME: 30
INDEXED IN: DBLP
DBLP6
TITLE: A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems Full Text
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2018, SOURCE: IEEE Trans. Software Eng., VOLUME: 44, ISSUE: 6
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2018, SOURCE: IEEE Trans. Software Eng., VOLUME: 44, ISSUE: 6
7
TITLE: Data Leakage in Java Applets with Exception Mechanism PDF
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Antonella Santone;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Antonella Santone;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP
Scopus DBLP8
TITLE: A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2018, SOURCE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2018, SOURCE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef9
TITLE: Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2017, SOURCE: 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
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2017, SOURCE: 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
TITLE: Towards a Formalization of System Requirements for an Integrated Clinical Environment
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Self-Adaptive Systems, VOLUME: 2, ISSUE: 6
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Self-Adaptive Systems, VOLUME: 2, ISSUE: 6
