ProfileOfResearchers

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

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

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

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

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

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

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