| 2009 |
|---|
| 25 | EE | Thomas Anung Basuki,
Antonio Cerone,
Paolo Milazzo:
Translating Stochastic CLS into Maude.
Electr. Notes Theor. Comput. Sci. 227: 37-58 (2009) |
| 2008 |
|---|
| 24 | | 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 |
| 23 | EE | Antonio Cerone,
Paul Curzon:
Preface.
Electr. Notes Theor. Comput. Sci. 208: 1-3 (2008) |
| 22 | EE | Kamel Barkaoui,
Manfred Broy,
Ana Cavalcanti,
Antonio Cerone:
Guest Editorial.
Formal Asp. Comput. 20(4-5): 349-350 (2008) |
| 21 | EE | 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 |
|---|
| 20 | EE | Antonio Cerone,
Paul Curzon:
Preface.
Electr. Notes Theor. Comput. Sci. 183: 1-2 (2007) |
| 19 | EE | 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 | EE | Zhao Xiangpeng,
Antonio Cerone,
Padmanabhan Krishnan:
Verifying BPEL Workflows Under Authorisation Constraints.
Business Process Management 2006: 439-444 |
| 16 | EE | Antonio Cerone,
Herbert Wiklicky:
Preface.
Electr. Notes Theor. Comput. Sci. 153(2): 1-3 (2006) |
| 2005 |
|---|
| 15 | EE | Antonio Cerone,
Peter A. Lindsay,
Simon Connelly:
Formal Analysis of Human-computer Interaction using Model-checking.
SEFM 2005: 352-362 |
| 14 | EE | Antonio Cerone,
Alessandra Di Pierro:
Preface.
Electr. Notes Theor. Comput. Sci. 112: 1-3 (2005) |
| 13 | EE | Antonio Cerone,
George J. Milne:
Property verification of asynchronous systems.
ISSE 1(1): 25-40 (2005) |
| 12 | EE | Antonio Cerone,
Alessandra Di Pierro:
Preface.
Theor. Comput. Sci. 346(1): 1-2 (2005) |
| 2003 |
|---|
| 11 | EE | Antonio Cerone:
Representing ASN.1 in Z.
ACSW Frontiers 2003: 9-16 |
| 10 | EE | Benjamin W. Long,
Colin J. Fidge,
Antonio Cerone:
A Z Based Approach to Verifying Security Protocols.
ICFEM 2003: 375-395 |
| 2002 |
|---|
| 9 | EE | Antonio Cerone:
Implementing Condition/Event Nets in the Circal Process Algebra.
FASE 2002: 49-63 |
| 2001 |
|---|
| 8 | EE | Antonio Cerone:
Axiomatisation of an Interval Calculus for Theorem Proving.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 2000 |
|---|
| 7 | EE | Antonio Cerone:
Process Algebra versus Axiomatic Specification of a Real-Time Protocol.
AMAST 2000: 57-72 |
| 6 | EE | Antonio Cerone,
George J. Milne:
A Methodology for the Formal Analysis of Asynchronous Micropipelines.
FMCAD 2000: 246-262 |
| 1999 |
|---|
| 5 | EE | 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 | EE | 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 |
