1
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
2
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
3
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
4
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
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
5
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 2018 in Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., VOLUME: 284, PUBLISHED: 2018
INDEXED IN: Scopus DBLP arXiv CrossRef: 1
IN MY: ORCID | DBLP
6
TITLE: Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results
AUTHORS: Giovanna Broccia; Paolo Masci ; Paolo Milazzo;
SOURCE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2018 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2018, Paris, France, June 19-22, 2018, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
7
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
8
TITLE: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018 PDF
AUTHORS: Paolo Masci ; Rosemary Monahan; Virgile Prevosto;
SOURCE: F-IDE@FLoC, VOLUME: 284, PUBLISHED: 2018
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
9
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
10
TITLE: Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
AUTHORS: Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci ;
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, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 1 of 8. Total results: 79.