Antonio Cerone

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 35

Top Venues

Publications

Frank S. de Boer, Antonio Cerone
Guest editorial for the special section on SEFM 2020 and 2021. Softw. Syst. Model. 23 (2) (2024)
Antonio Cerone, Olzhas Zhalgendinov
Using Maude to Model Motivation in Human Behaviour. SEFM Workshops (2023)
Patrick Mukala, Antonio Cerone, Franco Turini
An Exploration of Learning Processes as Process Maps in FLOSS Repositories. CoRR (2023)
Antonio Cerone
A BRDL-Based Framework for Motivators and Emotions. SEFM Workshops (2022)
Graham Pluck, Antonio Cerone, David Villagomez-Pacheco
Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science. SEFM Workshops (2022)
Graham Pluck, Antonio Cerone
A Demonstration of The Positive Manifold of Cognitive Test Inter-correlations, and how it Relates to General Intelligence, Modularity, and Lexical Knowledge. CogSci (2021)
Antonio Cerone
Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches. DataMod (2021)
Antonio Cerone, Diana Murzagaliyeva, Nuray Nabiyeva, Ben Tyler, Graham Pluck
In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). SEFM Workshops (2021)
Antonio Cerone, Anel Mengdigali, Nuray Nabiyeva, Temirlan Nurbay
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science. DataMod (2021)
Antonio Cerone
Modelling and Analysing Cognition and Interaction. ICTAC Summmer School (2021)
Antonio Cerone, Diana Murzagaliyeva
Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation. SEFM (2020)
Alikhan Abutalipov, Aigerim Janaliyeva, Medet Mukushev, Antonio Cerone, Anara Sandygulova
Handshape Classification in a Reverse Dictionary of Sign Languages for the Deaf. DataMod@CIKM (2020)
Antonio Cerone, Graham Pluck
A Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory. DataMod@CIKM (2020)
Antonio Cerone, Enrico Marsili
A Formal Model for the Simulation and Analysis of Early Biofilm Formation. DataMod@CIKM (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone
A Survey of Learning Methods in Open Source Software. FM Workshops (2) (2019)
Antonio Cerone, Siamac Fazli, Kathy L. Malone, Ahti-Veikko Pietarinen
Interdisciplinary Aspects of Cognition. SEFM Workshops (2019)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Antonio Cerone, Peter Csaba Ölveczky
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. FM Workshops (1) (2019)
Antonio Cerone, Karl Reiner Lermer
Adapting to Different Types of Target Audience in Teaching Formal Methods. FMFun (2019)
Aigerim Aibassova, Antonio Cerone, Mukhtar Tashkenbayev
An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning. FM Workshops (1) (2019)
Antonio Cerone
Behaviour and Reasoning Description Language (BRDL). SEFM Workshops (2019)
Antonio Cerone
From Stories to Concurrency: How Children Can Play with Formal Methods. FMFun (2019)
Antonio Cerone
Model mining - Integrating data analytics, modelling and verification. J. Intell. Inf. Syst. 52 (3) (2019)
Antonio Cerone
Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning. STAF Workshops (2018)
Antonio Cerone, Aiym Zhexenbayeva
Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study. STAF Workshops (2018)
Antonio Cerone
FormalMiner: A Formal Framework for Refinement Mining. STAF Workshops (2018)
Patrick Mukala, Antonio Cerone, Franco Turini
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. Educ. Inf. Technol. 22 (6) (2017)
Antonio Cerone
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems. SEFM (2016)
Antonio Cerone
Refinement Mining: Using Data to Sift Plausible Models. STAF Workshops (2016)
Antonio Cerone
Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives. STAF Workshops (2016)
Antonio Cerone
Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management. SEFM Workshops (2015)
Patrick Mukala, Antonio Cerone, Franco Turini
Mining Learning Processes from FLOSS Mailing Archives. I3E (2015)
Farshad Shams, Antonio Cerone, Rocco De Nicola
On Integrating Social and Sensor Networks for Emergency Management. SEFM Workshops (2015)
Suryana Setiawan, Antonio Cerone, Paolo Milazzo
A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems. SEFM Workshops (2015)
Antonio Cerone, Pekka Pihlajasaari
Theoretical Aspects of Computing (ICTAC 2011). Theor. Comput. Sci. 537 (2014)
Patrick Mukala, Antonio Cerone, Franco Turini
OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities. SEFM Workshops (2014)
Patrick Mukala, Antonio Cerone, Franco Turini
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities. SEFM Workshops (2014)
Sulayman K. Sowe, Antonio Cerone, Dimitrios Settas
An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis. Sci. Comput. Program. 91 (2014)
Antonio Cerone, Marco Scotti
Research Challenges in Modelling Ecosystems. SEFM Workshops (2014)
Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. SEFM Workshops (2014)
Patrick Mukala, Antonio Cerone, Franco Turini
Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives. SEFM Workshops (2014)
Suryana Setiawan, Antonio Cerone
Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality. SEFM Workshops (2013)
Usman Rauf, Sheema Sameen, Antonio Cerone
Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach. Electron. Notes Theor. Comput. Sci. 299 (2013)
Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach. CRIWG (2013)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
Analysis of FLOSS Communities as Learning Contexts. SEFM Workshops (2013)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
A pilot project on non-conventional learning. ITiCSE (2013)
Antonio Cerone, Yishi Zhao
Stochastic Modelling and Analysis of Driver Behaviour. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone
Guest editorial to the special section on SEFM 2009. Softw. Syst. Model. 12 (2) (2013)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
A Preliminary Analysis of Learning Awareness in FLOSS Projects. SEFM Satellite Events (2012)
Dimitrios Settas, Antonio Cerone, Stefan Fenz
Enhancing ontology-based antipattern detection using Bayesian networks. Expert Syst. Appl. 39 (10) (2012)
Antonio Cerone, Alexeis Garcia-Perez
Modelling and Knowledge Management for Sustainable Development. SEFM Satellite Events (2012)
Pantelis M. Papadopoulos, Ioannis Stamelos, Antonio Cerone
Using Open Source Projects in Higher Education: A Two-Way Certification Framework. SEFM Satellite Events (2012)
Antonio Cerone, Donatella Persico
Innovation and Sustainability in Education. SEFM Satellite Events (2012)
Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan
Modelling Population Dynamics Using Grid Systems. SEFM Satellite Events (2012)
Pantelis M. Papadopoulos, Antonio Cerone
The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments. SEFM Satellite Events (2012)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos
FLOSS in Technology-Enhanced Learning. SEFM Satellite Events (2012)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government. ICEGOV (2012)
Antonio Cerone, Simon Fong, Siraj Ahmed Shaikh
Analysis of Collaboration Effectiveness and Individuals' Contribution in FLOSS Communities. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
Dimitrios Settas, Antonio Cerone
An Ontology Based E-Learning System Using Antipatterns. ICWL (2011)
Dimitrios Settas, Antonio Cerone, Stefan Fenz
Towards Automatic Generation of Ontology-Based Antipattern Bayesian Network Models. SERA (2011)
Antonio Cerone, Stefan Gruner
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008. Softw. Syst. Model. 10 (2) (2011)
Antonio Cerone
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Antonio Cerone, Dimitrios Settas
Using antipatterns to improve the quality of FLOSS development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
Antonio Cerone
Learning and Activity Patterns in OSS Communities and their Impact on Software Quality. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh
Certification of open-source software: A role for formal methods? Comput. Syst. Sci. Eng. 25 (4) (2010)
Sulayman K. Sowe, Antonio Cerone
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Antonio Cerone, Sulayman K. Sowe
Using Free/Libre Open Source Software Projects as E-learning Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi
Modelling the Dynamics of an Aedes albopictus Population AMCA-POP (2010)
Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho
Modelling Cell Cycle using Different Levels of Representation MeCBIC (2009)
Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte
Model-checking user behaviour using interacting components. Formal Aspects Comput. 21 (6) (2009)
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 20 (2009)
Siraj Ahmed Shaikh, Antonio Cerone
Towards a metric for Open Source Software Quality. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 20 (2009)
Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo
Translating Stochastic CLS into Maude. Electron. Notes Theor. Comput. Sci. 227 (2009)
Antonio Cerone, Paul Curzon, David Duce
Editorial. Formal Aspects Comput. 21 (6) (2009)
Antonio Cerone, Paul Curzon
Formal methods for interactive systems. Innov. Syst. Softw. Eng. 4 (2) (2008)
Antonio Cerone, Simon Connelly, Peter A. Lindsay
Formal analysis of human operator behavioural patterns in interactive surveillance systems. Softw. Syst. Model. 7 (3) (2008)
Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone
Guest Editorial. Formal Aspects Comput. 20 (4-5) (2008)
Antonio Cerone, Paul Curzon
Preface. Electron. Notes Theor. Comput. Sci. 208 (2008)
Paul Curzon, Antonio Cerone
International Workshop on Formal Methods for Interactive Systems. BCS HCI (2) (2007)
Antonio Cerone, Norzima Elbegbayan
Model-checking Driven Design of Interactive Systems. Electron. Notes Theor. Comput. Sci. 183 (2007)
Antonio Cerone, Paul Curzon
Preface. Electron. Notes Theor. Comput. Sci. 183 (2007)
Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan
Verifying BPEL Workflows Under Authorisation Constraints. Business Process Management (2006)
Antonio Cerone, Herbert Wiklicky
Preface. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Antonio Cerone, Peter A. Lindsay, Simon Connelly
Formal Analysis of Human-computer Interaction using Model-checking. SEFM (2005)
Antonio Cerone, Alessandra Di Pierro
Preface. Electron. Notes Theor. Comput. Sci. 112 (2005)
Antonio Cerone, Alessandra Di Pierro
Preface. Theor. Comput. Sci. 346 (1) (2005)
Antonio Cerone, George J. Milne
Property verification of asynchronous systems. Innov. Syst. Softw. Eng. 1 (1) (2005)
Antonio Cerone
Representing ASN.1 in Z. ACSW (2003)
Benjamin W. Long, Colin J. Fidge, Antonio Cerone
A Z Based Approach to Verifying Security Protocols. ICFEM (2003)
Antonio Cerone
Implementing Condition/Event Nets in the Circal Process Algebra. FASE (2002)
Antonio Cerone
Axiomatisation of an Interval Calculus for Theorem Proving. Electron. Notes Theor. Comput. Sci. 42 (2001)
Antonio Cerone, George J. Milne
A Methodology for the Formal Analysis of Asynchronous Micropipelines. FMCAD (2000)
Antonio Cerone
Process Algebra versus Axiomatic Specification of a Real-Time Protocol. AMAST (2000)
Antonio Cerone, Andrea Maggiolo-Schettini
Time-Based Expressivity of Time Petri Nets for System Specification. Theor. Comput. Sci. 216 (1-2) (1999)
Antonio Cerone, David A. Kearney, George J. Milne
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems. ACSD (1998)
Antonio Cerone, Alex J. Cowie, George J. Milne
The Circal System. AMAST (1997)
Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley
Modelling a Time-Dependent Protocol Using the Circal Process Algebra. HART (1997)
Antonio Cerone, George J. Milne
Specification of Timing Constraints within the Circal Process Algebra. AMAST (1997)

Antonio Cerone.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antonio Cerone