# Antonio Cerone

According to our database

Collaborative distances:

^{1}, Antonio Cerone authored at least 77 papers between 1997 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Model mining - Integrating data analytics, modelling and verification.

J. Intell. Inf. Syst., 2019

2018

Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study.

Proceedings of the Software Technologies: Applications and Foundations, 2018

Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning.

Proceedings of the Software Technologies: Applications and Foundations, 2018

FormalMiner: A Formal Framework for Refinement Mining.

Proceedings of the Software Technologies: Applications and Foundations, 2018

2017

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.

EAIT, 2017

2016

Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives.

Proceedings of the Software Technologies: Applications and Foundations, 2016

Refinement Mining: Using Data to Sift Plausible Models.

Proceedings of the Software Technologies: Applications and Foundations, 2016

A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems.

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015

On Integrating Social and Sensor Networks for Emergency Management.

Proceedings of the Software Engineering and Formal Methods, 2015

A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems.

Proceedings of the Software Engineering and Formal Methods, 2015

Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management.

Proceedings of the Software Engineering and Formal Methods, 2015

Mining Learning Processes from FLOSS Mailing Archives.

Proceedings of the Open and Big Data Management and Innovation, 2015

2014

Theoretical Aspects of Computing (ICTAC 2011).

Theor. Comput. Sci., 2014

An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis.

Sci. Comput. Program., 2014

A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.

Proceedings of the Software Engineering and Formal Methods, 2014

An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities.

Proceedings of the Software Engineering and Formal Methods, 2014

Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives.

Proceedings of the Software Engineering and Formal Methods, 2014

OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities.

Proceedings of the Software Engineering and Formal Methods, 2014

Research Challenges in Modelling Ecosystems.

Proceedings of the Software Engineering and Formal Methods, 2014

2013

Guest editorial to the special section on SEFM 2009.

Software and Systems Modeling, 2013

Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach.

Electr. Notes Theor. Comput. Sci., 2013

Stochastic Modelling and Analysis of Driver Behaviour.

ECEASST, 2013

Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality.

Proceedings of the Software Engineering and Formal Methods, 2013

Analysis of FLOSS Communities as Learning Contexts.

Proceedings of the Software Engineering and Formal Methods, 2013

A pilot project on non-conventional learning.

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach.

Proceedings of the Collaboration and Technology - 19th International Conference, 2013

2012

Enhancing ontology-based antipattern detection using Bayesian networks.

Expert Syst. Appl., 2012

Using Open Source Projects in Higher Education: A Two-Way Certification Framework.

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments.

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

FLOSS in Technology-Enhanced Learning.

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

A Preliminary Analysis of Learning Awareness in FLOSS Projects.

Innovation and Sustainability in Education.

Modelling and Knowledge Management for Sustainable Development.

Modelling Population Dynamics Using Grid Systems.

Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government.

Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance, 2012

2011

Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.

Software and Systems Modeling, 2011

Using antipatterns to improve the quality of FLOSS development.

ECEASST, 2011

Analysis of Collaboration Effectiveness and Individuals' Contribution in FLOSS Communities.

ECEASST, 2011

Learning and Activity Patterns in OSS Communities and their Impact on Software Quality.

ECEASST, 2011

Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems.

ECEASST, 2011

Towards Automatic Generation of Ontology-Based Antipattern Bayesian Network Models.

Proceedings of the 9th International Conference on Software Engineering Research, 2011

An Ontology Based E-Learning System Using Antipatterns.

Proceedings of the Advances in Web-Based Learning - ICWL 2011, 2011

2010

Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects.

ECEASST, 2010

Using Free/Libre Open Source Software Projects as E-learning Tools.

ECEASST, 2010

Preface.

ECEASST, 2010

Certification of open-source software: A role for formal methods?

Comput. Syst. Sci. Eng., 2010

Modelling the Dynamics of an Aedes albopictus Population

Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

2009

Editorial.

Formal Asp. Comput., 2009

Model-checking user behaviour using interacting components.

Formal Asp. Comput., 2009

Translating Stochastic CLS into Maude.

Electr. Notes Theor. Comput. Sci., 2009

Towards a metric for Open Source Software Quality.

ECEASST, 2009

Preface.

ECEASST, 2009

Modelling Cell Cycle using Different Levels of Representation

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

2008

Formal analysis of human operator behavioural patterns in interactive surveillance systems.

Software and Systems Modeling, 2008

Formal methods for interactive systems.

ISSE, 2008

Guest Editorial.

Formal Asp. Comput., 2008

Preface.

Electr. Notes Theor. Comput. Sci., 2008

2007

Model-checking Driven Design of Interactive Systems.

Electr. Notes Theor. Comput. Sci., 2007

Preface.

Electr. Notes Theor. Comput. Sci., 2007

2

^{nd}International Workshop on Formal Methods for Interactive Systems.
Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007

2006

Preface.

Electr. Notes Theor. Comput. Sci., 2006

Verifying BPEL Workflows Under Authorisation Constraints.

Proceedings of the Business Process Management, 4th International Conference, 2006

2005

Preface.

Theor. Comput. Sci., 2005

Property verification of asynchronous systems.

ISSE, 2005

Preface.

Electr. Notes Theor. Comput. Sci., 2005

Formal Analysis of Human-computer Interaction using Model-checking.

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2003

A Z Based Approach to Verifying Security Protocols.

Proceedings of the Formal Methods and Software Engineering, 2003

Representing ASN.1 in Z.

Proceedings of the ACSW Frontiers 2003, 2003 ACSW Workshops, 2003

2002

Implementing Condition/Event Nets in the Circal Process Algebra.

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Axiomatisation of an Interval Calculus for Theorem Proving.

Electr. Notes Theor. Comput. Sci., 2001

2000

A Methodology for the Formal Analysis of Asynchronous Micropipelines.

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Process Algebra versus Axiomatic Specification of a Real-Time Protocol.

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Time-Based Expressivity of Time Petri Nets for System Specification.

Theor. Comput. Sci., 1999

1998

Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Modelling a Time-Dependent Protocol Using the Circal Process Algebra.

Proceedings of the Hybrid and Real-Time Systems, 1997

Specification of Timing Constraints within the Circal Process Algebra.

Proceedings of the Algebraic Methodology and Software Technology, 1997

The Circal System.

Proceedings of the Algebraic Methodology and Software Technology, 1997