Antonio Cau

43 papers A* 2B 1C 5Journal 12Unranked 21
YearRankTypeTitle / Venue / Authors
2021 J jnl
Executable Interval Temporal Logic Specifications.
CoRR
Antonio Cau, Stefan Kuhn, James Hoey
2021 C conf
Reversibility of Executable Interval Temporal Logic Specifications.
RC
Antonio Cau, Stefan Kuhn, James Hoey
2014 — conf
Position Paper: Safety and Security Monitoring in ICS/SCADA Systems.
ICS-CSR
Andrew Nicholson, Helge Janicke, Antonio Cau
2013 J jnl
Dynamic Access Control Policies: Specification and Verification.
Comput. J.
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
2013 J jnl
Verification and enforcement of access control policies.
Formal Methods Syst. Des.
Antonio Cau, Helge Janicke, Ben C. Moszkowski
2011 C conf
Behaviour-based Virus Detection System using Interval Temporal Logic.
CRiSIS
Sulaiman Al Amro, Antonio Cau
2011 J jnl
The Calculus of Context-aware Ambients.
J. Comput. Syst. Sci.
François Siewe, Hussein Zedan, Antonio Cau
2010 J jnl
Security Management for Mobile Ad Hoc Network of Networks (MANoN).
Int. J. Mob. Comput. Multim. Commun.
Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau, François Siewe
2009 — conf
A Property Based Framework for Trust and Reputation in Mobile Computing.
AINA Workshops
Kevin I. Jones, Helge Janicke, Antonio Cau
2009 — conf
CCA: A Calculus of Context-Aware Ambients.
AINA Workshops
François Siewe, Antonio Cau, Hussein Zedan
2009 — conf
Security Solution for Mobile Ad Hoc Network of Networks (MANoN).
ICNS
Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau
2008 — conf
Concurrent Enforcement of Usage Control Policies.
POLICY
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
2007 C conf
A note on the formalisation of UCON.
SACMAT
Helge Janicke, Antonio Cau, Hussein Zedan
2007 — conf
Deriving Enforcement Mechanisms from Policies.
POLICY
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
2006 — conf
A Compositional Event & Time-Based Policy Model.
POLICY
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin I. Jones
2006 A* conf
ASDL: a wide spectrum language for designing web services.
WWW
Monika Solanki, Antonio Cau, Hussein Zedan
2006 — ch.
Temporal Reasoning Of Reactive Web Services.
Semantic Web Services, Processes and Applications
Monika Solanki, Antonio Cau, Hussein Zedan
2005 — conf
Analysis and Run-Time Verification of Dynamic Security Policies.
DAMAS
Helge Janicke, François Siewe, Kevin I. Jones, Antonio Cau, Hussein Zedan
2005 J jnl
Run-time analysis of time-critical systems.
J. Syst. Archit.
Shikun Zhou, Hussein Zedan, Antonio Cau
2005 — conf
Semantically Annotating Reactive Web Services with Temporal Specifications.
SDWP@ICWS
Monika Solanki, Antonio Cau, Hussein Zedan
2004 A* conf
Augmenting semantic web service descriptions with compositional specification.
WWW
Monika Solanki, Antonio Cau, Hussein Zedan
2004 — conf
Introducing Compositionality in Web Service Descriptions.
FTDCS
Monika Solanki, Antonio Cau, Hussein Zedan
2003 — conf
A compositional framework for access control policies enforcement.
FMSE
François Siewe, Antonio Cau, Hussein Zedan
2002 J jnl
A Compositional Framework for Hardware/Software Co-Design.
Des. Autom. Embed. Syst.
Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey
2001 — conf
K-Mediator: Towards Evolving Information Systems.
ICSM
Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang
2001 — conf
Voice Over IP: Correct Hardware/Software Co-Design.
FTDCS
Hussein Zedan, Antonio Cau
2000 J jnl
Composing and Refining Dense Temporal Logic Specifications.
Formal Aspects Comput.
Antonio Cau
1999 — conf
A Framework for Analysing the Effect of "Change" in Legacy Code.
ICSM
Shikun Zhou, Hussein Zedan, Antonio Cau
1999 J jnl
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems.
Inf. Sci.
Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang
1999 J jnl
ATOM: An Object-based Formal Method for Real-Time Systems.
Ann. Softw. Eng.
Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang
1999 J jnl
Integrating structured OO approaches with formal techniques for the development of real-time systems.
Inf. Softw. Technol.
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang
1998 C conf
A Refinement Calculus for the Development of Real-Time Systems.
APSEC
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang
1998 — conf
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method.
FTRTFT
Antonio Cau, Chris A. Czarnecki, Hussein Zedan
1997 — conf
A Dense-Time Temporal Logic with Nice Compositionality Properties.
EUROCAST
Antonio Cau, Willem P. de Roever
1997 — conf
Proving the correctness of the interlock mechanism in processor design.
CHARME
Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
1997 — conf
Refining Interval Temporal Logic Specifications.
ARTS
Antonio Cau, Hussein Zedan
1996 — —
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic.
Antonio Cau
1996 J jnl
Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.
Acta Informatica
Antonio Cau, Pierre Collette
1996 C conf
Using ITL and Tempura for Large-Scale Specification and Simulation.
PDP
Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski
1994 B conf
On Unifying Assumption-Commitment Style Proof Rules for Concurrency.
CONCUR
Qiwen Xu, Antonio Cau, Pierre Collette
1993 — conf
Specifying Fault Tolerance within Stark's Formalism.
FTCS
Antonio Cau, Willem P. de Roever
1993 — conf
Using Relative Refinement for Fault Tolerance.
FME
Antonio Cau, Willem P. de Roever
1992 — conf
Formalising Dijkstra's Development Strategy within Stark's Formalism.
Refine
Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever