Antonio Cerone
Research Fellow
-
- INSTITUTE:
- UNU-IIST
- OFFICE:
- Casa Silva Mendes, Estrada do Engenheiro Trigo No. 4, Macao SAR
- E-MAIL:
- antonio@iist.unu.edu
- PHONE:
- +853 8504 0419
- NATIONALITY:
- Italy
Research Interests
Biological systems and ecosystems Education and e-learning Information security Interactive systemsEducation
Ph.D., Computer Science, University of Pisa Laurea degree, Information Science, University of PisaBiographical Statement
Antonio Cerone received his Laurea degree in information science in 1989 and his Ph.D. degree in computer science in 1993, both from the University of Pisa, Italy. After holding research positions in Germany and Australia, since 2004 he is Research Fellow at the UNU International Institute for Software Technology (IIST). His research focuses on education and e-learning as well as on formal methods and their application to interactive systems, system biology, ecosystems, information security, asynchronous hardware, concurrent and real-time systems, and safety-critical systems.
Antonio is the leader of the UNU-IIST Programme on ”Strategies and Technologies for Education” and coordinates the UNU-IIST Postgraduate Programme. He is the Chair of the Steering Committee of the IEEE International Conference on Software Engineering and Formal Methods (SEFM). He is a member of Formal Methods Europe (FME) and the European Association for Software Science and Technology (EASST). He is also Editorial Board Member of Electronic Communications of the EASST (ECEASST).
-
Peer-reviewed Book Chapters
- Thomas Anung Basuki, Roberto Barbuti Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo and Elisabetta Rossi. Modelling the Dynamics of an Aedes albopictus Population. To appear in: Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology (AMCA-POP 2010), Electronic Peoceedings in Theoretical Computer Science.
Peer-reviewed Journal Articles
- Antonio Cerone, Paul Curzon and David Duce (guest editors). Special Issue on Formal Methods for Interactive Systems. Formal Aspects of Computing, Volume 21, Issue 6, December 2009, pages 511-641
- Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer and Rudolf Schlatte. Model-checking User Behaviour using Interacting Components. In Formal Aspects of Computing 21(6), Springer, 2009, pages 571-588.
- Thomas Anung Basuki, Antonio Cerone and Rafael V. Carvalho. Modelling Cell Cycle using Different Levels of Representation. Proc. of Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2009), Vol. 227 of Electronic Peoceedings in Theoretical Computer Science, 2009, pages 51-70.
- Thomas Anung Basuki, Antonio Cerone and Paolo Milazzo. Translating Stochastic CLS into Maude. Proc. of Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Vol. 227 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009, pages 37-58.
- Antonio Cerone and Siraj A, Shaikh. Formal Analysis of Security in Interactive Systems. Chapter 25 of Handbook of Research on Social and Organizational Liabilities in Information Security (Manish Gupta and Raj Sharman, eds.), IGI Global, 2008 pages 415-432.
- Antonio Cerone and Stefan Gruner (editors). Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods. IEEE Comp. Soc., 2008, pages 1-394.
- Luis Barbosa, Peter Breuer, Antonio Cerone and Simon Pickin (editors). Proceedings of the OpenCert and FLOSS-FM 2008 joint Workshop. UNU-IIST Research Report 398, 2008, pages 1-88.
Other Publications (Conference Proceedings, etc)
- Sietse Overbeek, Antonio Cerone and Marijn Janssen. Roadmap for a Formal Approach to Reduce Inconsistencies in Enterprise Architecture Views. Pre-proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems. Eindhoven, The Netherlands, 2 November 2009.
- uis Barbosa, Antonio Cerone and Siraj Shaikh (editors). Proceedings of the 3rd International Workshop on Foundations and Techniques for Open Source Software Certification. York, UK, 28 March 2009, Vol. 20 of Electronic Communications of the EASST, The European Association of Software Science and Technology, 2009.
- Siraj Shaikh and Antonio Cerone. Towards a Metric for Open Source Software Quality. Proceedings of the 3rd International Workshop on Foundations and Techniques for Open Source Software Certification. Vol. 20 of Electronic Communications of the EASST, The European Association of Software Science and Technology, 2009.