Antonio Cerone

121 papers A 1B 10C 5Journal 30Unranked 62
YearRankTypeTitle / Venue / Authors
2025 — ed.
From Data to Models and Back - 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
DataMod
Giovanna Broccia, Antonio Cerone
2025 J jnl
Multifaceted formal methods and their interdisciplinary role - From the cathedral of 'components as coalgebras' to the HCI context and the open source software bazaar.
J. Log. Algebraic Methods Program.
Antonio Cerone
2024 B conf
Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction.
SEFM
Antonio Cerone, Olzhas Zhalgendinov
2024 J jnl
Guest editorial for the special section on SEFM 2020 and 2021.
Softw. Syst. Model.
Frank S. de Boer, Antonio Cerone
2023 J jnl
An Exploration of Learning Processes as Process Maps in FLOSS Repositories.
CoRR
Patrick Mukala, Antonio Cerone, Franco Turini
2023 — ed.
Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
ICTAC Summer School
Antonio Cerone
2023 — conf
Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology.
DataMod
Antonio Cerone, Graham Pluck
2023 — conf
Using Maude to Model Motivation in Human Behaviour.
SEFM Workshops
Antonio Cerone, Olzhas Zhalgendinov
2022 — conf
A BRDL-Based Framework for Motivators and Emotions.
SEFM Workshops
Antonio Cerone
2022 — conf
Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science.
SEFM Workshops
Graham Pluck, Antonio Cerone, David Villagomez-Pacheco
2022 — book
Formal Methods for Software Engineering - Languages, Methods, Application Domains
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
2022 — ed.
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
SEFM Workshops
Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
2021 B conf
A Demonstration of The Positive Manifold of Cognitive Test Inter-correlations, and how it Relates to General Intelligence, Modularity, and Lexical Knowledge.
CogSci
Graham Pluck, Antonio Cerone
2021 — conf
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science.
DataMod
Antonio Cerone, Anel Mengdigali, Nuray Nabiyeva, Temirlan Nurbay
2021 — ed.
Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
FMFun
Antonio Cerone, Markus Roggenbach
2021 — conf
In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL).
SEFM Workshops
Antonio Cerone, Diana Murzagaliyeva, Nuray Nabiyeva, Ben Tyler, Graham Pluck
2021 — conf
Modelling and Analysing Cognition and Interaction.
ICTAC Summmer School
Antonio Cerone
2021 — conf
Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches.
DataMod
Antonio Cerone
2021 C ed.
Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
ICTAC
Antonio Cerone, Peter Csaba Ölveczky
2020 — conf
A Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory.
DataMod@CIKM
Antonio Cerone, Graham Pluck
2020 — conf
A Formal Model for the Simulation and Analysis of Early Biofilm Formation.
DataMod@CIKM
Antonio Cerone, Enrico Marsili
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
FM Workshops (1)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — conf
Handshape Classification in a Reverse Dictionary of Sign Languages for the Deaf.
DataMod@CIKM
Alikhan Abutalipov, Aigerim Janaliyeva, Medet Mukushev, Antonio Cerone, Anara Sandygulova
2020 B conf
Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation.
SEFM
Antonio Cerone, Diana Murzagaliyeva
2020 J jnl
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.
CoRR
Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
2020 B ed.
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
SEFM
Frank S. de Boer, Antonio Cerone
2019 — conf
A Survey of Learning Methods in Open Source Software.
FM Workshops (2)
Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone
2019 — conf
Adapting to Different Types of Target Audience in Teaching Formal Methods.
FMFun
Antonio Cerone, Karl Reiner Lermer
2019 — conf
An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning.
FM Workshops (1)
Aigerim Aibassova, Antonio Cerone, Mukhtar Tashkenbayev
2019 — conf
Behaviour and Reasoning Description Language (BRDL).
SEFM Workshops
Antonio Cerone
2019 — conf
From Stories to Concurrency: How Children Can Play with Formal Methods.
FMFun
Antonio Cerone
2019 — conf
Interdisciplinary Aspects of Cognition.
SEFM Workshops
Antonio Cerone, Siamac Fazli, Kathy L. Malone, Ahti-Veikko Pietarinen
2019 J jnl
Model mining - Integrating data analytics, modelling and verification.
J. Intell. Inf. Syst.
Antonio Cerone
2019 — conf
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude.
FM Workshops (1)
Antonio Cerone, Peter Csaba Ölveczky
2019 — conf
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
FMFun
Antonio Cerone, Markus Roggenbach, James H. 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
2018 — conf
FormalMiner: A Formal Framework for Refinement Mining.
STAF Workshops
Antonio Cerone
2018 — ed.
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
SEFM Workshops
Antonio Cerone, Marco Roveri
2018 — conf
Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning.
STAF Workshops
Antonio Cerone
2018 — conf
Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study.
STAF Workshops
Antonio Cerone, Aiym Zhexenbayeva
2017 J jnl
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.
Patrick Mukala, Antonio Cerone, Franco Turini
2016 B conf
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems.
SEFM
Antonio Cerone
2016 — conf
Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives.
STAF Workshops
Antonio Cerone
2016 — conf
Refinement Mining: Using Data to Sift Plausible Models.
STAF Workshops
Antonio Cerone
2015 — conf
A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems.
SEFM Workshops
Suryana Setiawan, Antonio Cerone, Paolo Milazzo
2015 — conf
Mining Learning Processes from FLOSS Mailing Archives.
I3E
Patrick Mukala, Antonio Cerone, Franco Turini
2015 — conf
On Integrating Social and Sensor Networks for Emergency Management.
SEFM Workshops
Farshad Shams, Antonio Cerone, Rocco De Nicola
2015 — conf
Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management.
SEFM Workshops
Antonio Cerone
2014 — conf
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.
SEFM Workshops
Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone
2014 — conf
An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities.
SEFM Workshops
Patrick Mukala, Antonio Cerone, Franco Turini
2014 J jnl
An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis.
Sci. Comput. Program.
Sulayman K. Sowe, Antonio Cerone, Dimitrios Settas
2014 — ed.
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers
SEFM Satellite Events
Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos
2014 — conf
OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities.
SEFM Workshops
Patrick Mukala, Antonio Cerone, Franco Turini
2014 — conf
Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives.
SEFM Workshops
Patrick Mukala, Antonio Cerone, Franco Turini
2014 — conf
Research Challenges in Modelling Ecosystems.
SEFM Workshops
Antonio Cerone, Marco Scotti
2014 J jnl
Theoretical Aspects of Computing (ICTAC 2011).
Theor. Comput. Sci.
Antonio Cerone, Pekka Pihlajasaari
2013 B conf
A pilot project on non-conventional learning.
ITiCSE
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
2013 — conf
Analysis of FLOSS Communities as Learning Contexts.
SEFM Workshops
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
2013 — conf
Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach.
CS2Bio
Usman Rauf, Sheema Sameen, Antonio Cerone
2013 J jnl
Guest editorial to the special section on SEFM 2009.
Softw. Syst. Model.
Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone
2013 — conf
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach.
CRIWG
Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa
2013 J jnl
Stochastic Modelling and Analysis of Driver Behaviour.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Antonio Cerone, Yishi Zhao
2013 — conf
Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality.
SEFM Workshops
Suryana Setiawan, Antonio Cerone
2012 — conf
A Preliminary Analysis of Learning Awareness in FLOSS Projects.
SEFM Satellite Events
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
2012 J jnl
Enhancing ontology-based antipattern detection using Bayesian networks.
Expert Syst. Appl.
Dimitrios Settas, Antonio Cerone, Stefan Fenz
2012 — conf
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government.
ICEGOV
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
2012 — conf
FLOSS in Technology-Enhanced Learning.
SEFM Satellite Events
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos
2012 — conf
Innovation and Sustainability in Education.
SEFM Satellite Events
Antonio Cerone, Donatella Persico
2012 — conf
Modelling Population Dynamics Using Grid Systems.
SEFM Satellite Events
Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan
2012 — conf
Modelling and Knowledge Management for Sustainable Development.
SEFM Satellite Events
Antonio Cerone, Alexeis Garcia-Perez
2012 — conf
The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments.
SEFM Satellite Events
Pantelis M. Papadopoulos, Antonio Cerone
2012 — conf
Using Open Source Projects in Higher Education: A Two-Way Certification Framework.
SEFM Satellite Events
Pantelis M. Papadopoulos, Ioannis Stamelos, Antonio Cerone
2011 — conf
An Ontology Based E-Learning System Using Antipatterns.
ICWL
Dimitrios Settas, Antonio Cerone
2011 J jnl
Analysis of Collaboration Effectiveness and Individuals' Contribution in FLOSS Communities.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Antonio Cerone, Simon Fong, Siraj Ahmed Shaikh
2011 J jnl
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Antonio Cerone
2011 J jnl
Learning and Activity Patterns in OSS Communities and their Impact on Software Quality.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Antonio Cerone
2011 J jnl
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.
Softw. Syst. Model.
Antonio Cerone, Stefan Gruner
2011 C ed.
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings
ICTAC
Antonio Cerone, Pekka Pihlajasaari
2011 C conf
Towards Automatic Generation of Ontology-Based Antipattern Bayesian Network Models.
SERA
Dimitrios Settas, Antonio Cerone, Stefan Fenz
2011 J jnl
Using antipatterns to improve the quality of FLOSS development.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Antonio Cerone, Dimitrios Settas
2010 J jnl
Certification of open-source software: A role for formal methods?
Comput. Syst. Sci. Eng.
Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh
2010 J jnl
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sulayman K. Sowe, Antonio Cerone
2010 — conf
Modelling the Dynamics of an Aedes albopictus Population
AMCA-POP
Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi
2010 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
2010 J jnl
Using Free/Libre Open Source Software Projects as E-learning Tools.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Antonio Cerone, Sulayman K. Sowe
2009 J jnl
Editorial.
Formal Aspects Comput.
Antonio Cerone, Paul Curzon, David Duce
2009 J jnl
Model-checking user behaviour using interacting components.
Formal Aspects Comput.
Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte
2009 — conf
Modelling Cell Cycle using Different Levels of Representation
MeCBIC
Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho
2009 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
2009 J jnl
Towards a metric for Open Source Software Quality.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Siraj Ahmed Shaikh, Antonio Cerone
2008 J jnl
Formal analysis of human operator behavioural patterns in interactive surveillance systems.
Softw. Syst. Model.
Antonio Cerone, Simon Connelly, Peter A. Lindsay
2008 J jnl
Formal methods for interactive systems.
Innov. Syst. Softw. Eng.
Antonio Cerone, Paul Curzon
2008 J jnl
Guest Editorial.
Formal Aspects Comput.
Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone
2008 — ed.
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007
FMIS@BCS HCI
Antonio Cerone, Paul Curzon
2008 B ed.
Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008
SEFM
Antonio Cerone, Stefan Gruner
2008 — conf
Translating Stochastic CLS into Maude.
MeCBIC
Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo
2007 — conf
2
BCS HCI (2)
Paul Curzon, Antonio Cerone
2007 — conf
Preface.
FMIS@BCS HCI
Antonio Cerone, Paul Curzon
2007 — ed.
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006
FMIS@ICFEM
Antonio Cerone, Paul Curzon
2006 — conf
Model-checking Driven Design of Interactive Systems.
FMIS@ICFEM
Antonio Cerone, Norzima Elbegbayan
2006 — conf
Preface.
FMIS@ICFEM
Antonio Cerone, Paul Curzon
2006 — ed.
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005
QAPL
Antonio Cerone, Herbert Wiklicky
2006 C ed.
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings
ICTAC
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
2006 A conf
Verifying BPEL Workflows Under Authorisation Constraints.
Business Process Management
Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan
2005 B conf
Formal Analysis of Human-computer Interaction using Model-checking.
SEFM
Antonio Cerone, Peter A. Lindsay, Simon Connelly
2005 — conf
Preface.
QAPL
Antonio Cerone, Herbert Wiklicky
2005 J jnl
Preface.
Theor. Comput. Sci.
Antonio Cerone, Alessandra Di Pierro
2005 — ed.
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, QAPL 2004, Barcelona, Spain, March 27-28, 2004
QAPL
Antonio Cerone, Alessandra Di Pierro
2005 J jnl
Property verification of asynchronous systems.
Innov. Syst. Softw. Eng.
Antonio Cerone, George J. Milne
2004 — conf
Preface.
QAPL
Antonio Cerone, Alessandra Di Pierro
2003 C conf
A Z Based Approach to Verifying Security Protocols.
ICFEM
Benjamin W. Long, Colin J. Fidge, Antonio Cerone
2003 — conf
Representing ASN.1 in Z.
ACSW
Antonio Cerone
2002 B conf
Implementing Condition/Event Nets in the Circal Process Algebra.
FASE
Antonio Cerone
2001 — conf
Axiomatisation of an Interval Calculus for Theorem Proving.
CATS
Antonio Cerone
2000 B conf
A Methodology for the Formal Analysis of Asynchronous Micropipelines.
FMCAD
Antonio Cerone, George J. Milne
2000 — conf
Process Algebra versus Axiomatic Specification of a Real-Time Protocol.
AMAST
Antonio Cerone
1999 J jnl
Time-Based Expressivity of Time Petri Nets for System Specification.
Theor. Comput. Sci.
Antonio Cerone, Andrea Maggiolo-Schettini
1998 — conf
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.
ACSD
Antonio Cerone, David A. Kearney, George J. Milne
1997 — conf
Modelling a Time-Dependent Protocol Using the Circal Process Algebra.
HART
Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley
1997 — conf
Specification of Timing Constraints within the Circal Process Algebra.
AMAST
Antonio Cerone, George J. Milne
1997 — conf
The Circal System.
AMAST
Antonio Cerone, Alex J. Cowie, George J. Milne