The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. 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]
  2. Antonio Cerone
    Representing ASN.1 in Z. [Citation Graph (0, 0)][DBLP]
    ACSW Frontiers, 2003, pp:9-16 [Conf]
  3. Antonio Cerone
    Process Algebra versus Axiomatic Specification of a Real-Time Protocol. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:57-72 [Conf]
  4. Antonio Cerone, Alex J. Cowie, George J. Milne
    The Circal System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:563-564 [Conf]
  5. 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]
  6. 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]
  7. Antonio Cerone
    Implementing Condition/Event Nets in the Circal Process Algebra. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:49-63 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Antonio Cerone, Alessandra Di Pierro
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:1-3 [Journal]
  13. Antonio Cerone, Herbert Wiklicky
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:1-3 [Journal]
  14. 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]
  15. 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]
  16. Antonio Cerone, Alessandra Di Pierro
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:1-2 [Journal]
  17. Antonio Cerone, Paul Curzon
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:1-2 [Journal]
  18. 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]

  19. 2nd International Workshop on Formal Methods for Interactive Systems. [Citation Graph (, )][DBLP]


  20. Modelling Cell Cycle using Different Levels of Representation [Citation Graph (, )][DBLP]


  21. Modelling the Dynamics of an Aedes albopictus Population [Citation Graph (, )][DBLP]


  22. Preface. [Citation Graph (, )][DBLP]


  23. Translating Stochastic CLS into Maude. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002