Projects per year
Personal profile
External positions
Fingerprint
Dive into the research topics where Antonio Cerone is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
- 1 Active
-
Analysis of cognitive properties of interactive systems using model checking
1/1/20 → 12/31/22
Project: Monitored by Research Administration
Research Output
-
Interdisciplinary Aspects of Cognition
Cerone, A., Fazli, S., Malone, K. & Pietarinen, A-V., 2020, Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers. Camara, J. & Steffen, M. (eds.). Switzerland: Springer Nature, p. 103-118 (Lecture Notes in Computer Scinece; vol. 12226).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Interdisciplinary Aspects of Cognition
Cerone, A., Fazli, S., Malone, K. & Pietarinen, A-V., 2019.Research output: Contribution to conference › Paper › peer-review
-
Model mining: Integrating data analytics, modelling and verification
Cerone, A., Jun 15 2019, In: Journal of Intelligent Information Systems. 52, 3, p. 501-532 32 p.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
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
Mukala, P., Cerone, A. & Turini, F., Nov 1 2017, In: Education and Information Technologies. 22, 6, p. 3207-3229 23 p.Research output: Contribution to journal › Article › peer-review
4 Citations (Scopus)