1
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
SOURCE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PUBLISHED: 2018
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems  Full Text
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
SOURCE: IEEE Trans. Software Eng., VOLUME: 44, ISSUE: 6, PUBLISHED: 2018
INDEXED IN: DBLP CrossRef: 4
IN MY: ORCID | DBLP
4
TITLE: Data Leakage in Java Applets with Exception Mechanism PDF
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Antonella Santone;
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, PUBLISHED: 2018
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 ;
SOURCE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: Integrating User Design and Formal Models within PVSio-Web PDF  Full Text
AUTHORS: Nathaniel Watson; Steve Reeves; Paolo Masci ;
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, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1
IN MY: ORCID | DBLP
7
TITLE: Modeling and Analysis of Human Memory Load in Multitasking Scenarios
AUTHORS: Giovanna Broccia; Paolo Masci ; Paolo Milazzo;
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), PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
8
TITLE: Preface
AUTHORS: Masci, P ; Monahan, R; Prevosto, V;
SOURCE: 4th Workshop on Formal Integrated Development Environment, F-IDE 2018 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 284, PUBLISHED: 2018
INDEXED IN: Scopus
IN MY: ORCID
9
TITLE: Proceedings 4th Workshop on Formal Integrated Development Environment Oxford, England, 14 July 2018 Preface PDF
AUTHORS: Paolo Masci ; Rosemary Monahan; Virgile Prevosto;
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, PUBLISHED: 2018
INDEXED IN: WOS DBLP arXiv
IN MY: ORCID | 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 ;
SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 8. Total results: 80.