Antonio Cau

According to our database, Antonio Cau authored at least 43 papers between 1992 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Executable Interval Temporal Logic Specifications.

Antonio Cau, Stefan Kuhn, James Hoey

CoRR, 2021

Reversibility of Executable Interval Temporal Logic Specifications.

Antonio Cau, Stefan Kuhn, James Hoey

Proceedings of the Reversible Computation - 13th International Conference, 2021

2014

Position Paper: Safety and Security Monitoring in ICS/SCADA Systems.

Andrew Nicholson, Helge Janicke, Antonio Cau

Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research 2014, 2014

2013

Verification and enforcement of access control policies.

Antonio Cau, Helge Janicke, Ben C. Moszkowski

Formal Methods Syst. Des., 2013

Dynamic Access Control Policies: Specification and Verification.

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan

Comput. J., 2013

2011

The Calculus of Context-aware Ambients.

François Siewe, Hussein Zedan, Antonio Cau

J. Comput. Syst. Sci., 2011

Behaviour-based Virus Detection System using Interval Temporal Logic.

Sulaiman Al Amro, Antonio Cau

Proceedings of the CRiSIS 2011, 2011

2010

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

2009

Security Solution for Mobile Ad Hoc Network of Networks (MANoN).

Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau

Proceedings of the Fifth International Conference on Networking and Services, 2009

CCA: A Calculus of Context-Aware Ambients.

François Siewe, Antonio Cau, Hussein Zedan

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

A Property Based Framework for Trust and Reputation in Mobile Computing.

Kevin I. Jones, Helge Janicke, Antonio Cau

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Concurrent Enforcement of Usage Control Policies.

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

2007

A note on the formalisation of UCON.

Helge Janicke, Antonio Cau, Hussein Zedan

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Deriving Enforcement Mechanisms from Policies.

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2006

ASDL: a wide spectrum language for designing web services.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the 15th international conference on World Wide Web, 2006

Temporal Reasoning Of Reactive Web Services.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the Semantic Web Services, Processes and Applications, 2006

A Compositional Event & Time-Based Policy Model.

Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin I. Jones

Proceedings of the 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 2006

2005

Run-time analysis of time-critical systems.

Shikun Zhou, Hussein Zedan, Antonio Cau

J. Syst. Archit., 2005

Semantically Annotating Reactive Web Services with Temporal Specifications.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the ICWS 2005 Second International Workshop on Semantic and Dynamic Web Processes, 2005

Analysis and Run-Time Verification of Dynamic Security Policies.

Helge Janicke, François Siewe, Kevin I. Jones, Antonio Cau, Hussein Zedan

Proceedings of the Defence Applications of Multi-Agent Systems, International Workshop, 2005

2004

Augmenting semantic web service descriptions with compositional specification.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the 13th international conference on World Wide Web, 2004

Introducing Compositionality in Web Service Descriptions.

Monika Solanki, Antonio Cau, Hussein Zedan

Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

2003

A compositional framework for access control policies enforcement.

François Siewe, Antonio Cau, Hussein Zedan

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

2002

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

2001

K-Mediator: Towards Evolving Information Systems.

Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Voice Over IP: Correct Hardware/Software Co-Design.

Hussein Zedan, Antonio Cau

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

2000

Composing and Refining Dense Temporal Logic Specifications.

Antonio Cau

Formal Aspects Comput., 2000

1999

A Wide-Spectrum Language for Object-Based Development of Real-Time Systems.

Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang

Inf. Sci., 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

ATOM: An Object-based Formal Method for Real-Time Systems.

Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang

Ann. Softw. Eng., 1999

A Framework for Analysing the Effect of "Change" in Legacy Code.

Shikun Zhou, Hussein Zedan, Antonio Cau

Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998

Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method.

Antonio Cau, Chris Czarnecki, Hussein Zedan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

A Refinement Calculus for the Development of Real-Time Systems.

Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

A Dense-Time Temporal Logic with Nice Compositionality Properties.

Antonio Cau, Willem P. de Roever

Proceedings of the Computer Aided Systems Theory, 1997

Proving the correctness of the interlock mechanism in processor design.

Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan

Proceedings of the Advances in Hardware Design and Verification, 1997

Refining Interval Temporal Logic Specifications.

Antonio Cau, Hussein Zedan

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Compositional verification and specification of refinement for reactive systems in a dense time temporal logic.

Antonio Cau

PhD thesis, 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

Using ITL and Tempura for Large-Scale Specification and Simulation.

Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski

Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

1994

On Unifying Assumption-Commitment Style Proof Rules for Concurrency.

Qiwen Xu, Antonio Cau, Pierre Collette

Proceedings of the CONCUR '94, 1994

1993

Specifying Fault Tolerance within Stark's Formalism.

Antonio Cau, Willem P. de Roever

Proceedings of the Digest of Papers: FTCS-23, 1993

Using Relative Refinement for Fault Tolerance.

Antonio Cau, Willem P. de Roever

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Formalising Dijkstra's Development Strategy within Stark's Formalism.

Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever

Proceedings of the 5th Refinement Workshop, 1992