The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang
    A Refinement Calculus for the Development of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 1998, pp:61-0 [Conf]
  2. Antonio Cau, Hussein Zedan
    Refining Interval Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:79-94 [Conf]
  3. François Siewe, Antonio Cau, Hussein Zedan
    A compositional framework for access control policies enforcement. [Citation Graph (0, 0)][DBLP]
    FMSE, 2003, pp:32-42 [Conf]
  4. Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
    Proving the correctness of the interlock mechanism in processor design. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:5-22 [Conf]
  5. Qiwen Xu, Antonio Cau, Pierre Collette
    On Unifying Assumption-Commitment Style Proof Rules for Concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:267-282 [Conf]
  6. Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan
    Analysis and Run-Time Verification of Dynamic Security Policies. [Citation Graph (0, 0)][DBLP]
    DAMAS, 2005, pp:92-103 [Conf]
  7. Antonio Cau, Willem P. de Roever
    A Dense-Time Temporal Logic with Nice Compositionality Properties. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1997, pp:123-145 [Conf]
  8. Antonio Cau, Willem P. de Roever
    Using Relative Refinement for Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:19-41 [Conf]
  9. Antonio Cau, Willem P. de Roever
    Specifying Fault Tolerance within Stark's Formalism. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:392-401 [Conf]
  10. Monika Solanki, Antonio Cau, Hussein Zedan
    Introducing Compositionality in Web Service Descriptions. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2004, pp:14-20 [Conf]
  11. Hussein Zedan, Antonio Cau
    Voice Over IP: Correct Hardware/Software Co-Design. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2001, pp:194-200 [Conf]
  12. Antonio Cau, Chris Czarnecki, Hussein Zedan
    Designing a Provably Correct Robot Control System Using a `Lean' Formal Method. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:123-132 [Conf]
  13. Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang
    K-Mediator: Towards Evolving Information Systems. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:520-527 [Conf]
  14. Shikun Zhou, Hussein Zedan, Antonio Cau
    A Framework for Analysing the Effect of "Change" in Legacy Code. [Citation Graph (0, 0)][DBLP]
    ICSM, 1999, pp:411-420 [Conf]
  15. Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski
    Using ITL and Tempura for Large-Scale Specification and Simulation. [Citation Graph (0, 0)][DBLP]
    PDP, 1996, pp:493-500 [Conf]
  16. Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones
    A Compositional Event & Time-Based Policy Model. [Citation Graph (0, 0)][DBLP]
    POLICY, 2006, pp:173-182 [Conf]
  17. Monika Solanki, Antonio Cau, Hussein Zedan
    Augmenting semantic web service descriptions with compositional specification. [Citation Graph (0, 0)][DBLP]
    WWW, 2004, pp:544-552 [Conf]
  18. Monika Solanki, Antonio Cau, Hussein Zedan
    ASDL: a wide spectrum language for designing web services. [Citation Graph (0, 0)][DBLP]
    WWW, 2006, pp:687-696 [Conf]
  19. Antonio Cau, Pierre Collette
    Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:2, pp:153-176 [Journal]
  20. Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang
    ATOM: An Object-based Formal Method for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:235-256 [Journal]
  21. Antonio Cau
    Composing and Refining Dense Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:1, pp:52-70 [Journal]
  22. Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang
    Integrating structured OO approaches with formal techniques for the development of real-time systems. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:7, pp:435-450 [Journal]
  23. Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang
    A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:118, n:1-4, pp:15-35 [Journal]
  24. Shikun Zhou, Hussein Zedan, Antonio Cau
    Run-time analysis of time-critical systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems Architecture, 2005, v:51, n:5, pp:331-345 [Journal]
  25. Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
    Deriving Enforcement Mechanisms from Policies. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:161-172 [Conf]
  26. Helge Janicke, Antonio Cau, Hussein Zedan
    A note on the formalisation of UCON. [Citation Graph (0, 0)][DBLP]
    SACMAT, 2007, pp:163-168 [Conf]

  27. CCA: A Calculus of Context-Aware Ambients. [Citation Graph (, )][DBLP]


  28. A Property Based Framework for Trust and Reputation in Mobile Computing. [Citation Graph (, )][DBLP]


  29. Concurrent Enforcement of Usage Control Policies. [Citation Graph (, )][DBLP]


  30. Security Solution for Mobile Ad Hoc Network of Networks (MANoN). [Citation Graph (, )][DBLP]


Search in 0.045secs, Finished in 0.046secs
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