Antonio Cerone [+]

Associate Professor

Antonio Cerone obtained his Masters Degree in Information Science in 1989 and his PhD degree in Computer Science in 1993, both at the University of Pisa. Before joining NU he worked at the Goethe University Frankfurt, the University of South Australia, The University of Queensland, the United Nations University and the IMT School for Advanced Studies Lucca. He still holds visiting positions at IMT and the University of Pisa. Antonio’s research interests focus on the use of formal methods in various application domains: software engineering, human computer interaction, systems biology and ecology. Further research areas include: cognitive science, process mining and conformance analysis, analysis of Free/Libre Open Source Software (FLOSS) communities and development, collaborative learning.

Research Areas:

Recent Publications:

Cerone A., Zhexenbayeva A., Using Formal Methods to Validate Research Hypotheses: the Duolingo Case Study, Software Technologies: Applications and Foundations (STAF 2018 Collocated Workshops: DataMod), Toulouse, France, Vol. 11176 of in Lecture Notes in Computer Science, Springer, 2018, pages 163-170. [ Info and Download ]

Cerone A., FormalMiner: a Formal Framework for Refinement Mining, Software Technologies: Applications and Foundations (STAF 2018 Collocated Workshops: DataMod), Toulouse, France, Vol. 11176 of Lecture Notes in Computer Science, Springer, 2018, pages 185-200. [ Info and Download ]

Cerone A., Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning, Software Technologies: Applications and Foundations (STAF 2018 Collocated Workshops: FMIS), Toulouse, France, Vol. 11176 of Lecture Notes in Computer Science, Springer, 2018, pages 216-232. [ Info and Download ]

Cerone A., Roveri M. (eds.), SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Vol. 10729 of Lecture Notes in Computer Science, Springer, 2018. [ Info and Download ]

Cerone A., Model Mining - Integrating Data Analytics, Modelling and Verification, Journal of Intelligent Information Systems, Springer, 2017, In press, Online First, DOI: 10.1007/s10844-017-0474-3. [ Info and Download ]

Mukala P., Cerone A. and Turini F., An Empirical Verification of A-priori Learning Models on Mailing Archives in the context of Online Learning Activities of Participants in Free/Libre Open Source Software (FLOSS) Communities, Education and Information Technologies 22(6): 3207-3229 (2017), Springer, DOI: 10.1007/s10639-017-9573-6. [ Info and Download ]

Cerone A., Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners’ and Students’ Perspectives, Software Technologies: Applications and Foundations (STAF 2016 Collocated Workshops: HOFM), Vol. 9946 of Lecture Notes in Computer Science, Springer, 2016, pages 232-241. [ Info and Download ]

Cerone A., Refinement Mining: Using Data to Sift Plausible Models, Software Technologies: Applications and Foundations (STAF 2016 Collocated Workshops: DataMod), Vol. 9946 of Lecture Notes in Computer Science, Springer, 2016, pages 26-41. [ Info and Download ]