Antonio Cau


Publications

Journals papers
    
Chapter in books.
    
Conference papers.
    
Reports.
    

Journal publications

  • Runtime-Monitoring for Industrial Control Systems.
    Helge Janicke and Andrew Nicholson and Stuart Webber and Antonio Cau.
    Electronics, 2015.
    Open Access
  • Verification and enforcement of access control policies.
    Antonio Cau, Helge Janicke and Ben Moszkowski.
    Formal Methods in System Design, Springer, 2013.
    Download pdf
  • Dynamic Access Control Policies -- Specification and Verification.
    Helge Janicke, Antonio Cau, Francois Siewe and Hussein Zedan.
    The Computer Journal, 2012.
    Download pdf
  • Behavioural API based Virus Analysis and Detection.
    Sulaiman Al Amro and Antonio Cau.
    International Journal of Computer Science and Information Security, 2012.
    Download pdf
  • The Calculus of Context-aware Ambients.
    Francois Siewe, Hussein Zedan and Antonio Cau.
    Journal of Computer and System Sciences, 2010.
    Download pdf
  • Security Solution for Mobile Ad hoc Network of Networks (MANoN).
    Ali Hilal. Al-Bayatti, Hussein Zedan and Antonio Cau.
    MASAUM Journal of Computing, Volume.1, Issue. 2, September 2009.
    Download pdf
  • Security Management for Mobile Ad Hoc Network of Networks (MANoN).
    Ali Hilal Al-Bayatti, Hussein Zedan, Antonio Cau and Francois Siewe.
    International Journal of Mobile Computing and Multimedia Communication (IJMCMC), 2009.
    Link to paper
  • Run-time Analysis of Time-critical Systems.
    Shikun Zhou, Hussein Zedan and Antonio Cau.
    Journal of System Architecture, 2005.
    Download pdf
  • A Compositional Framework for Hardware/Software Co-Design.
    Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben Moszkowski, Manju Manjunathaiah and Mike Spivey.
    Design Automation for Embedded Systems Journal, 2002.
    Download pdf
  • Composing and Refining Dense Temporal Logic Specifications.
    Antonio Cau.
    Formal Aspects of Computer Science, 2000.
    Download pdf
  • Integrating Structured OO Approaches with Formal Techniques for the Development of Real-time Systems.
    Zhiqiang Chen, Hussein Zedan, Antonio Cau and Hongji Yang.
    Information and Software Technology Journal, 1999.
    Download pdf
  • ATOM: An Object-based Formal Method for Real-time Systems.
    Hussein Zedan, Antonio Cau, Zhiqiang Chen and Hongji Yang.
    Annals of Software Engineering, 1999.
    Download pdf
  • A Wide-Spectrum Language for Object-Based Development of Real-time Systems.
    Zhiqiang Chen, Hussein Zedan, Antonio Cau and Hongji Yang.
    International Journal of Information Sciences, 1999.
    Download pdf
  • Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency.
    Antonio Cau and Pierre Collette.
    Acta Informatica, 1996.
    Download pdf
*Back

Book chapters

  • Temporal Specifications for Semantic Web services.
    Monika Solanki, Antonio Cau and Hussein Zedan.
    Semantic Web Services, Processes and Applications, 2005.
    Link to chapter
  • Compositional Modelling: The Formal Perspective.
    Hussein Zedan, Antonio Cau and Ben Moszkowski.
    Systems Modelling for Business Process Improvement, 2000.
    Download pdf
  • The Systematic Construction of Information Systems.
    Antonio Cau and Hussein Zedan.
    Systems Engineering for Business Process Change, 2000.
    Download pdf
*Back

Conference papers

  • Reversibility of Executable Interval Temporal Logic Specifications.
    Antonio Cau, Stefan Kuhn, and James Hoey.
    In Proceeding of Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021. Ed. by Shigeru Yamashita and Tetsuo Yokoyama. Vol. 12805. Lecture Notes in Computer Science. Springer, 2021, pp. 214–223.
    Link to paper
  • A novel approach to worm detection systems.
    Yazed Al-Saawy, Antonio Cau and Francois Siewe.
    Proceedings of Science and Information Conference (SAI), 2015.
    Link to paper
  • Position Paper: Safety and Security Monitoring in ICS/SCADA Systems.
    Andrew Nicholson, Helge Janicke and Antonio Cau.
    Proceedings of 2nd International Symposium for ICS & SCADA Cyber Security Research 2014 (ICS-CSR 2014), St Poelten, 2014.
    Download pdf
  • Specification Analysis of Transactional Memory using ITL and AnaTempura.
    Ameen El-kustaban, Ben Moszkowski and Antonio Cau.
    Proceedings of The International Multi-Conference of Engineers and Computer Scientists 2012 (IMECS'12), 2012.
    Download pdf
  • Formalising of Transactional Memory using Interval Temporal Logic (ITL).
    Ameen El-kustaban, Ben Moszkowski and Antonio Cau.
    Proceedings of the Spring World Congress on Engineering and Technology (SCET 2012), 2012.
    Download pdf
  • A Framework for the Detection and Prevention of SQL Injection Attacks.
    Emad Shafie and Antonio Cau.
    Proceedings of 11th European Conference on Information Warfare and Security ECIW-2012, 2012.
    Download pdf
  • Modelling Dynamically Changing Trust-Relationships in Ad-hoc Coalitions.
    Helge Janicke and Antonio Cau.
    Proceedings Maths in Defence workshop, Defence College Shrivenham, 2011.
    Download pdf
  • Behaviour-based Virus Detection System using Interval Temporal Logic.
    Sulaiman Al Amro and A. Cau.
    Proceedings of the 11th International Conference on Risks and Security of Internet and Systems (CRiSIS2011), 2011.
    Link to paper
  • Towards a Multilingual Semantic Folksonomy.
    Murad Magableh, Antonio Cau, Hussein Zedan and Martin Ward.
    Proceedings of the IADIS International Conference Collaborative Technologies 2010 (MCCSIS 2010), 2010.
    Download pdf
  • Towards a Multilingual Semantic Folksonomy.
    Murad Magableh, Antonio Cau, Hussein Zedan and Martin Ward.
    Proceedings of 1st International Workshop on Adaptation, Personalization and REcommendation in the Social-semantic Web (APRESW 2010), 2010.
    Download pdf
  • Interactive runtime monitoring of information flow policies.
    Mohamed Sarrab. Helge Janicke and Antonio Cau.
    Proceedings of Second international conference of Creativity and Innovation in Software Engineering, 2010.
    Download pdf
  • A Property based Framework for Trust and Reputation in Mobile Computing.
    Kevin Jones, Helge Janicke and Antonio Cau.
    Proceedings of International Conference on Advanced Information Networking and Applications Workshops, 2009.
    Download pdf
  • CCA: a Calculus of Context-aware Ambients.
    Francois Siewe, Antonio Cau and Hussein Zedan.
    Proceedings of International Conference on Advanced Information Networking and Applications Workshops, 2009.
    Download pdf
  • Security Solution for Mobile Adhoc Network of Networks.
    Ali Hilal Al-Bayatti, Hussein Zedan and Antonio Cau.
    Proceedings of ICNS 2009, The Fifth International IEEE Conference on Networking and Services, Valencia, Spain, 2009.
    Download pdf
  • Mapping Human Creativity.
    Hussein Zedan, Antonio Cau, Keno Buss, Sascha Westendorf, Andrew Hugill and Sue Thomas.
    Proceedings of the 12th Serbian Mathematical Congress, Novi Sad, 2008.
    Download pdf
  • Concurrent Enforcement of Usage Control Policies.
    Helge Janicke, Antonio Cau, Francois Siewe and Hussein Zedan.
    Proceedings of the 9th IEEE Workshop on Policies for Distributed Systems and Networks (POLICY2008), 2008.
    Download pdf
  • Temporal Dimension for Job Submission Description Language.
    Omar Aldabbas, Mai Ahmad Alfawair, Hussein Zedan and Antonio Cau.
    Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS '08), 2008.
    Download pdf
  • Deriving Enforcement Mechanisms from Policies.
    Helge Janicke, Antonio Cau, Francois Siewe and Hussein Zedan.
    Proceedings of Policy2007, 2007.
    Download pdf
  • A Note on the Formalisation of UCON.
    Helge Janicke, Antonio Cau, and Hussein Zedan.
    Proceedings of SACMAT'07, Sophia Antipolis, 2007.
    Download pdf
  • A Compositional Event & Time-based Policy Model.
    Helge Janicke, Antonio Cau, Francois Siewe, Hussein Zedan and Kevin Jones.
    Proceedings of Policy2006, London, Ontario, 2006.
    Download pdf
  • ASDL: A Wide Spectrum Language for Designing Web Services.
    Monika Solanki, Antonio Cau and Hussein Zedan.
    Proceedings of the 15th international conference on World Wide Web, 2006.
    Download pdf
  • Analysis and Run-time Verification of Dynamic Security Policies.
    Helge Janicke, Francois Siewe, Kevin Jones, Antonio Cau and Hussein Zedan.
    Proceedings of the Workshop on Defence Applications & Multi-Agent Systems (DAMAS05), 2005.
    Download pdf
  • Semantically annotating reactive web services with temporal specifications.
    Monika Solanki, Antonio Cau and Hussein Zedan.
    Proceedings of the Second International Workshop on Semantic and Dynamic Web Processes, 2005.
    Download pdf
  • Augmenting Semantic Web Service Description With Compositional Specification.
    Monika Solanki, Antonio Cau and Hussein Zedan.
    The 13th International World Wide Web Conference (WWW 2004), 2004.
    Download pdf
  • Introducing Compositionality in Web Service Descriptions.
    Monika Solanki, Antonio Cau and Hussein Zedan.
    Proceedings of the 10th International Workshop on Future Trends in Distributed Computing Systems (FTDCS 2004), 2004.
    Download pdf
  • Introducing compositionality in webservice descriptions.
    Monika Solanki, Antonio Cau and Hussein Zedan.
    Proceedings of the 3rd International Anwire Workshop on Adaptable Service Provision, 2003.
    Download pdf
  • A Compositional Framework for Access Control Policies Enforcement.
    Francois Siewe, Antonio Cau and Hussein Zedan.
    Proceedings of the workshop on Formal Methods in Security Engineering: From Specifications to Code, 2003.
    Download pdf
  • Voice Over IP: Correct Hardware/Software Co-design.
    Hussein Zedan and Antonio Cau.
    Proceedings of the 8th Conference on Future Trends of Distributed Computing Systems, 2002.
    Link to paper
  • K-Mediator: Towards Evolving Information Systems.
    Hussein Zedan, Shikun Zhou, Nilesh Sampat, Xuishan Chen, Antonio Cau and Hongji Yang.
    Proceedings of ICSM'2001, 2001.
    Download pdf
  • Visualization of Interval Temporal Logic.
    Arun Chakrapani Rao, Antonio Cau and Hussein Zedan.
    Proceedings of the Fifth International Conference on Computer Science and Informatics (CS& I'2000), 2000.
    Download pdf
  • A Calculus for Evolution.
    Hussein Zedan, Antonio Cau and Shikun Zhou.
    Proceedings of the Fifth International Conference on Computer Science and Informatics (CS& I'2000), 2000.
    Download pdf
  • A Framework For Analysing The Effect of `Change' In Legacy Code.
    Shikun Zhou, Hussein Zedan and Antonio Cau.
    Procceedings of ICSM'99, 1999.
    Download pdf
  • Designing a Provably Correct Robot Control System using a `Lean' Formal Method.
    Antonio Cau, Chris Czarnecki, and Hussein Zedan.
    Proceedings of FTRTFT'98, 1998.
    Download pdf
  • A refinement calculus for the development of real-time systems.
    Zhiqiang Chen, Antonio Cau, Hussein Zedan and Hongji Yang.
    Proceedings of the Asia Pacific Software Engineering Conference (APSEC98), 1998.
    Download pdf
  • `Lean' formal methods in the development of provably correct real-time systems.
    Antonio Cau, Hussein Zedan, Ben Moszkowski and Alastair Ruddle.
    In IEE Colloquium Digest, 1998.
    Download pdf
  • Proving the Correctness of the Interlock Mechanism in Processor Design.
    Xiaoshan Li, Antonio Cau, Ben Moszkowski, Nick Coleman and Hussein Zedan.
    Proceedings of IFIP Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'97), 1997.
    Download pdf
  • Refining Interval Temporal Logic Specifications.
    Antonio Cau and Hussein Zedan.
    Proceedings of the Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS'97), 1997.
    Download pdf
  • A dense-time Temporal Logic with nice Compositionality Properties.
    Antonio Cau and Willem-Paul de Roever.
    Proceedings of the Fifth International Conference on Computer Aided Systems Theory and Technology (EUROCAST'97), 1997.
    Download pdf
  • Using ITL and Tempura for Large Scale Specification and Simulation.
    Antonio Cau, Hussein Zedan, Nick Coleman and Ben Moszkowski.
    Proceedings of the fourth euromicro workshop on parallel and distributed processing, 1996.
    Download pdf
  • On unifying assumption-commitment style proof rules for concurrency.
    Qiwen Xu, Antonio Cau and Pierre Collette.
    Proceedings of CONCUR'94: Concurrency Theory, 1994.
    Download pdf
  • Specifying a Generalized Avionics System in Statemate, and Statemate's subsequent Evaluation.
    Marius Dunker and Antonio Cau.
    Proceedings of the Second German Statemate User Forum, 1994.
  • Specifying Fault Tolerance within Stark's Formalism.
    Antonio Cau and Willem-Paul de Roever.
    Proceedings of the Twenty-Third International Symposium on Fault-Tolerant Computing, 1993.
    Download pdf
  • Using Relative Refinement for Fault Tolerance.
    Antonio Cau and Willem-Paul de Roever.
    Proceedings of FME'93 symposium: industrial strength formal methods, 1993.
    Download pdf
  • Formalizing Dijkstra's development strategy within Stark's formalism.
    Antonio Cau, Ruurd Kuiper and Willem-Paul de Roever.
    Proceedings of 5th. BCS-FACS Refinement Workshop, 1992.
    Download pdf
*Back

Reports

  • Using PVS for Interval Temporal Logic Proofs, Part 1: The Syntactic and Semantic Encoding.
    Antonio Cau and Ben Moszkowski.
    SERCentre Technical Monograph 14, 1996.
    Download pdf
  • Compositional Verification and Specification of Refinement for Reactive Systems in a Dense Time Temporal Logic.
    Antonio Cau.
    Ph.D. thesis, Dec. 1995. Report no. 9601.
    Download pdf
*Back



Aug 3 2024
Contact | Home | ITL home
© 1996-2024