31
TÍTULO: The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps  Full Text
AUTORES: Paolo Masci ; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby;
PUBLICAÇÃO: 2015, FONTE: ISSE, VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP
32
TÍTULO: Using PVS to support the analysis of distributed cognition systems  Full Text
AUTORES: Paolo Masci ; Paul Curzon; Dominic Furniss; Ann Blandford;
PUBLICAÇÃO: 2015, FONTE: ISSE, VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP
33
TÍTULO: 7 Themes for guiding situated ergonomic assessments of medical devices: A case study of an inpatient glucometer  Full Text
AUTORES: Furniss, D; Masci, P ; Curzon, P; Mayer, A; Blandford, A;
PUBLICAÇÃO: 2014, FONTE: Applied Ergonomics, VOLUME: 45, NÚMERO: 6
INDEXADO EM: Scopus CrossRef: 11
NO MEU: ORCID
34
TÍTULO: A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software
AUTORES: Paolo Masci ; Yi Zhang; Paul L. Jones; Harold Thimbleby; Paul Curzon;
PUBLICAÇÃO: 2014, FONTE: 5th Medical Cyber-Physical Systems Workshop:Medical Device Interoperability, Safety, and Security Assurance, MCPS 2014 in 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014, VOLUME: 36
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
35
TÍTULO: Automated synthesis of dependable mediators for heterogeneous interoperable systems  Full Text
AUTORES: Felicita Di Giandomenico; Massimiliano Leone Itria; Paolo Masci ; Nicola Nostro;
PUBLICAÇÃO: 2014, FONTE: Rel. Eng. & Sys. Safety, VOLUME: 132
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
36
TÍTULO: Combining PVSio with Stateflow
AUTORES: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium, NFM 2014 in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, VOLUME: 8430
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
37
TÍTULO: Formal Verification of Medical Device User Interfaces Using PVS
AUTORES: Paolo Masci ; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP
38
TÍTULO: Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models
AUTORES: Andrea Domenici; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2014, FONTE: Proceedings of the 2nd International Congress on Cardiovascular Technologies
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
39
TÍTULO: Integrated simulation of implantable cardiac pacemaker software and heart models
AUTORES: Bernardeschi, C; Domenici, A; Masci, P ;
PUBLICAÇÃO: 2014, FONTE: 2nd International Congress on Cardiovascular Technologies, CARDIOTECHNIX 2014 in CARDIOTECHNIX 2014 - Proceedings of the 2nd International Congress on Cardiovascular Technologies
INDEXADO EM: Scopus
NO MEU: ORCID
40
TÍTULO: Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces
AUTORES: Paolo Masci ; Patrick Oladimeji; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2014, FONTE: Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, VOLUME: 9062
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
Página 4 de 8. Total de resultados: 80.