Paolo Manuel Masci


AuthID: R-00G-VYY

Publicações Confirmadas: 80



11
TÍTULO: Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
AUTORES: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
12
TÍTULO: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTORES: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
13
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, NÚMERO: 240
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 1
NO MEU: ORCID | DBLP
14
TÍTULO: Proceedings of the Third Workshop on Formal Integrated Development Environment PDF
AUTORES: Catherine Dubois; Paolo Masci ; Dominique Méry;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1701.07925
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
15
TÍTULO: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTORES: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
16
TÍTULO: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTORES: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2017, FONTE: The Handbook of Formal Methods in Human-Computer Interaction.
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP
17
TÍTULO: TOM: A Model-Based GUI Testing Framework
AUTORES: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
18
TÍTULO: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices  Full Text
AUTORES: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP
19
TÍTULO: Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
AUTORES: Rimvydas Ruksenas; Paolo Masci ; Paul Curzon;
PUBLICAÇÃO: 2016, FONTE: From Action Systems to Distributed Systems - The Refinement Approach.
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP
20
TÍTULO: Issues in number entry user interface styles: Recommendations for mitigation
AUTORES: Harold Thimbleby; Patrick Oladimeji; Paolo Masci ; Paul Curzon;
PUBLICAÇÃO: 2016, FONTE: EAI Endorsed Trans. Creative Technologies, VOLUME: 3, NÚMERO: 8
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
Página 2 de 8. Total de resultados: 80.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service