Antonio Cerone

According to our database1, 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.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

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

Modelling and Knowledge Management for Sustainable Development.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Modelling Population Dynamics Using Grid Systems.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

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

2nd 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


  Loading...