Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Paolo Manuel Masci
AuthID:
R-00G-VYY
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (47)
Article (27)
Book Chapter (2)
Editorial Material (2)
Unpublished (1)
Proceedings (1)
Year Start - End:
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 80
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
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 4 de 8. Total de resultados: 80.
<<
<
1
2
3
4
5
6
7
8
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service