14 citations · 17 across the 4 of their papers we have counts for
4 papers
An Exploration of Learning Processes as Process Maps in FLOSS Repositories
Patrick Mukala, Antonio Cerone, Franco Turini
Evidence suggests that Free/Libre Open Source Software (FLOSS) environments provide unlimited learning opportunities. Community members engage in a number of activities both during…
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…
Modelling the Dynamics of an Aedes albopictus Population
Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti +3
We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools s…
Modelling Cell Cycle using Different Levels of Representation
Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho
Understanding the behaviour of biological systems requires a complex setting of in vitro and in vivo experiments, which attracts high costs in terms of time and resources. The use…