| 2021 | RC | Reversibility of Executable Interval Temporal Logic Specifications. | Antonio Cau, Stefan Kuhn, James Hoey |
| 2011 | CRiSIS | Behaviour-based Virus Detection System using Interval Temporal Logic. | Sulaiman Al Amro, Antonio Cau |
| 2009 | AINA | A Property Based Framework for Trust and Reputation in Mobile Computing. | Kevin I. Jones, Helge Janicke, Antonio Cau |
| 2009 | AINA | CCA: A Calculus of Context-Aware Ambients. | Franois Siewe, Antonio Cau, Hussein Zedan |
| 2007 | SACMAT | A note on the formalisation of UCON. | Helge Janicke, Antonio Cau, Hussein Zedan |
| 2006 | WWW | ASDL: a wide spectrum language for designing web services. | Monika Solanki, Antonio Cau, Hussein Zedan |
| 2005 | ICWS | Semantically Annotating Reactive Web Services with Temporal Specifications. | Monika Solanki, Antonio Cau, Hussein Zedan |
| 2004 | WWW | Augmenting semantic web service descriptions with compositional specification. | Monika Solanki, Antonio Cau, Hussein Zedan |
| 2003 | CCS | A compositional framework for access control policies enforcement. | Franois Siewe, Antonio Cau, Hussein Zedan |
| 1998 | APSEC | A Refinement Calculus for the Development of Real-Time Systems. | Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang |
| 1996 | PDP | Using ITL and Tempura for Large-Scale Specification and Simulation. | Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski |
| 1994 | CONCUR | On Unifying Assumption-Commitment Style Proof Rules for Concurrency. | Qiwen Xu, Antonio Cau, Pierre Collette |
| 1993 | FM | Using Relative Refinement for Fault Tolerance. | Antonio Cau, Willem P. de Roever |