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 Handle
IN MY: ORCID | DBLP
13
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, ISSUE: 240
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1
IN MY: ORCID | DBLP
14
TITLE: Proceedings of the Third Workshop on Formal Integrated Development Environment PDF
AUTHORS: Catherine Dubois; Paolo Masci ; Dominique Méry;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1701.07925
INDEXED IN: DBLP arXiv
IN MY: ORCID | 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: 3
IN MY: ORCID | DBLP
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: The Handbook of Formal Methods in Human-Computer Interaction.
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
17
TITLE: TOM: A Model-Based GUI Testing Framework
AUTHORS: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
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
IN MY: ORCID | DBLP
18
TITLE: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices  Full Text
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP
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 - The Refinement Approach.
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
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 Technologies, VOLUME: 3, ISSUE: 8
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
Page 2 of 8. Total results: 80.

A place for researchers and their institutions

Useful Links

Get Help

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