 | 2012 |
|---|
| 42 |       | Dimitrios Settas,
Antonio Cerone,
Stefan Fenz:
Enhancing ontology-based antipattern detection using Bayesian networks.
Expert Syst. Appl. 39(10): 9041-9053 (2012) |
| 2011 |
|---|
| 41 | | Antonio Cerone,
Pekka Pihlajasaari:
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings
Springer 2011 |
| 40 | | Dimitrios Settas,
Antonio Cerone:
An Ontology Based E-Learning System Using Antipatterns.
ICWL 2011: 243-252 |
| 39 | | Dimitrios Settas,
Antonio Cerone,
Stefan Fenz:
Towards Automatic Generation of Ontology-Based Antipattern Bayesian Network Models.
SERA 2011: 46-53 |
| 38 | | Antonio Cerone:
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems.
ECEASST 45: (2011) |
| 37 | | Antonio Cerone,
Stefan Gruner:
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.
Software and System Modeling 10(2): 143-145 (2011) |
| 2010 |
|---|
| 36 | | Thomas Anung Basuki,
Antonio Cerone,
Roberto Barbuti,
Andrea Maggiolo-Schettini,
Paolo Milazzo,
Elisabetta Rossi:
Modelling the Dynamics of an Aedes albopictus Population
AMCA-POP 2010: 18-36 |
| 35 | | Sulayman K. Sowe,
Antonio Cerone:
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects.
ECEASST 33: (2010) |
| 34 | | Luís Soares Barbosa,
Antonio Cerone,
Siraj Ahmed Shaikh:
Preface.
ECEASST 33: (2010) |
| 33 | | Antonio Cerone,
Sulayman K. Sowe:
Using Free/Libre Open Source Software Projects as E-learning Tools.
ECEASST 33: (2010) |
| 2009 |
|---|
| 32 | | Thomas Anung Basuki,
Antonio Cerone,
Rafael V. Carvalho:
Modelling Cell Cycle using Different Levels of Representation
MeCBIC 2009: 51-69 |
| 31 | | Luís Soares Barbosa,
Antonio Cerone,
Siraj Ahmed Shaikh:
Preface.
ECEASST 20: (2009) |
| 30 | | Siraj Ahmed Shaikh,
Antonio Cerone:
Towards a metric for Open Source Software Quality.
ECEASST 20: (2009) |
| 29 | | Thomas Anung Basuki,
Antonio Cerone,
Paolo Milazzo:
Translating Stochastic CLS into Maude.
Electr. Notes Theor. Comput. Sci. 227: 37-58 (2009) |
| 28 | | Antonio Cerone,
Paul Curzon,
David Duce:
Editorial.
Formal Asp. Comput. 21(6): 511-512 (2009) |
| 27 | | Thomas Anung Basuki,
Antonio Cerone,
Andreas Griesmayer,
Rudolf Schlatte:
Model-checking user behaviour using interacting components.
Formal Asp. Comput. 21(6): 571-588 (2009) |
| 2008 |
|---|
| 26 |  | Antonio Cerone,
Stefan Gruner:
Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008
IEEE Computer Society 2008 |
| 25 | | Antonio Cerone,
Paul Curzon:
Preface.
Electr. Notes Theor. Comput. Sci. 208: 1-3 (2008) |
| 24 | | Kamel Barkaoui,
Manfred Broy,
Ana Cavalcanti,
Antonio Cerone:
Guest Editorial.
Formal Asp. Comput. 20(4-5): 349-350 (2008) |
| 23 | | Antonio Cerone,
Paul Curzon:
Formal methods for interactive systems.
ISSE 4(2): 123 (2008) |
| 22 | | Antonio Cerone,
Simon Connelly,
Peter A. Lindsay:
Formal analysis of human operator behavioural patterns in interactive surveillance systems.
Software and System Modeling 7(3): 273-286 (2008) |
| 2007 |
|---|
| 21 | | Paul Curzon,
Antonio Cerone:
2nd International Workshop on Formal Methods for Interactive Systems.
BCS HCI (2) 2007: 199-200 |
| 20 | | Antonio Cerone,
Paul Curzon:
Preface.
Electr. Notes Theor. Comput. Sci. 183: 1-2 (2007) |
| 19 | | Antonio Cerone,
Norzima Elbegbayan:
Model-checking Driven Design of Interactive Systems.
Electr. Notes Theor. Comput. Sci. 183: 3-20 (2007) |
| 2006 |
|---|
| 18 | | Kamel Barkaoui,
Ana Cavalcanti,
Antonio Cerone:
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings
Springer 2006 |
| 17 | | Zhao Xiangpeng,
Antonio Cerone,
Padmanabhan Krishnan:
Verifying BPEL Workflows Under Authorisation Constraints.
Business Process Management 2006: 439-444 |
| 16 | | Antonio Cerone,
Herbert Wiklicky:
Preface.
Electr. Notes Theor. Comput. Sci. 153(2): 1-3 (2006) |
| 2005 |
|---|
| 15 | | Antonio Cerone,
Peter A. Lindsay,
Simon Connelly:
Formal Analysis of Human-computer Interaction using Model-checking.
SEFM 2005: 352-362 |
| 14 | | Antonio Cerone,
Alessandra Di Pierro:
Preface.
Electr. Notes Theor. Comput. Sci. 112: 1-3 (2005) |
| 13 | | Antonio Cerone,
George J. Milne:
Property verification of asynchronous systems.
ISSE 1(1): 25-40 (2005) |
| 12 | | Antonio Cerone,
Alessandra Di Pierro:
Preface.
Theor. Comput. Sci. 346(1): 1-2 (2005) |
| 2003 |
|---|
| 11 | | Antonio Cerone:
Representing ASN.1 in Z.
ACSW Frontiers 2003: 9-16 |
| 10 | | Benjamin W. Long,
Colin J. Fidge,
Antonio Cerone:
A Z Based Approach to Verifying Security Protocols.
ICFEM 2003: 375-395 |
| 2002 |
|---|
| 9 | | Antonio Cerone:
Implementing Condition/Event Nets in the Circal Process Algebra.
FASE 2002: 49-63 |
| 2001 |
|---|
| 8 | | Antonio Cerone:
Axiomatisation of an Interval Calculus for Theorem Proving.
Electr. Notes Theor. Comput. Sci. 42: 67-88 (2001) |
| 2000 |
|---|
| 7 | | Antonio Cerone:
Process Algebra versus Axiomatic Specification of a Real-Time Protocol.
AMAST 2000: 57-72 |
| 6 | | Antonio Cerone,
George J. Milne:
A Methodology for the Formal Analysis of Asynchronous Micropipelines.
FMCAD 2000: 246-262 |
| 1999 |
|---|
| 5 | | Antonio Cerone,
Andrea Maggiolo-Schettini:
Time-Based Expressivity of Time Petri Nets for System Specification.
Theor. Comput. Sci. 216(1-2): 1-53 (1999) |
| 1998 |
|---|
| 4 | | Antonio Cerone,
David A. Kearney,
George J. Milne:
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.
ACSD 1998: 109-119 |
| 1997 |
|---|
| 3 | | Antonio Cerone,
George J. Milne:
Specification of Timing Constraints within the Circal Process Algebra.
AMAST 1997: 108-122 |
| 2 | | Antonio Cerone,
Alex J. Cowie,
George J. Milne:
The Circal System.
AMAST 1997: 563-564 |
| 1 | | Antonio Cerone,
Alex J. Cowie,
George J. Milne,
Philip A. Moseley:
Modelling a Time-Dependent Protocol Using the Circal Process Algebra.
HART 1997: 124-138 |
Data released under the ODC-BY 1.0 license — See also our legal information page