Paolo Manuel Masci
AuthID: R-00G-VYY
11
TITLE: A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems
AUTHORS: Paolo Masci; César A Muñoz;
PUBLISHED: 2020, SOURCE: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165
AUTHORS: Paolo Masci; César A Muñoz;
PUBLISHED: 2020, SOURCE: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP12
TITLE: Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: EDCC Workshops, VOLUME: 1279
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: EDCC Workshops, VOLUME: 1279
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools
AUTHORS: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
AUTHORS: Campos, JC ; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
14
TITLE: Verification Templates for the Analysis of User Interface Software Design
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
15
TITLE: A use error taxonomy for improving human-machine interface design in medical devices
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Rev., VOLUME: 16, ISSUE: 2
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Rev., VOLUME: 16, ISSUE: 2
16
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
Scopus17
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
18
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
WOS19
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
DBLP20
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
DBLP