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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 2 Finished
-
K-RSL4P: Kazakh-Russian Sign Language Processing: Data, Tools and Interaction
Sandygulova, A. (PI), Cerone, A. (Co-PI), Kimmelman, V. (Other Faculty/Researcher), Mukushev, M. (Other Faculty/Researcher) & Imashev, A. (Other Faculty/Researcher)
1/1/22 → 12/31/24
Project: FDCRGP
-
Analysis of cognitive properties of interactive systems using model checking
Cerone, A. (PI) & Tyler, B. (Co-PI)
1/1/20 → 12/31/22
Project: FDCRGP
-
Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology
Cerone, A. & Pluck, G., 2025, From Data to Models and Back - 11th International Symposium, DataMod 2023, Revised Selected Papers. Broccia, G. & Cerone, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 21 p. (Lecture Notes in Computer Science; vol. 14618 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar
Cerone, A., Jan 2025, In: Journal of Logical and Algebraic Methods in Programming. 142, 101006.Research output: Contribution to journal › Article › peer-review
-
Preface
Broccia, G. & Cerone, A., 2025, In: Lecture Notes in Computer Science. 14618 LNCS, p. v-viResearch output: Contribution to journal › Editorial › peer-review
-
Guest editorial for the special section on SEFM 2020 and 2021
de Boer, F. S. & Cerone, A., Apr 2024, In: Software and Systems Modeling. 23, 2, p. 285-287 3 p.Research output: Contribution to journal › Editorial › peer-review
Open Access -
Using Maude to Model Motivation in Human Behaviour
Cerone, A. & Zhalgendinov, O., 2024, Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Revised Selected Papers. Aldini, A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 72-89 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14568 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution