Deliverables

Papers


  • M.D. Harrison, P. Masci and J.C. Campos (accepted) Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering.(BibTeX)
  • M.D. Harrison, P. Masci and J.C. Campos (accepted) Formal modelling as a component of user centred design. In FMIS 2018..(BibTeX)
  • C. Silva, P. Masci, Y. Zhang, P. Jones and J.C. Campos (accepted) A Use Error Taxonomy for Improving Human-Machine Interface Design in Medical Devices. ACM SIGBED Review (Special Issue on Medical Cyber Physical Systems - MCPS 2018).(BibTeX)
  • J.C. Campos and N. Sousa (2018) The MAL Interactors Animator: Supporting model validation through animation. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems.. ACM, pages 11:1-11:7.(BibTeX)
  • C. Bernardeschi, A. Domiinici and P. Masci (2018) A PVS-Simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Transactions on Software Engineering, 44(6):512-533.(BibTeX)
  • M.D. Harrison, M. Drinnan, J.C. Campos, P. Masci, L. Freitas, C. di Maria and M. Whitaker (2017) Safety analysis of software components of a dialysis machine using model checking. In Formal Aspects of Component Software.. Springer, pages 137-154.(BibTeX)
  • M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2017) Verification of User Interface Software: the Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Transactions on Human-Machine Systems, 47(6):834-846.(BibTeX)
  • P. Masci, Y. Zhang, P. Jones and J.C. Campos (2017) A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. In Software Engineering and Formal Methods (SEFM'17).. Springer, pages 284-299.(BibTeX)
  • J.C. Campos, C. Fayollas, M. Gonçalves, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2017) A "More Intelligent" Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human Computer Interaction, 1(1):art. 9.(BibTeX)
  • J.C. Campos, T. Abade, J.L. Silva and M.D. Harrison (2017) Don't Go In There! Using the APEX framework in the design of ambient assisted living systems. Journal of Ambient Intelligence and Humanized Computing, 8(4):551-566.(BibTeX)
  • M.D. Harrison, P. MasciM., J.C. Campos and P. Curzon (2017) The specification and analysis of use properties of a nuclear control system. In The Handbook on Formal Methods in Human Computer Interaction. Springer.(BibTeX)
  • B. Weyers, M. Harrison, J. Bowen, A. Dix, P. Palanque (2017) Case studies. In The Handbook on Formal Methods in Human Computer Interaction. Springer.(BibTeX)
  • C. Fayollas, C. Martinie, P. Palanque, P. Masci, M.D. Harrison, J.C. Campos and S.R. Silva (2017) Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web. In Proceedings of the Third Workshop on Formal Integrated Development Environments., pages 1-19.(BibTeX)
  • J.C. Campos, C. Fayollas, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2016) Systematic Automation of Scenario-Based Testing of User Interfaces. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems.. ACM, pages 138-148.(BibTeX)
  • M. Harrison, J.C. Campos, R. Ruksenas and P. Curzon (2016) Modelling information resources and their salience in medical device design. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems.. ACM, pages 194-203.(BibTeX)


Tools

Soon...