|
Search the dblp DataBase
Antonio Cau:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Antonio Cau, Hussein Zedan
Refining Interval Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP] ARTS, 1997, pp:79-94 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- Antonio Cau, Willem P. de Roever
Using Relative Refinement for Fault Tolerance. [Citation Graph (0, 0)][DBLP] FME, 1993, pp:19-41 [Conf]
- Antonio Cau, Willem P. de Roever
Specifying Fault Tolerance within Stark's Formalism. [Citation Graph (0, 0)][DBLP] FTCS, 1993, pp:392-401 [Conf]
- Monika Solanki, Antonio Cau, Hussein Zedan
Introducing Compositionality in Web Service Descriptions. [Citation Graph (0, 0)][DBLP] FTDCS, 2004, pp:14-20 [Conf]
- Hussein Zedan, Antonio Cau
Voice Over IP: Correct Hardware/Software Co-Design. [Citation Graph (0, 0)][DBLP] FTDCS, 2001, pp:194-200 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Helge Janicke, Antonio Cau, Hussein Zedan
A note on the formalisation of UCON. [Citation Graph (0, 0)][DBLP] SACMAT, 2007, pp:163-168 [Conf]
CCA: A Calculus of Context-Aware Ambients. [Citation Graph (, )][DBLP]
A Property Based Framework for Trust and Reputation in Mobile Computing. [Citation Graph (, )][DBLP]
Concurrent Enforcement of Usage Control Policies. [Citation Graph (, )][DBLP]
Security Solution for Mobile Ad Hoc Network of Networks (MANoN). [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.302secs
|