Antonio Cau

	2011
35		Sulaiman Al amro, Antonio Cau: Behaviour-based Virus Detection System using Interval Temporal Logic. CRiSIS 2011: 106-111
34		François Siewe, Hussein Zedan, Antonio Cau: The Calculus of Context-aware Ambients. J. Comput. Syst. Sci. 77(4): 597-620 (2011)
	2010
33		Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau, François Siewe: Security Management for Mobile Ad Hoc Network of Networks (MANoN). IJMCMC 2(1): 1-19 (2010)
	2009
32		Kevin Jones, Helge Janicke, Antonio Cau: A Property Based Framework for Trust and Reputation in Mobile Computing. AINA Workshops 2009: 1031-1036
31		François Siewe, Antonio Cau, Hussein Zedan: CCA: A Calculus of Context-Aware Ambients. AINA Workshops 2009: 972-977
30		Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau: Security Solution for Mobile Ad Hoc Network of Networks (MANoN). ICNS 2009: 255-262
	2008
29		Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan: Concurrent Enforcement of Usage Control Policies. POLICY 2008: 111-118
	2007
28		Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan: Deriving Enforcement Mechanisms from Policies. POLICY 2007: 161-172
27		Helge Janicke, Antonio Cau, Hussein Zedan: A note on the formalisation of UCON. SACMAT 2007: 163-168
	2006
26		Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones: A Compositional Event & Time-Based Policy Model. POLICY 2006: 173-182
25		Monika Solanki, Antonio Cau, Hussein Zedan: ASDL: a wide spectrum language for designing web services. WWW 2006: 687-696
24		Monika Solanki, Antonio Cau, Hussein Zedan: Temporal Reasoning Of Reactive Web Services. Semantic Web Services, Processes and Applications 2006: 107-136
	2005
23		Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan: Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS 2005: 92-103
22		Shikun Zhou, Hussein Zedan, Antonio Cau: Run-time analysis of time-critical systems. Journal of Systems Architecture 51(5): 331-345 (2005)
	2004
21		Monika Solanki, Antonio Cau, Hussein Zedan: Introducing Compositionality in Web Service Descriptions. FTDCS 2004: 14-20
20		Monika Solanki, Antonio Cau, Hussein Zedan: Augmenting semantic web service descriptions with compositional specification. WWW 2004: 544-552
	2003
19		François Siewe, Antonio Cau, Hussein Zedan: A compositional framework for access control policies enforcement. FMSE 2003: 32-42
	2002
18		Antonio Cau, Roger Hale, J. Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, M. Spivey: A Compositional Framework for Hardware/Software Co-Design. Design Autom. for Emb. Sys. 6(4): 367-399 (2002)
	2001
17		Hussein Zedan, Antonio Cau: Voice Over IP: Correct Hardware/Software Co-Design. FTDCS 2001: 194-200
16		Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang: K-Mediator: Towards Evolving Information Systems. ICSM 2001: 520-527
	2000
15		Antonio Cau: Composing and Refining Dense Temporal Logic Specifications. Formal Asp. Comput. 12(1): 52-70 (2000)
	1999
14		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		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		Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang: A Refinement Calculus for the Development of Real-Time Systems. APSEC 1998: 61-
9		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

Coauthor Index

1	Ali H. Al-Bayatti	[30] [33]
2	X. Chen	[16]
3	Zhiqiang Chen	[10] [11] [12] [13]
4	Nick Coleman	[5] [7]
5	Pierre Collette	[3] [4]
6	Chris Czarnecki	[9]
7	J. Dimitrov	[18]
8	Roger Hale	[18]
9	Helge Janicke	[23] [26] [27] [28] [29] [32]
10	Kevin Jones	[23] [26] [32]
11	Xiaoshan Li	[7]
12	Xiaodong Liu	[10]
13	M. Manjunathaiah	[18]
14	Ben C. Moszkowski	[5] [7] [18]
15	Willem P. de Roever (Willem-Paul de Roever)	[1] [2] [6]
16	N. Sampat	[16]
17	François Siewe	[19] [23] [26] [28] [29] [31] [33] [34]
18	Monika Solanki	[20] [21] [24] [25]
19	M. Spivey	[18]
20	Qiwen Xu	[3]
21	Hongji Yang	[10] [11] [12] [13] [16]
22	Hussein Zedan (Hussein S. M. Zedan)	[5] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [34]
23	Shikun Zhou	[14] [16] [22]
24	Sulaiman Al amro	[35]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page