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