Hussein Zedan - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Security Management for Mobile Ad Hoc Network of Networks (MANoN)Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau, François Siewe. ijmcmc, 2(1):1-19, 2010. [doi]

Runtime verification of safety properties in multi-agents systemsHind Alotaibi, Hussein Zedan. isda 2010: 356-362 [doi]

An agent-based approach for policy enforcement in secure workflow systemsHind Alotaibi, Hussein Zedan. isda 2010: 348-355 [doi]

Agile Service-Oriented Applications: Rule-based Foundation with Runtime AdaptabilityAli Alqahtani, Hussein Zedan. jdcta, 4(1):16-25, 2010. [doi]

Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic TextMeshrif Alruily, Aladdin Ayesh, Hussein Zedan. ecai 2010: 1139-1140 [doi]

Biometric-Based Authentication System Using Rough Set TheoryHala S. Own, Waheeda Al-Mayyan, Hussein Zedan. rsctc 2010: 560-569 [doi]

Combining dynamic and static slicing for analysing assemblerMartin P. Ward, Hussein Zedan. SCP, 75(3):134-175, 2010. [doi]

2009

Security Solution for Mobile Ad Hoc Network of Networks (MANoN)Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau. icns 2009: 255-262 [doi]

Multi-Agent Based Dynamic E-Learning EnvironmentSaleh AlZahrani, Aladdin Ayesh, Hussein Zedan. ijitwe, 4(2):61-77, 2009. [doi]

Development of a modern curriculum in software engineering at master level across countriesKlaus Bothe, Zoran Budimac, Rebeca Cortazar, Mirjana Ivanovic, Hussein Zedan. comsis, 6(1):1-21, 2009. [doi]

Using formal specifications to support testingRobert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan. ACM Comput. Surv., 41(2), 2009. [doi]

CCA: A Calculus of Context-Aware AmbientsFranÃ§ois Siewe, Antonio Cau, Hussein Zedan. aina 2009: 972-977 [doi]

2008

Concurrent Enforcement of Usage Control PoliciesHelge Janicke, Antonio Cau, François Siewe, Hussein Zedan. policy 2008: 111-118 [doi]

Conditioned semantic slicing for abstraction; industrial experimentMartin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg. SPE, 38(12):1273-1304, 2008. [doi]

2007

2006

A Compositional Event & Time-Based Policy ModelHelge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones. policy 2006: 173-182 [doi]

Temporal Reasoning Of Reactive Web ServicesMonika Solanki, Antonio Cau, Hussein Zedan. In Jorge Cardoso, Amit P. Sheth, editors, Semantic Web Services, Processes and Applications. Volume 3 of Semantic Web And Beyond Computing for Human Experience, pages 107-136, Springer, 2006. [doi]

ASDL: a wide spectrum language for designing web servicesMonika Solanki, Antonio Cau, Hussein Zedan. WWW 2006: 687-696 [doi]

2005

2004

Augmenting semantic web service descriptions with compositional specificationMonika Solanki, Antonio Cau, Hussein Zedan. WWW 2004: 544-552 [doi]

Introducing Compositionality in Web Service DescriptionsMonika Solanki, Antonio Cau, Hussein Zedan. ftdcs 2004: 14-20 [doi]

Legacy Assembler Reengineering and MigrationMartin P. Ward, Hussein Zedan, T. Hardcastle. ICSM 2004: 157-166 [doi]

2003

A compositional framework for access control policies enforcementFrançois Siewe, Antonio Cau, Hussein Zedan. ccs 2003: 32-42 [doi]

2002

Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural StyleAli Arsanjani, James J. Alpigini, Hussein Zedan. ICSM 2002: 628 [doi]

2001

K-Mediator: Towards Evolving Information SystemsHussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang. ICSM 2001: 520-527 [doi]

Guest EditorialHussein Zedan. INFSOF, 43(3):159, 2001.

Voice Over IP: Correct Hardware/Software Co-DesignHussein Zedan, Antonio Cau. ftdcs 2001: 194-200 [doi]

2000

Abstraction: a key notion for reverse engineering in a system reengineering approachHongji Yang, Xiaodong Liu, Hussein Zedan. SMR, 12(4):197-228, 2000.

1999

1998

1997

1996

Using ITL and Tempura for Large-Scale Specification and SimulationAntonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski. pdp 1996: 493-500

A fast prototype tool for parallel reactive systemsHeping He, Hussein Zedan. jsa, 42(4):251-266, 1996. [doi]

An Executable Specification Language for Fast Prototyping Parallel Responsive SystemsH. Heping, Hussein Zedan. Comp. Lang., Syst. \& Struct., 22(1):1-13, 1996.

1995

Refinement of Complex Systems: A Case StudyGavin Lowe, Hussein Zedan. cj, 38(10):785-800, 1995.

1993

Requirement Specification For Real-Time and Hybrid SystemsHeping He, Hussein Zedan. forte 1994: 269-284

Cycle calculus for hybrid systemsHeping He, Hussein Zedan. jsa, 39(2-5):223-227, 1993. [doi]

Automated support for the formal specification and design of real-time systemsChris Ho-Stuart, Hussein Zedan, Ming Fang. jsa, 38(1-5):79-86, 1993. [doi]

On guaranteeing hard real-time tasksCelio Estevan Moron, Hussein Zedan. jsa, 38(1-5):485-490, 1993. [doi]

1991

Lucinda - an overviewPaul Butcher, Hussein Zedan. SIGPLAN, 26(8):90-100, 1991. [doi]

Lucinda - A Polymorphic LindaPaul Butcher, Hussein Zedan. hlppp 1992: 126-146

Prototyping with Temporal VDM: A Status ReportH. Heping, Hussein Zedan. fm 1991: 681-682

1987

A Distributed Algorithm for Distributed TerminationCyrus Hazari, Hussein Zedan. ipl, 24(5):293-297, 1987.