default search action
Antonio Cau
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c29]Antonio Cau, Stefan Kuhn, James Hoey:
Reversibility of Executable Interval Temporal Logic Specifications. RC 2021: 214-223 - [i1]Antonio Cau, Stefan Kuhn, James Hoey:
Executable Interval Temporal Logic Specifications. CoRR abs/2105.03375 (2021)
2010 – 2019
- 2014
- [c28]Andrew Nicholson, Helge Janicke, Antonio Cau:
Position Paper: Safety and Security Monitoring in ICS/SCADA Systems. ICS-CSR 2014 - 2013
- [j11]Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan:
Dynamic Access Control Policies: Specification and Verification. Comput. J. 56(4): 440-463 (2013) - [j10]Antonio Cau, Helge Janicke, Ben C. Moszkowski:
Verification and enforcement of access control policies. Formal Methods Syst. Des. 43(3): 450-492 (2013) - 2011
- [j9]François Siewe, Hussein Zedan, Antonio Cau:
The Calculus of Context-aware Ambients. J. Comput. Syst. Sci. 77(4): 597-620 (2011) - [c27]Sulaiman Al Amro, Antonio Cau:
Behaviour-based Virus Detection System using Interval Temporal Logic. CRiSIS 2011: 106-111 - 2010
- [j8]Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau, François Siewe:
Security Management for Mobile Ad Hoc Network of Networks (MANoN). Int. J. Mob. Comput. Multim. Commun. 2(1): 1-19 (2010)
2000 – 2009
- 2009
- [c26]François Siewe, Antonio Cau, Hussein Zedan:
CCA: A Calculus of Context-Aware Ambients. AINA Workshops 2009: 972-977 - [c25]Kevin I. Jones, Helge Janicke, Antonio Cau:
A Property Based Framework for Trust and Reputation in Mobile Computing. AINA Workshops 2009: 1031-1036 - [c24]Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau:
Security Solution for Mobile Ad Hoc Network of Networks (MANoN). ICNS 2009: 255-262 - 2008
- [c23]Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan:
Concurrent Enforcement of Usage Control Policies. POLICY 2008: 111-118 - 2007
- [c22]Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan:
Deriving Enforcement Mechanisms from Policies. POLICY 2007: 161-172 - [c21]Helge Janicke, Antonio Cau, Hussein Zedan:
A note on the formalisation of UCON. SACMAT 2007: 163-168 - 2006
- [c20]Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin I. Jones:
A Compositional Event & Time-Based Policy Model. POLICY 2006: 173-182 - [c19]Monika Solanki, Antonio Cau, Hussein Zedan:
ASDL: a wide spectrum language for designing web services. WWW 2006: 687-696 - [p1]Monika Solanki, Antonio Cau, Hussein Zedan:
Temporal Reasoning Of Reactive Web Services. Semantic Web Services, Processes and Applications 2006: 107-136 - 2005
- [j7]Shikun Zhou, Hussein Zedan, Antonio Cau:
Run-time analysis of time-critical systems. J. Syst. Archit. 51(5): 331-345 (2005) - [c18]Helge Janicke, François Siewe, Kevin I. Jones, Antonio Cau, Hussein Zedan:
Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS 2005: 92-103 - [c17]Monika Solanki, Antonio Cau, Hussein Zedan:
Semantically Annotating Reactive Web Services with Temporal Specifications. SDWP@ICWS 2005 - 2004
- [c16]Monika Solanki, Antonio Cau, Hussein Zedan:
Introducing Compositionality in Web Service Descriptions. FTDCS 2004: 14-20 - [c15]Monika Solanki, Antonio Cau, Hussein Zedan:
Augmenting semantic web service descriptions with compositional specification. WWW 2004: 544-552 - 2003
- [c14]François Siewe, Antonio Cau, Hussein Zedan:
A compositional framework for access control policies enforcement. FMSE 2003: 32-42 - 2002
- [j6]Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey:
A Compositional Framework for Hardware/Software Co-Design. Des. Autom. Embed. Syst. 6(4): 367-399 (2002) - 2001
- [c13]Hussein Zedan, Antonio Cau:
Voice Over IP: Correct Hardware/Software Co-Design. FTDCS 2001: 194-200 - [c12]Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang:
K-Mediator: Towards Evolving Information Systems. ICSM 2001: 520-527 - 2000
- [j5]Antonio Cau:
Composing and Refining Dense Temporal Logic Specifications. Formal Aspects Comput. 12(1): 52-70 (2000)
1990 – 1999
- 1999
- [j4]Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang:
ATOM: An Object-based Formal Method for Real-Time Systems. Ann. Softw. Eng. 7: 235-256 (1999) - [j3]Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang:
Integrating structured OO approaches with formal techniques for the development of real-time systems. Inf. Softw. Technol. 41(7): 435-450 (1999) - [j2]Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang:
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. Inf. Sci. 118(1-4): 15-35 (1999) - [c11]Shikun Zhou, Hussein Zedan, Antonio Cau:
A Framework for Analysing the Effect of "Change" in Legacy Code. ICSM 1999: 411-420 - 1998
- [c10]Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang:
A Refinement Calculus for the Development of Real-Time Systems. APSEC 1998: 61- - [c9]Antonio Cau, Chris A. Czarnecki, Hussein Zedan:
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. FTRTFT 1998: 123-132 - 1997
- [c8]Antonio Cau, Hussein Zedan:
Refining Interval Temporal Logic Specifications. ARTS 1997: 79-94 - [c7]Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan:
Proving the correctness of the interlock mechanism in processor design. CHARME 1997: 5-22 - [c6]Antonio Cau, Willem P. de Roever:
A Dense-Time Temporal Logic with Nice Compositionality Properties. EUROCAST 1997: 123-145 - 1996
- [b1]Antonio Cau:
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic. University of Kiel, Germany, 1996, pp. 1-178 - [j1]Antonio Cau, Pierre Collette:
Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. Acta Informatica 33(2): 153-176 (1996) - [c5]Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski:
Using ITL and Tempura for Large-Scale Specification and Simulation. PDP 1996: 493-500 - 1994
- [c4]Qiwen Xu, Antonio Cau, Pierre Collette:
On Unifying Assumption-Commitment Style Proof Rules for Concurrency. CONCUR 1994: 267-282 - 1993
- [c3]Antonio Cau, Willem P. de Roever:
Using Relative Refinement for Fault Tolerance. FME 1993: 19-41 - [c2]Antonio Cau, Willem P. de Roever:
Specifying Fault Tolerance within Stark's Formalism. FTCS 1993: 392-401 - 1992
- [c1]Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever:
Formalising Dijkstra's Development Strategy within Stark's Formalism. Refine 1992: 4-42
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 22:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint