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, DataMod 2018, Toulouse, France, to appear in Lecture Notes in Computer Science, Springer, 2018.

Cerone A., FormalMiner: a Formal Framework for Refinement Mining, DataMod 2018, Toulouse, France, to appear in Lecture Notes in Computer Science, Springer, 2018.

Cerone A., Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning, FMIS 2018, Toulouse, France, to appear in Lecture Notes in Computer Science, Springer, 2018.

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 ]