Antonio Cau

ORCID

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 2

Top Venues

CoRR

ICS-CSR

Formal Methods Syst. Des.

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Antonio Cau, Stefan Kuhn, James Hoey
Executable Interval Temporal Logic Specifications. CoRR (2021)
Antonio Cau, Stefan Kuhn, James Hoey
Reversibility of Executable Interval Temporal Logic Specifications. RC (2021)
Andrew Nicholson, Helge Janicke, Antonio Cau
Position Paper: Safety and Security Monitoring in ICS/SCADA Systems. ICS-CSR (2014)
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
Dynamic Access Control Policies: Specification and Verification. Comput. J. 56 (4) (2013)
Antonio Cau, Helge Janicke, Ben C. Moszkowski
Verification and enforcement of access control policies. Formal Methods Syst. Des. 43 (3) (2013)
Sulaiman Al Amro, Antonio Cau
Behaviour-based Virus Detection System using Interval Temporal Logic. CRiSIS (2011)
François Siewe, Hussein Zedan, Antonio Cau
The Calculus of Context-aware Ambients. J. Comput. Syst. Sci. 77 (4) (2011)
Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau, François Siewe
Security Management for Mobile Ad Hoc Network of Networks (MANoN). Int. J. Mob. Comput. Multim. Commun. 2 (1) (2010)
Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau
Security Solution for Mobile Ad Hoc Network of Networks (MANoN). ICNS (2009)
Kevin I. Jones, Helge Janicke, Antonio Cau
A Property Based Framework for Trust and Reputation in Mobile Computing. AINA Workshops (2009)
François Siewe, Antonio Cau, Hussein Zedan
CCA: A Calculus of Context-Aware Ambients. AINA Workshops (2009)
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
Concurrent Enforcement of Usage Control Policies. POLICY (2008)
Helge Janicke, Antonio Cau, Hussein Zedan
A note on the formalisation of UCON. SACMAT (2007)
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
Deriving Enforcement Mechanisms from Policies. POLICY (2007)
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin I. Jones
A Compositional Event & Time-Based Policy Model. POLICY (2006)
Monika Solanki, Antonio Cau, Hussein Zedan
ASDL: a wide spectrum language for designing web services. WWW (2006)
Monika Solanki, Antonio Cau, Hussein Zedan
Semantically Annotating Reactive Web Services with Temporal Specifications. SDWP@ICWS (2005)
Shikun Zhou, Hussein Zedan, Antonio Cau
Run-time analysis of time-critical systems. J. Syst. Archit. 51 (5) (2005)
Helge Janicke, François Siewe, Kevin I. Jones, Antonio Cau, Hussein Zedan
Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS (2005)
Monika Solanki, Antonio Cau, Hussein Zedan
Introducing Compositionality in Web Service Descriptions. FTDCS (2004)
Monika Solanki, Antonio Cau, Hussein Zedan
Augmenting semantic web service descriptions with compositional specification. WWW (2004)
François Siewe, Antonio Cau, Hussein Zedan
A compositional framework for access control policies enforcement. FMSE (2003)
Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey
A Compositional Framework for Hardware/Software Co-Design. Des. Autom. Embed. Syst. 6 (4) (2002)
Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang
K-Mediator: Towards Evolving Information Systems. ICSM (2001)
Hussein Zedan, Antonio Cau
Voice Over IP: Correct Hardware/Software Co-Design. FTDCS (2001)
Antonio Cau
Composing and Refining Dense Temporal Logic Specifications. Formal Aspects Comput. 12 (1) (2000)
Shikun Zhou, Hussein Zedan, Antonio Cau
A Framework for Analysing the Effect of "Change" in Legacy Code. ICSM (1999)
Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang
ATOM: An Object-based Formal Method for Real-Time Systems. Ann. Softw. Eng. 7 (1999)
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang
Integrating structured OO approaches with formal techniques for the development of real-time systems. Inf. Softw. Technol. 41 (7) (1999)
Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. Inf. Sci. 118 (1-4) (1999)
Antonio Cau, Chris Czarnecki, Hussein Zedan
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. FTRTFT (1998)
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang
A Refinement Calculus for the Development of Real-Time Systems. APSEC (1998)
Antonio Cau, Willem P. de Roever
A Dense-Time Temporal Logic with Nice Compositionality Properties. EUROCAST (1997)
Antonio Cau, Hussein Zedan
Refining Interval Temporal Logic Specifications. ARTS (1997)
Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
Proving the correctness of the interlock mechanism in processor design. CHARME (1997)
Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski
Using ITL and Tempura for Large-Scale Specification and Simulation. PDP (1996)
Antonio Cau, Pierre Collette
Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. Acta Informatica 33 (2) (1996)
Qiwen Xu, Antonio Cau, Pierre Collette
On Unifying Assumption-Commitment Style Proof Rules for Concurrency. CONCUR (1994)
Antonio Cau, Willem P. de Roever
Specifying Fault Tolerance within Stark's Formalism. FTCS (1993)
Antonio Cau, Willem P. de Roever
Using Relative Refinement for Fault Tolerance. FME (1993)
Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever
Formalising Dijkstra's Development Strategy within Stark's Formalism. Refine (1992)

Antonio Cau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antonio Cau