{"id":44,"date":"2017-05-05T14:18:09","date_gmt":"2017-05-05T14:18:09","guid":{"rendered":"http:\/\/pages.di.unipi.it\/broccia\/?page_id=44"},"modified":"2019-01-25T09:16:56","modified_gmt":"2019-01-25T09:16:56","slug":"publications","status":"publish","type":"page","link":"https:\/\/pages.di.unipi.it\/broccia\/publications\/","title":{"rendered":"PUBLICATIONS"},"content":{"rendered":"<ul>\n<li>\n<div>G. Broccia, P. Milazzo, P. C. \u00d6lveczky. &#8220;Formal Modeling and Analysis of Safety-Critical Human Multitasking&#8221; under review in<\/div>\n<div><em>Innovations in Systems and Software Engineering, a NASA Journal<\/em><\/div>\n<\/li>\n<li>\n<div>G. Broccia, P. Masci, P. Milazzo. &#8220;Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results&#8221;<\/div>\n<div>in <em>Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems<\/em> (EICS 2018): 9-15. ACM<\/div>\n<\/li>\n<li>\n<div class=\"paper\"><span class=\"title\">G. Broccia, P. Milazzo, P. C. \u00d6lveczky. &#8220;An Executable Formal Framework for Safety-Critical Human Multitasking&#8221; in <em>NASA Formal Methods Symposium<\/em> (NFM 2018,): pp. 54-69. Springer, Cham.<\/span><\/div>\n<\/li>\n<li>\n<div class=\"paper\">G. Broccia, P. Milazzo, P. C. <span class=\"rosso\">\u00d6<\/span>lveczky. &#8220;An Algorithm for Simulating Human Selective Attention&#8221; In <i>International Conference on Software Engineering and Formal Methods<\/i> (pp. 48-55). Springer, Cham.<\/div>\n<\/li>\n<li>G. Broccia. &#8220;Model-Based Analysis of Driver Distraction by Infotainment System in Automotive Domain&#8221; in <em>Proceedings of the 2017 ACM SIGCHI Symposium on Engineering Interactive Computing Systems<\/em> (EICS 2017): 133-136<\/li>\n<li>P. Milazzo, G. Pardini, G. Broccia. &#8220;Towards a High-Level Model Checking Language: Object-orientation, Data Structures and Local Variable Pruning&#8221; in <em>International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems<\/em> (FMICS-AVoCS 2016)<\/li>\n<\/ul>\n<div><\/div>\n<div><\/div>\n<div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>G. Broccia, P. Milazzo, P. C. \u00d6lveczky. &#8220;Formal Modeling and Analysis of Safety-Critical Human Multitasking&#8221; under review in Innovations in Systems and Software Engineering, a NASA Journal G. Broccia, P. Masci, P. Milazzo. &#8220;Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results&#8221; in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive [&hellip;]<\/p>\n","protected":false},"author":95,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"template-fullwidth.php","meta":{"footnotes":""},"class_list":["post-44","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/pages.di.unipi.it\/broccia\/wp-json\/wp\/v2\/pages\/44","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pages.di.unipi.it\/broccia\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.di.unipi.it\/broccia\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/broccia\/wp-json\/wp\/v2\/users\/95"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/broccia\/wp-json\/wp\/v2\/comments?post=44"}],"version-history":[{"count":14,"href":"https:\/\/pages.di.unipi.it\/broccia\/wp-json\/wp\/v2\/pages\/44\/revisions"}],"predecessor-version":[{"id":126,"href":"https:\/\/pages.di.unipi.it\/broccia\/wp-json\/wp\/v2\/pages\/44\/revisions\/126"}],"wp:attachment":[{"href":"https:\/\/pages.di.unipi.it\/broccia\/wp-json\/wp\/v2\/media?parent=44"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}