| 2008 |
|---|
| 28 | EE | Helge Janicke,
Antonio Cau,
François Siewe,
Hussein Zedan:
Concurrent Enforcement of Usage Control Policies.
POLICY 2008: 111-118 |
| 2007 |
|---|
| 27 | EE | Helge Janicke,
Antonio Cau,
François Siewe,
Hussein Zedan:
Deriving Enforcement Mechanisms from Policies.
POLICY 2007: 161-172 |
| 26 | EE | Helge Janicke,
Antonio Cau,
Hussein Zedan:
A note on the formalisation of UCON.
SACMAT 2007: 163-168 |
| 2006 |
|---|
| 25 | EE | Helge Janicke,
Antonio Cau,
François Siewe,
Hussein Zedan,
Kevin Jones:
A Compositional Event & Time-Based Policy Model.
POLICY 2006: 173-182 |
| 24 | EE | Monika Solanki,
Antonio Cau,
Hussein Zedan:
ASDL: a wide spectrum language for designing web services.
WWW 2006: 687-696 |
| 23 | EE | Monika Solanki,
Antonio Cau,
Hussein Zedan:
Temporal Reasoning Of Reactive Web Services.
Semantic Web Services, Processes and Applications 2006: 107-136 |
| 2005 |
|---|
| 22 | EE | Helge Janicke,
François Siewe,
Kevin Jones,
Antonio Cau,
Hussein Zedan:
Analysis and Run-Time Verification of Dynamic Security Policies.
DAMAS 2005: 92-103 |
| 21 | EE | Shikun Zhou,
Hussein Zedan,
Antonio Cau:
Run-time analysis of time-critical systems.
Journal of Systems Architecture 51(5): 331-345 (2005) |
| 2004 |
|---|
| 20 | EE | Monika Solanki,
Antonio Cau,
Hussein Zedan:
Introducing Compositionality in Web Service Descriptions.
FTDCS 2004: 14-20 |
| 19 | EE | Monika Solanki,
Antonio Cau,
Hussein Zedan:
Augmenting semantic web service descriptions with compositional specification.
WWW 2004: 544-552 |
| 2003 |
|---|
| 18 | EE | François Siewe,
Antonio Cau,
Hussein Zedan:
A compositional framework for access control policies enforcement.
FMSE 2003: 32-42 |
| 2001 |
|---|
| 17 | EE | Hussein Zedan,
Antonio Cau:
Voice Over IP: Correct Hardware/Software Co-Design.
FTDCS 2001: 194-200 |
| 16 | EE | Hussein Zedan,
Shikun Zhou,
N. Sampat,
X. Chen,
Antonio Cau,
Hongji Yang:
K-Mediator: Towards Evolving Information Systems.
ICSM 2001: 520-527 |
| 2000 |
|---|
| 15 | EE | Antonio Cau:
Composing and Refining Dense Temporal Logic Specifications.
Formal Asp. Comput. 12(1): 52-70 (2000) |
| 1999 |
|---|
| 14 | EE | Shikun Zhou,
Hussein Zedan,
Antonio Cau:
A Framework for Analysing the Effect of "Change" in Legacy Code.
ICSM 1999: 411-420 |
| 13 | | Hussein Zedan,
Antonio Cau,
Zhiqiang Chen,
Hongji Yang:
ATOM: An Object-based Formal Method for Real-Time Systems.
Ann. Software Eng. 7: 235-256 (1999) |
| 12 | | 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) |
| 11 | EE | Zhiqiang Chen,
Antonio Cau,
Hussein Zedan,
Hongji Yang:
Integrating structured OO approaches with formal techniques for the development of real-time systems.
Information & Software Technology 41(7): 435-450 (1999) |
| 1998 |
|---|
| 10 | EE | Zhiqiang Chen,
Antonio Cau,
Hussein Zedan,
Xiaodong Liu,
Hongji Yang:
A Refinement Calculus for the Development of Real-Time Systems.
APSEC 1998: 61- |
| 9 | EE | Antonio Cau,
Chris Czarnecki,
Hussein Zedan:
Designing a Provably Correct Robot Control System Using a `Lean' Formal Method.
FTRTFT 1998: 123-132 |
| 1997 |
|---|
| 8 | | Antonio Cau,
Hussein Zedan:
Refining Interval Temporal Logic Specifications.
ARTS 1997: 79-94 |
| 7 | | 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 |
| 6 | | Antonio Cau,
Willem P. de Roever:
A Dense-Time Temporal Logic with Nice Compositionality Properties.
EUROCAST 1997: 123-145 |
| 1996 |
|---|
| 5 | | Antonio Cau,
Hussein Zedan,
Nick Coleman,
Ben C. Moszkowski:
Using ITL and Tempura for Large-Scale Specification and Simulation.
PDP 1996: 493-500 |
| 4 | | Antonio Cau,
Pierre Collette:
Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.
Acta Inf. 33(2): 153-176 (1996) |
| 1994 |
|---|
| 3 | | Qiwen Xu,
Antonio Cau,
Pierre Collette:
On Unifying Assumption-Commitment Style Proof Rules for Concurrency.
CONCUR 1994: 267-282 |
| 1993 |
|---|
| 2 | | Antonio Cau,
Willem P. de Roever:
Using Relative Refinement for Fault Tolerance.
FME 1993: 19-41 |
| 1 | | Antonio Cau,
Willem P. de Roever:
Specifying Fault Tolerance within Stark's Formalism.
FTCS 1993: 392-401 |
