Paolo Manuel Masci


AuthID: R-00G-VYY

Confirmed Publications: 80



11
TITLE: Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2017, SOURCE: 15th International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, VOLUME: 10729
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
12
TITLE: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTHORS: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLISHED: 2017, SOURCE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
13
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 240, ISSUE: 240
INDEXED IN: Scopus WOS DBLP CrossRef: 1
14
TITLE: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016
AUTHORS: Catherine Dubois; Paolo Masci ; Dominique Méry;
PUBLISHED: 2017, SOURCE: F-IDE@FM, VOLUME: 240
INDEXED IN: DBLP
15
TITLE: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXED IN: Scopus WOS DBLP CrossRef: 4
16
TITLE: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: Handbook of Formal Methods in Human-Computer Interaction
INDEXED IN: DBLP CrossRef: 1
17
TITLE: TOM: A Model-Based GUI Testing Framework
AUTHORS: Pinto, M; Gonçalves, M; Masci, P ; Campos, JC ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXED IN: Scopus WOS DBLP CrossRef: 2
18
TITLE: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices
AUTHORS: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 28
19
TITLE: Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
AUTHORS: Rimvydas Ruksenas; Paolo Masci ; Paul Curzon;
PUBLISHED: 2016, SOURCE: From Action Systems to Distributed Systems
INDEXED IN: DBLP CrossRef
20
TITLE: Issues in number entry user interface styles: Recommendations for mitigation
AUTHORS: Harold Thimbleby; Patrick Oladimeji; Paolo Masci ; Paul Curzon;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Creative Technol., VOLUME: 3, ISSUE: 8
INDEXED IN: DBLP CrossRef
Page 2 of 8. Total results: 80.

footer slogan

Useful Links

Get Help

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