Search results for "Antonio Cau"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	François Siewe, Hussein Zedan, Antonio Cau	The Calculus of Context-aware Ambients.	J. Comput. Syst. Sci.	2011	DBLP DOI BibTeX RDF
1	Sulaiman Al amro, Antonio Cau	Behaviour-based Virus Detection System using Interval Temporal Logic.	CRiSIS	2011	DBLP DOI BibTeX RDF
1	Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau, François Siewe	Security Management for Mobile Ad Hoc Network of Networks (MANoN).	IJMCMC	2010	DBLP BibTeX RDF
1	Kevin Jones, Helge Janicke, Antonio Cau	A Property Based Framework for Trust and Reputation in Mobile Computing.	AINA Workshops	2009	DBLP DOI BibTeX RDF	property based, trust, reputation, observations
1	François Siewe, Antonio Cau, Hussein Zedan	CCA: A Calculus of Context-Aware Ambients.	AINA Workshops	2009	DBLP DOI BibTeX RDF
1	Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau	Security Solution for Mobile Ad Hoc Network of Networks (MANoN).	ICNS	2009	DBLP DOI BibTeX RDF
1	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan	Concurrent Enforcement of Usage Control Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Policy, System Management, Usage Control, Enforcement
1	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan	Deriving Enforcement Mechanisms from Policies.	POLICY	2007	DBLP DOI BibTeX RDF
1	Helge Janicke, Antonio Cau, Hussein Zedan	A note on the formalisation of UCON.	SACMAT	2007	DBLP DOI BibTeX RDF	access control, formal specification, security policy, usage control
1	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones	A Compositional Event & Time-Based Policy Model.	POLICY	2006	DBLP DOI BibTeX RDF
1	Monika Solanki, Antonio Cau, Hussein Zedan	Temporal Reasoning Of Reactive Web Services.	Semantic Web Services, Processes and Applications	2006	DBLP DOI BibTeX RDF
1	Monika Solanki, Antonio Cau, Hussein Zedan	ASDL: a wide spectrum language for designing web services.	WWW	2006	DBLP DOI BibTeX RDF	ASDL, wide spectrum, web services, computational model
1	Shikun Zhou, Hussein Zedan, Antonio Cau	Run-time analysis of time-critical systems.	Journal of Systems Architecture	2005	DBLP DOI BibTeX RDF
1	Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan	Analysis and Run-Time Verification of Dynamic Security Policies.	DAMAS	2005	DBLP DOI BibTeX RDF
1	Monika Solanki, Antonio Cau, Hussein Zedan	Augmenting semantic web service descriptions with compositional specification.	WWW	2004	DBLP DOI BibTeX RDF	owl-s, web services, semantic web services, commitment, assumption, swrl, interval temporal logics, owl
1	Monika Solanki, Antonio Cau, Hussein Zedan	Introducing Compositionality in Web Service Descriptions.	FTDCS	2004	DBLP DOI BibTeX RDF
1	François Siewe, Antonio Cau, Hussein Zedan	A compositional framework for access control policies enforcement.	FMSE	2003	DBLP DOI BibTeX RDF	access control, authorization, delegation, policy composition
1	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.	2002	DBLP DOI BibTeX RDF
1	Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang	K-Mediator: Towards Evolving Information Systems. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF
1	Hussein Zedan, Antonio Cau	Voice Over IP: Correct Hardware/Software Co-Design.	FTDCS	2001	DBLP DOI BibTeX RDF
1	Antonio Cau	Composing and Refining Dense Temporal Logic Specifications.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Temporal logic, Refinement, Compositionality
1	Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang	ATOM: An Object-based Formal Method for Real-Time Systems.	Ann. Software Eng.	1999	DBLP DOI BibTeX RDF
1	Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang	A Wide-Spectrum Language for Object-Based Development of Real-Time Systems.	Inf. Sci.	1999	DBLP DOI BibTeX RDF
1	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	1999	DBLP DOI BibTeX RDF
1	Shikun Zhou, Hussein Zedan, Antonio Cau	A Framework for Analysing the Effect of "Change" in Legacy Code. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF
1	Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang	A Refinement Calculus for the Development of Real-Time Systems. (PDF / PS)	APSEC	1998	DBLP DOI BibTeX RDF
1	Antonio Cau, Chris Czarnecki, Hussein Zedan	Designing a Provably Correct Robot Control System Using a `Lean' Formal Method.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan	Proving the correctness of the interlock mechanism in processor design.	CHARME	1997	DBLP BibTeX RDF
1	Antonio Cau, Willem P. de Roever	A Dense-Time Temporal Logic with Nice Compositionality Properties.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Antonio Cau, Hussein Zedan	Refining Interval Temporal Logic Specifications.	ARTS	1997	DBLP DOI BibTeX RDF
1	Antonio Cau, Pierre Collette	Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.	Acta Inf.	1996	DBLP DOI BibTeX RDF
1	Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski	Using ITL and Tempura for Large-Scale Specification and Simulation.	PDP	1996	DBLP BibTeX RDF
1	Qiwen Xu, Antonio Cau, Pierre Collette	On Unifying Assumption-Commitment Style Proof Rules for Concurrency.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Antonio Cau, Willem P. de Roever	Using Relative Refinement for Fault Tolerance.	FME	1993	DBLP DOI BibTeX RDF
1	Antonio Cau, Willem P. de Roever	Specifying Fault Tolerance within Stark's Formalism.	FTCS	1993	DBLP DOI BibTeX RDF

Publications of "Antonio Cau" ( http://dblp.L3S.de/Authors/Antonio_Cau )