Antonio Cerone

	2009
26		Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo: Translating Stochastic CLS into Maude. Electr. Notes Theor. Comput. Sci. 227: 37-58 (2009)
	2008
25		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
24		Antonio Cerone, Paul Curzon: Preface. Electr. Notes Theor. Comput. Sci. 208: 1-3 (2008)
23		Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone: Guest Editorial. Formal Asp. Comput. 20(4-5): 349-350 (2008)
22		Antonio Cerone, Paul Curzon: Formal methods for interactive systems. ISSE 4(2): 123 (2008)
21		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		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: (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

Coauthor Index

1	Kamel Barkaoui	[18] [23]
2	Thomas Anung Basuki	[26]
3	Manfred Broy	[23]
4	Ana Cavalcanti	[18] [23]
5	Simon Connelly	[15] [21]
6	Alex J. Cowie	[1] [2]
7	Paul Curzon	[20] [22] [24]
8	Norzima Elbegbayan	[19]
9	Colin J. Fidge	[10]
10	Stefan Gruner	[25]
11	David A. Kearney	[4]
12	Padmanabhan Krishnan	[17]
13	Peter A. Lindsay	[15] [21]
14	Benjamin W. Long	[10]
15	Andrea Maggiolo-Schettini	[5]
16	Paolo Milazzo	[26]
17	George J. Milne	[1] [2] [3] [4] [6] [13]
18	Philip A. Moseley	[1]
19	Alessandra Di Pierro	[12] [14]
20	Herbert Wiklicky	[16]
21	Zhao Xiangpeng	[17]

Colors in the list of coauthors