Paolo Manuel Masci
AuthID: R-00G-VYY
11
TITLE: Verification Templates for the Analysis of User Interface Software Design Full Text
AUTHORS: Harrison, MD; Masci, P; Campos, JC ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, ISSUE: 8
AUTHORS: Harrison, MD; Masci, P; Campos, JC ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, ISSUE: 8
12
TITLE: A use error taxonomy for improving human-machine interface design in medical devices Full Text
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 2
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 2
13
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
Scopus14
TITLE: A framework for FMI-based co-simulation of human–machine interfaces
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci;
PUBLISHED: 2019, SOURCE: Software and Systems Modeling
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci;
PUBLISHED: 2019, SOURCE: Software and Systems Modeling
15
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
WOS16
TITLE: An Integrated Development Environment for the Prototype Verification System PDF
AUTHORS: Paolo Masci; César A Muñoz;
PUBLISHED: 2019, SOURCE: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310
AUTHORS: Paolo Masci; César A Muñoz;
PUBLISHED: 2019, SOURCE: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP17
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
DBLP IN MY: DBLP
DBLP18
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
DBLP IN MY: DBLP
DBLP19
TITLE: Experiences with Streamlining Formal Methods Tools
AUTHORS: Paolo Masci;
PUBLISHED: 2019, SOURCE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232
AUTHORS: Paolo Masci;
PUBLISHED: 2019, SOURCE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP