SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Antonio Cerone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Antonio Cerone, David A. Kearney, George J. Milne
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
ACSD, 1998, pp:109-119 [Conf]
Antonio Cerone
Representing ASN.1 in Z. [Citation Graph (0, 0)][DBLP]
ACSW Frontiers, 2003, pp:9-16 [Conf]
Antonio Cerone
Process Algebra versus Axiomatic Specification of a Real-Time Protocol. [Citation Graph (0, 0)][DBLP]
AMAST, 2000, pp:57-72 [Conf]
Antonio Cerone, Alex J. Cowie, George J. Milne
The Circal System. [Citation Graph (0, 0)][DBLP]
AMAST, 1997, pp:563-564 [Conf]
Antonio Cerone, George J. Milne
Specification of Timing Constraints within the Circal Process Algebra. [Citation Graph (0, 0)][DBLP]
AMAST, 1997, pp:108-122 [Conf]
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan
Verifying BPEL Workflows Under Authorisation Constraints. [Citation Graph (0, 0)][DBLP]
Business Process Management, 2006, pp:439-444 [Conf]
Antonio Cerone
Implementing Condition/Event Nets in the Circal Process Algebra. [Citation Graph (0, 0)][DBLP]
FASE, 2002, pp:49-63 [Conf]
Antonio Cerone, George J. Milne
A Methodology for the Formal Analysis of Asynchronous Micropipelines. [Citation Graph (0, 0)][DBLP]
FMCAD, 2000, pp:246-262 [Conf]
Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley
Modelling a Time-Dependent Protocol Using the Circal Process Algebra. [Citation Graph (0, 0)][DBLP]
HART, 1997, pp:124-138 [Conf]
Benjamin W. Long, Colin J. Fidge, Antonio Cerone
A Z Based Approach to Verifying Security Protocols. [Citation Graph (0, 0)][DBLP]
ICFEM, 2003, pp:375-395 [Conf]
Antonio Cerone, Peter A. Lindsay, Simon Connelly
Formal Analysis of Human-computer Interaction using Model-checking. [Citation Graph (0, 0)][DBLP]
SEFM, 2005, pp:352-362 [Conf]
Antonio Cerone, Alessandra Di Pierro
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:1-3 [Journal]
Antonio Cerone, Herbert Wiklicky
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:1-3 [Journal]
Antonio Cerone
Axiomatisation of an Interval Calculus for Theorem Proving. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
Antonio Cerone, Andrea Maggiolo-Schettini
Time-Based Expressivity of Time Petri Nets for System Specification. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1999, v:216, n:1-2, pp:1-53 [Journal]
Antonio Cerone, Alessandra Di Pierro
Preface. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2005, v:346, n:1, pp:1-2 [Journal]
Antonio Cerone, Paul Curzon
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:1-2 [Journal]
Antonio Cerone, Norzima Elbegbayan
Model-checking Driven Design of Interactive Systems. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:3-20 [Journal]
2^nd International Workshop on Formal Methods for Interactive Systems. [Citation Graph (, )][DBLP]
Modelling Cell Cycle using Different Levels of Representation [Citation Graph (, )][DBLP]
Modelling the Dynamics of an Aedes albopictus Population [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Translating Stochastic CLS into Maude. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP