Paolo Manuel Masci


AuthID: R-00G-VYY

Confirmed Publications: 80



1
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine
AUTHORS: Harrison, MD; Freitas, L; Drinnan, M; Campos, JC ; Masci, P ; di Maria, C; Whitaker, M;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXED IN: Scopus WOS DBLP CrossRef: 21
2
TITLE: A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2018, SOURCE: STAF Workshops
INDEXED IN: DBLP CrossRef: 7
3
TITLE: A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2018, SOURCE: IEEE Trans. Software Eng., VOLUME: 44, ISSUE: 6
INDEXED IN: DBLP CrossRef: 32
4
TITLE: Data Leakage in Java Applets with Exception Mechanism PDF
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Antonella Santone;
PUBLISHED: 2018, SOURCE: 2nd Italian Conference on Cyber Security, ITASEC 2018 in Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to - 9th, 2018., VOLUME: 2058
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
5
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: STAF Workshops, VOLUME: 11176 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
6
TITLE: Integrating User Design and Formal Models within PVSio-Web
AUTHORS: Watson, N; Reeves, S; Masci, P ;
PUBLISHED: 2018, SOURCE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, ISSUE: 284
INDEXED IN: Scopus WOS DBLP CrossRef: 9
7
TITLE: Modeling and Analysis of Human Memory Load in Multitasking Scenarios. Late-Breaking Results
AUTHORS: Broccia, G; Masci, P ; Milazzo, P;
PUBLISHED: 2018, SOURCE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
8
TITLE: Preface  Full Text
AUTHORS: Masci, P ; Monahan, R; Prevosto, V;
PUBLISHED: 2018, SOURCE: 4th Workshop on Formal Integrated Development Environment, F-IDE 2018 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 284
INDEXED IN: Scopus CrossRef
IN MY: ORCID
9
TITLE: Proceedings 4th Workshop on Formal Integrated Development Environment Oxford, England, 14 July 2018 Preface
AUTHORS: Masci, P ; Monahan, R; Prevosto, V;
PUBLISHED: 2018, SOURCE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, ISSUE: 284
INDEXED IN: WOS DBLP
10
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: SEFM, VOLUME: 10469 LNCS
INDEXED IN: Scopus DBLP CrossRef: 8
Page 1 of 8. Total results: 80.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service