Concepedia

Antonio Cau

AC

18

Publications

497

Citations

14

H-Index

1996

Active since

Affiliations

De Montfort University(Current)

Antonio Cau is an author at De Montfort University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationVerificationInformation SecurityAutomated ReasoningFormal SpecificationData Security

Publications per year

1996–2015

18

Publications

18

The Calculus of Context-aware Ambients

François Siewe, Hussein Zedan, Antonio Cau · Journal of Computer and System Sciences · 2010 · 96 citations

Architectural Design, Engineering, Context-aware Ambients +8

Augmenting semantic web service descriptions with compositional specification

Monika Solanki, Antonio Cau, Hussein Zedan · 2004 · 76 citations

Web Service Specification, Engineering, Current Ontological Specifications +19

A compositional framework for access control policies enforcement

François Siewe, Antonio Cau, Hussein Zedan · 2003 · 43 citations

Runtime-Monitoring for Industrial Control Systems

Helge Janicke, Andrew Nicholson, Stuart Webber et al. · Electronics · 2015 · 42 citations · Full text

Engineering, Industrial Engineering, Information Security +21

Parallel composition of assumption-commitment specifications

Antonio Cau, Pierre Collette · Acta Informatica · 1996 · 30 citations

Formal Specification, Engineering, Verification +8

Rows per page

1–5 of 18