Paolo Manuel Masci
AuthID: R-00G-VYY
11
TÃTULO: A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems
AUTORES: Paolo Masci; César A Muñoz;
PUBLICAÇÃO: 2020, FONTE: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165
AUTORES: Paolo Masci; César A Muñoz;
PUBLICAÇÃO: 2020, FONTE: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP12
TÃTULO: Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
AUTORES: Simona Bernardi; Valeria Vittorini; Francesco Flammini; Roberto Nardone; Stefano Marrone; Rasmus Adler; Daniel Schneider; Philipp Schleiß; Nicola Nostro; Rasmus Løvenstein Olsen; Amleto Di Salle; Paolo Masci;
PUBLICAÇÃO: 2020, FONTE: EDCC Workshops, VOLUME: 1279
AUTORES: Simona Bernardi; Valeria Vittorini; Francesco Flammini; Roberto Nardone; Stefano Marrone; Rasmus Adler; Daniel Schneider; Philipp Schleiß; Nicola Nostro; Rasmus Løvenstein Olsen; Amleto Di Salle; Paolo Masci;
PUBLICAÇÃO: 2020, FONTE: EDCC Workshops, VOLUME: 1279
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools
AUTORES: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, NÚMERO: 5
AUTORES: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, NÚMERO: 5
14
TÃTULO: Verification Templates for the Analysis of User Interface Software Design
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
15
TÃTULO: A use error taxonomy for improving human-machine interface design in medical devices
AUTORES: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: SIGBED Rev., VOLUME: 16, NÚMERO: 2
AUTORES: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: SIGBED Rev., VOLUME: 16, NÚMERO: 2
16
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
Scopus17
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
18
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
WOS19
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
DBLP20
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
DBLP