Formalising Dijkstra's Development Strategy within Stark's Formalism. - Antonio Cau; Ruurd Kuiper 001; Willem-Paul de Roever (Refine, 1992)

Using Relative Refinement for Fault Tolerance. - Antonio Cau; Willem P. de Roever (FME, 1993)

Specifying Fault Tolerance within Stark's Formalism. - Antonio Cau; Willem P. de Roever (FTCS, 1993)

On Unifying Assumption-Commitment Style Proof Rules for Concurrency. - Qiwen Xu; Antonio Cau; Pierre Collette (CONCUR, 1994)

Using ITL and Tempura for Large-Scale Specification and Simulation. - Antonio Cau; Hussein Zedan; Nick Coleman; Ben C. Moszkowski (PDP, 1996)

Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. - Antonio Cau; Pierre Collette (Acta Informatica, 1996)

Compositional verification and specification of refinement for reactive systems in a dense time temporal logic. - Antonio Cau (1996)

Refining Interval Temporal Logic Specifications. - Antonio Cau; Hussein Zedan (ARTS, 1997)

Proving the correctness of the interlock mechanism in processor design. - Xiaoshan Li; Antonio Cau; Ben C. Moszkowski; Nick Coleman; Hussein Zedan (CHARME, 1997)

A Dense-Time Temporal Logic with Nice Compositionality Properties. - Antonio Cau; Willem P. de Roever (EUROCAST, 1997)

A Refinement Calculus for the Development of Real-Time Systems. - Zhiqiang Chen; Antonio Cau; Hussein Zedan; Xiaodong Liu 001; Hongji Yang (APSEC, 1998)

Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. - Antonio Cau; Chris A. Czarnecki; Hussein Zedan (FTRTFT, 1998)

A Framework for Analysing the Effect of "Change" in Legacy Code. - Shikun Zhou; Hussein Zedan; Antonio Cau (ICSM, 1999)

ATOM: An Object-based Formal Method for Real-Time Systems. - Hussein Zedan; Antonio Cau; Zhiqiang Chen; Hongji Yang (Ann. Softw. Eng., 1999)

Integrating structured OO approaches with formal techniques for the development of real-time systems. - Zhiqiang Chen; Antonio Cau; Hussein Zedan; Hongji Yang (Inf. Softw. Technol., 1999)

A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. - Zhiqiang Chen; Hussein Zedan; Antonio Cau; Hongji Yang (Inf. Sci., 1999)

Composing and Refining Dense Temporal Logic Specifications. - Antonio Cau (Formal Aspects Comput., 2000)

Voice Over IP: Correct Hardware/Software Co-Design. - Hussein Zedan; Antonio Cau (FTDCS, 2001)

K-Mediator: Towards Evolving Information Systems. - Hussein Zedan; Shikun Zhou; N. Sampat; X. Chen; Antonio Cau; Hongji Yang (ICSM, 2001)

A Compositional Framework for Hardware/Software Co-Design. - Antonio Cau; Roger Hale; Jordan Dimitrov; Hussein Zedan; Ben C. Moszkowski; M. Manjunathaiah; Michael Spivey (Des. Autom. Embed. Syst., 2002)

A compositional framework for access control policies enforcement. - François Siewe; Antonio Cau; Hussein Zedan (FMSE, 2003)

Introducing Compositionality in Web Service Descriptions. - Monika Solanki; Antonio Cau; Hussein Zedan (FTDCS, 2004)

Augmenting semantic web service descriptions with compositional specification. - Monika Solanki; Antonio Cau; Hussein Zedan (WWW, 2004)

Analysis and Run-Time Verification of Dynamic Security Policies. - Helge Janicke; François Siewe; Kevin I. Jones; Antonio Cau; Hussein Zedan (DAMAS, 2005)

Semantically Annotating Reactive Web Services with Temporal Specifications. - Monika Solanki; Antonio Cau; Hussein Zedan (SDWP@ICWS, 2005)

Run-time analysis of time-critical systems. - Shikun Zhou; Hussein Zedan; Antonio Cau (J. Syst. Archit., 2005)

A Compositional Event & Time-Based Policy Model. - Helge Janicke; Antonio Cau; François Siewe; Hussein Zedan; Kevin I. Jones (POLICY, 2006)

Temporal Reasoning Of Reactive Web Services. - Monika Solanki; Antonio Cau; Hussein Zedan (Semantic Web Services, Processes and Applications, 2006)

ASDL: a wide spectrum language for designing web services. - Monika Solanki; Antonio Cau; Hussein Zedan (WWW, 2006)

Deriving Enforcement Mechanisms from Policies. - Helge Janicke; Antonio Cau; François Siewe; Hussein Zedan (POLICY, 2007)

A note on the formalisation of UCON. - Helge Janicke; Antonio Cau; Hussein Zedan (SACMAT, 2007)

Concurrent Enforcement of Usage Control Policies. - Helge Janicke; Antonio Cau; François Siewe; Hussein Zedan (POLICY, 2008)

A Property Based Framework for Trust and Reputation in Mobile Computing. - Kevin I. Jones; Helge Janicke; Antonio Cau (AINA Workshops, 2009)

CCA: A Calculus of Context-Aware Ambients. - François Siewe; Antonio Cau; Hussein Zedan (AINA Workshops, 2009)

Security Solution for Mobile Ad Hoc Network of Networks (MANoN). - Ali H. Al-Bayatti; Hussein Zedan; Antonio Cau (ICNS, 2009)

Security Management for Mobile Ad Hoc Network of Networks (MANoN). - Ali H. Al-Bayatti; Hussein Zedan; Antonio Cau; François Siewe (Int. J. Mob. Comput. Multim. Commun., 2010)

Behaviour-based Virus Detection System using Interval Temporal Logic. - Sulaiman Al Amro; Antonio Cau (CRiSIS, 2011)

The Calculus of Context-aware Ambients. - François Siewe; Hussein Zedan; Antonio Cau (J. Comput. Syst. Sci., 2011)

Dynamic Access Control Policies: Specification and Verification. - Helge Janicke; Antonio Cau; François Siewe; Hussein Zedan (Comput. J., 2013)

Verification and enforcement of access control policies. - Antonio Cau; Helge Janicke; Ben C. Moszkowski (Formal Methods Syst. Des., 2013)

Position Paper: Safety and Security Monitoring in ICS/SCADA Systems. - Andrew Nicholson; Helge Janicke; Antonio Cau (ICS-CSR, 2014)

Reversibility of Executable Interval Temporal Logic Specifications. - Antonio Cau; Stefan Kuhn 001; James Hoey (RC, 2021)

Executable Interval Temporal Logic Specifications. - Antonio Cau; Stefan Kuhn 001; James Hoey (CoRR, 2021)