PUBLICATIONS

  • G. Broccia, P. Milazzo, P. C. Ölveczky. “Formal Modeling and Analysis of Safety-Critical Human Multitasking” under review in
    Innovations in Systems and Software Engineering, a NASA Journal
  • G. Broccia, P. Masci, P. Milazzo. “Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results”
    in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018): 9-15. ACM
  • G. Broccia, P. Milazzo, P. C. Ölveczky. “An Executable Formal Framework for Safety-Critical Human Multitasking” in NASA Formal Methods Symposium (NFM 2018,): pp. 54-69. Springer, Cham.
  • G. Broccia, P. Milazzo, P. C. Ölveczky. “An Algorithm for Simulating Human Selective Attention” In International Conference on Software Engineering and Formal Methods (pp. 48-55). Springer, Cham.
  • G. Broccia. “Model-Based Analysis of Driver Distraction by Infotainment System in Automotive Domain” in Proceedings of the 2017 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2017): 133-136
  • P. Milazzo, G. Pardini, G. Broccia. “Towards a High-Level Model Checking Language: Object-orientation, Data Structures and Local Variable Pruning” in International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016)