default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHussein Zedan
Hussein S. M. Zedan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2017
[j43]Hussein Zedan, Saif Jamal Al-Sultan:
The specification and design of secure context-aware workflows. Expert Syst. Appl. 86: 367-384 (2017)- [j42]Martin P. Ward
, Hussein Zedan:
The formal semantics of program slicing for nonterminating computations. J. Softw. Evol. Process. 29(1) (2017) - [c53]Saif Jamal Al-Sultan, Hussein Zedan:
A unifying architecture model for developing context-aware systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-7 - 2014
- [j41]Laila Alhimale, Hussein Zedan, Ali H. Al-Bayatti:
The implementation of an intelligent and video-based fall detection system using a neural network. Appl. Soft Comput. 18: 59-69 (2014) - [j40]Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan:
Formality, Agility, Security, and Evolution in Software Development. Computer 47(10): 86-89 (2014) - [j39]Martin P. Ward, Hussein Zedan:
Provably correct derivation of algorithms using FermaT. Formal Aspects Comput. 26(5): 993-1031 (2014) - [j38]Meshrif Alruily, Aladdin Ayesh, Hussein Zedan:
Crime profiling for the Arabic language using computational linguistic techniques. Inf. Process. Manag. 50(2): 315-341 (2014) - [j37]Saif Jamal Al-Sultan, Moath M. Al-Doori, Ali H. Al-Bayatti, Hussein Zedan:
A comprehensive survey on vehicular Ad Hoc network. J. Netw. Comput. Appl. 37: 380-392 (2014) - [c52]Mussab Aswad, Saif Jamal Al-Sultan, Hussein Zedan:
Context Aware Accidents Prediction and Prevention System for VANET. ICCASA 2014: 162-168 - 2013
- [j36]Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan:
Dynamic Access Control Policies: Specification and Verification. Comput. J. 56(4): 440-463 (2013) - [j35]Saif Jamal Al-Sultan, Ali H. Al-Bayatti, Hussein Zedan:
Context-Aware Driver Behavior Detection System in Intelligent Transportation Systems. IEEE Trans. Veh. Technol. 62(9): 4264-4275 (2013) - 2011
- [j34]Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan:
Rough set approach to online signature identification. Digit. Signal Process. 21(3): 477-485 (2011) - [j33]François Siewe, Hussein Zedan, Antonio Cau:
The Calculus of Context-aware Ambients. J. Comput. Syst. Sci. 77(4): 597-620 (2011) - [j32]Martin P. Ward, Hussein Zedan:
Deriving a Slicing Algorithm via FermaT Transformations. IEEE Trans. Software Eng. 37(1): 24-47 (2011) - [c51]Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan:
A comparative evalution of feature level based fusion schemes for multimodal biometric authentication. HIS 2011: 22-27 - [c50]Khalid Aldrawiesh, François Siewe, Hussein Zedan:
An observation model to detect security violations in web services environment. ISWSA 2011: 16 - 2010
- [j31]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) - [j30]Ali Alqahtani, Hussein Zedan:
Agile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability. J. Digit. Content Technol. its Appl. 4(1): 16-25 (2010) - [j29]Martin P. Ward, Hussein Zedan:
Combining dynamic and static slicing for analysing assembler. Sci. Comput. Program. 75(3): 134-175 (2010) - [c49]Meshrif Alruily, Aladdin Ayesh, Hussein Zedan:
Automated dictionary construction from Arabic corpus for meaningful crime information extraction and document classification. CISIM 2010: 137-142 - [c48]Meshrif Alruily, Aladdin Ayesh, Hussein Zedan:
Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. ECAI 2010: 1139-1140 - [c47]Mohammed Al-Sammarraie, François Siewe, Hussein Zedan:
Formalising policies of a mLearning system using CCA. CASEMANS@Ubicomp 2010: 11-19 - [c46]Moath Muayad Al-Doori, Ali Hilal Al-Bayatti, Hussein Zedan:
Context aware architecture for sending adaptive HELLO messages in VANET. CASEMANS@Ubicomp 2010: 65-68 - [c45]Martin P. Ward, Hussein Zedan:
Transformational Programming and the Derivation of Algorithms. ISCIS 2010: 17-22 - [c44]Hind Alotaibi, Hussein Zedan:
An agent-based approach for policy enforcement in secure workflow systems. ISDA 2010: 348-355 - [c43]Hind Alotaibi, Hussein Zedan:
Runtime verification of safety properties in multi-agents systems. ISDA 2010: 356-362 - [c42]Hala S. Own, Waheeda Al-Mayyan, Hussein Zedan:
Biometric-Based Authentication System Using Rough Set Theory. RSCTC 2010: 560-569 - [c41]Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan:
Iris features extraction using dual-tree complex wavelet transform. SoCPaR 2010: 18-22
2000 – 2009
- 2009
- [j28]Klaus Bothe, Zoran Budimac, Rebeca Cortazar, Mirjana Ivanovic, Hussein Zedan:
Development of a modern curriculum in software engineering at master level across countries. Comput. Sci. Inf. Syst. 6(1): 1-21 (2009) - [j27]Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan:
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009) - [j26]Saleh AlZahrani, Aladdin Ayesh, Hussein Zedan:
Multi-Agent Based Dynamic E-Learning Environment. Int. J. Inf. Technol. Web Eng. 4(2): 61-77 (2009) - [c40]François Siewe, Antonio Cau, Hussein Zedan:
CCA: A Calculus of Context-Aware Ambients. AINA Workshops 2009: 972-977 - [c39]Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau:
Security Solution for Mobile Ad Hoc Network of Networks (MANoN). ICNS 2009: 255-262 - 2008
- [j25]Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg:
Conditioned semantic slicing for abstraction; industrial experiment. Softw. Pract. Exp. 38(12): 1273-1304 (2008) - [c38]Ajlan Suliman Al-Ajlan, Hussein Zedan:
Why Moodle. FTDCS 2008: 58-64 - [c37]Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan:
Concurrent Enforcement of Usage Control Policies. POLICY 2008: 111-118 - 2007
- [j24]Martin P. Ward, Hussein Zedan:
Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29(2): 7 (2007) - [c36]Aladdin Al-Marghilani, Hussein Zedan, Aladdin Ayesh:
A general framework for multilingual text mining using self-organizing maps. Artificial Intelligence and Applications 2007: 555-560 - [c35]Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan:
Deriving Enforcement Mechanisms from Policies. POLICY 2007: 161-172 - [c34]Helge Janicke, Antonio Cau, Hussein Zedan:
A note on the formalisation of UCON. SACMAT 2007: 163-168 - 2006
- [c33]Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin I. Jones:
A Compositional Event & Time-Based Policy Model. POLICY 2006: 173-182 - [c32]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
- [j23]Shikun Zhou, Hussein Zedan, Antonio Cau:
Run-time analysis of time-critical systems. J. Syst. Archit. 51(5): 331-345 (2005) - [c31]Martin P. Ward, Hussein Zedan:
MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) 2005: 233-238 - [c30]Martin P. Ward, Hussein Zedan, T. Hardcastle:
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR 2005: 178-187 - [c29]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 - [c28]Monika Solanki, Antonio Cau, Hussein Zedan:
Semantically Annotating Reactive Web Services with Temporal Specifications. SDWP@ICWS 2005 - 2004
- [c27]Monika Solanki, Antonio Cau, Hussein Zedan:
Introducing Compositionality in Web Service Descriptions. FTDCS 2004: 14-20 - [c26]Martin P. Ward, Hussein Zedan, T. Hardcastle:
Legacy Assembler Reengineering and Migration. ICSM 2004: 157-166 - [c25]Monika Solanki, Antonio Cau, Hussein Zedan:
Augmenting semantic web service descriptions with compositional specification. WWW 2004: 544-552 - 2003
- [c24]François Siewe, Antonio Cau, Hussein Zedan:
A compositional framework for access control policies enforcement. FMSE 2003: 32-42 - 2002
- [j22]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) - [c23]Ali Arsanjani, James J. Alpigini, Hussein Zedan:
Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style. ICSM 2002: 628- - 2001
- [j21]Hussein Zedan:
Guest Editorial. Inf. Softw. Technol. 43(3): 159 (2001) - [c22]Hussein Zedan, Antonio Cau:
Voice Over IP: Correct Hardware/Software Co-Design. FTDCS 2001: 194-200 - [c21]Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang:
K-Mediator: Towards Evolving Information Systems. ICSM 2001: 520-527 - 2000
- [j20]Hongji Yang, Xiaodong Liu, Hussein Zedan:
Abstraction: a key notion for reverse engineering in a system reengineering approach. J. Softw. Maintenance Res. Pract. 12(4): 197-228 (2000)
1990 – 1999
- 1999
- [j19]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) - [j18]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) - [j17]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) - [c20]Shikun Zhou, Hussein Zedan, Antonio Cau:
A Framework for Analysing the Effect of "Change" in Legacy Code. ICSM 1999: 411-420 - 1998
- [c19]Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang:
A Refinement Calculus for the Development of Real-Time Systems. APSEC 1998: 61- - [c18]Hussein Zedan, Hongji Yang:
A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. CSMR 1998: 220-223 - [c17]Antonio Cau, Chris A. Czarnecki, Hussein Zedan:
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. FTRTFT 1998: 123-132 - [c16]Hongji Yang, Xiaodong Liu, Hussein Zedan:
Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. ICSM 1998: 284-293 - 1997
- [c15]Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu:
A Design Framework for System Re-Engineering. APSEC 1997: 342- - [c14]Antonio Cau, Hussein Zedan:
Refining Interval Temporal Logic Specifications. ARTS 1997: 79-94 - [c13]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 - [c12]Xiaodong Liu, Hongji Yang, Hussein Zedan:
Formal Methods for the Re-Engineering of Computing Systems: A Comparison. COMPSAC 1997: 409-414 - 1996
- [j16]Heping He, Hussein Zedan:
An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. Comput. Lang. 22(1): 1-13 (1996) - [j15]Heping He, Hussein Zedan:
A fast prototype tool for parallel reactive systems. J. Syst. Archit. 42(4): 251-266 (1996) - [c11]Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski:
Using ITL and Tempura for Large-Scale Specification and Simulation. PDP 1996: 493-500 - 1995
- [j14]Gavin Lowe, Hussein Zedan:
Refinement of Complex Systems: A Case Study. Comput. J. 38(10): 785-800 (1995) - [j13]Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart:
A model for timed-probabilistic behaviors. J. Syst. Softw. 28(3): 239-251 (1995) - 1994
- [j12]Martin Portman, Hussein S. M. Zedan:
The development of imprecise real-time systems. J. Syst. Softw. 27(2): 73-83 (1994) - [j11]David Scholefield, Hussein S. M. Zedan, Jifeng He:
A Specification-Oriented Semantics for the Refinement of Real-Time Systems. Theor. Comput. Sci. 131(1): 219-241 (1994) - 1993
- [j10]Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang:
Congruent Weak Bisimulation with Dense Real-Time. Inf. Process. Lett. 46(2): 55-61 (1993) - [j9]Chris Ho-Stuart, Hussein Zedan, Ming Fang:
Automated support for the formal specification and design of real-time systems. Microprocess. Microprogramming 38(1-5): 79-86 (1993) - [j8]Célio Estevan Morón, Hussein Zedan:
On guaranteeing hard real-time tasks. Microprocess. Microprogramming 38(1-5): 485-490 (1993) - [j7]Heping He, Hussein Zedan:
Cycle calculus for hybrid systems. Microprocess. Microprogramming 39(2-5): 223-227 (1993) - [c10]Heping He, Hussein Zedan:
Requirement Specification For Real-Time and Hybrid Systems. FORTE 1993: 269-284 - [c9]David Scholefield, Hussein S. M. Zedan, Jifeng He:
Real-Time Refinement: Semantics and Application. MFCS 1993: 693-702 - [c8]David Scholefield, Hussein S. M. Zedan, Jifeng He:
A Predicative Semantics for the Refinement of Real-Time Systems. MFPS 1993: 230-249 - [c7]Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan:
Specification of Real-Time Probabilistic Behaviour. PSTV 1993: 143-157 - 1992
- [j6]David Scholefield, Hussein S. M. Zedan:
Weakest Precondition Semantics for Time and Concurrency. Inf. Process. Lett. 43(6): 301-308 (1992) - [c6]Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan:
Let's PARTY: Process Algebra With Real-time From York. RTS 1992: 104-109 - [c5]David Scholefield, Hussein S. M. Zedan:
The refinement of real-time systems. RTS 1992: 122-127 - [c4]David Scholefield, Hussein S. M. Zedan:
TAM: A Formal Framework for the Development of Distributed Real-Time Systems. FTRTFT 1992: 411-428 - 1991
- [j5]Paul Butcher, Hussein Zedan:
Lucinda - an overview. ACM SIGPLAN Notices 26(8): 90-100 (1991) - [c3]Heping He, Hussein Zedan:
Prototyping with Temporal VDM: A Status Report. VDM Europe (1) 1991: 681-682 - [c2]Paul Butcher, Hussein Zedan:
Lucinda - A Polymorphic Linda. Research Directions in High-Level Parallel Programming Languages 1991: 126-146 - 1990
- [j4]David Scholefield, Hussein Zedan:
TAM: Temporal agent model for real-time distributed systems. Microprocessing and Microprogramming 30(1-5): 499-506 (1990) - [j3]Hussein Zedan:
Formal aspects of microprocessor design. Microprocess. Microsystems 14(10): 621-622 (1990) - [j2]Hussein Zedan:
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Leeser, M and Brown, G (Eds) Springer-Verlag, Heidelberg, Germany (1989) DM 57 pp 408. Microprocess. Microsystems 14(10): 676 (1990) - [c1]David Scholefield, Hussein S. M. Zedan:
Compensation functions and requirements. ACM SIGOPS European Workshop 1990
1980 – 1989
- 1987
- [j1]Cyrus Hazari, Hussein Zedan:
A Distributed Algorithm for Distributed Termination. Inf. Process. Lett. 24(5): 293-297 (1987)
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 21:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
