| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin P. Ward, Hussein Zedan |
Deriving a Slicing Algorithm via FermaT Transformations.  |
IEEE Trans. Software Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan |
Rough set approach to online signature identification. |
Digital Signal Processing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Siewe, Hussein Zedan, Antonio Cau |
The Calculus of Context-aware Ambients. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Aldrawiesh, François Siewe, Hussein Zedan |
An observation model to detect security violations in web services environment. |
ISWSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan |
A comparative evalution of feature level based fusion schemes for multimodal biometric authentication. |
HIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Hussein Zedan |
Combining dynamic and static slicing for analysing assembler. |
Sci. Comput. Program. |
2010 |
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 | Ali Alqahtani, Hussein Zedan |
Agile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability. |
JDCTA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hala S. Own, Waheeda Al-Mayyan, Hussein Zedan |
Biometric-Based Authentication System Using Rough Set Theory. |
RSCTC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Meshrif Alruily, Aladdin Ayesh, Hussein Zedan |
Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Alotaibi, Hussein Zedan |
An agent-based approach for policy enforcement in secure workflow systems. |
ISDA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Alotaibi, Hussein Zedan |
Runtime verification of safety properties in multi-agents systems. |
ISDA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan |
Iris features extraction using dual-tree complex wavelet transform. |
SoCPaR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Hussein Zedan |
Transformational Programming and the Derivation of Algorithms. |
ISCIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saleh AlZahrani, Aladdin Ayesh, Hussein Zedan |
Multi-Agent Based Dynamic E-Learning Environment. |
IJITWE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Robert 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 |
Using formal specifications to support testing. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 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 | Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg |
Conditioned semantic slicing for abstraction; industrial experiment. |
Softw., Pract. Exper. |
2008 |
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 | Martin P. Ward, Hussein Zedan |
Slicing as a program transformation. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing |
| 1 | Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan |
Deriving Enforcement Mechanisms from Policies. |
POLICY |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aladdin Al-Marghilani, Hussein Zedan, Aladdin Ayesh |
A general framework for multilingual text mining using self-organizing maps. |
Artificial Intelligence and Applications |
2007 |
DBLP 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 | Martin P. Ward, Hussein Zedan |
MetaWSL and Meta-Transformations in the FermaT Transformation System. |
COMPSAC |
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 | Martin P. Ward, Hussein Zedan, T. Hardcastle |
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. |
CSMR |
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 | Martin P. Ward, Hussein Zedan, T. Hardcastle |
Legacy Assembler Reengineering and Migration. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
| 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 | Ali Arsanjani, James J. Alpigini, Hussein Zedan |
Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style. (PDF / PS) |
ICSM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hussein Zedan |
Guest Editorial. |
Information & Software Technology |
2001 |
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 | Hongji Yang, Xiaodong Liu, Hussein Zedan |
Abstraction: a key notion for reverse engineering in a system reengineering approach. |
Journal of Software Maintenance |
2000 |
DBLP BibTeX RDF |
|
| 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 | Hongji Yang, Xiaodong Liu, Hussein Zedan |
Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. (PDF / PS) |
ICSM |
1998 |
DBLP DOI BibTeX RDF |
reverse engineering, object oriented, abstraction, re-engineering, Interval Temporal Logic, wide spectrum language |
| 1 | Hussein Zedan, Hongji Yang |
A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. |
CSMR |
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 | Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu |
A Design Framework for System Re-Engineering. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
real-time systems, formal methods, object orientation, re-engineering, Interval Temporal Logic, wide spectrum language |
| 1 | Xiaodong Liu, Hongji Yang, Hussein Zedan |
Formal Methods for the Re-Engineering of Computing Systems: A Comparison. (PDF / PS) |
COMPSAC |
1997 |
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, Hussein Zedan |
Refining Interval Temporal Logic Specifications. |
ARTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Heping He, Hussein Zedan |
A fast prototype tool for parallel reactive systems. |
Journal of Systems Architecture |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Heping He, Hussein Zedan |
An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. |
Comput. Lang. |
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 | Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart |
A model for timed-probabilistic behaviors. |
Journal of Systems and Software |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin Lowe, Hussein Zedan |
Refinement of Complex Systems: A Case Study. |
Comput. J. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scholefield, Hussein S. M. Zedan, Jifeng He |
A Specification-Oriented Semantics for the Refinement of Real-Time Systems. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Portman, Hussein S. M. Zedan |
The development of imprecise real-time systems. |
Journal of Systems and Software |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang |
Congruent Weak Bisimulation with Dense Real-Time. |
Inf. Process. Lett. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scholefield, Hussein S. M. Zedan, Jifeng He |
A Predicative Semantics for the Refinement of Real-Time Systems. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scholefield, Hussein S. M. Zedan, Jifeng He |
Real-Time Refinement: Semantics and Application. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan |
Specification of Real-Time Probabilistic Behaviour. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Chris Ho-Stuart, Hussein Zedan, Ming Fang |
Automated support for the formal specification and design of real-time systems. |
Microprocessing and Microprogramming |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Heping He, Hussein Zedan |
Cycle calculus for hybrid systems. |
Microprocessing and Microprogramming |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Celio Estevan Moron, Hussein Zedan |
On guaranteeing hard real-time tasks. |
Microprocessing and Microprogramming |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Heping He, Hussein Zedan |
Requirement Specification For Real-Time and Hybrid Systems. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | David Scholefield, Hussein S. M. Zedan |
Weakest Precondition Semantics for Time and Concurrency. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scholefield, Hussein S. M. Zedan |
TAM: A Formal Framework for the Development of Distributed Real-Time Systems. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Butcher, Hussein Zedan |
Lucinda - an overview. |
SIGPLAN Notices |
1991 |
DBLP DOI BibTeX RDF |
Linda |
| 1 | Paul Butcher, Hussein Zedan |
Lucinda - A Polymorphic Linda. |
Research Directions in High-Level Parallel Programming Languages |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Heping He, Hussein Zedan |
Prototyping with Temporal VDM: A Status Report. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scholefield, Hussein S. M. Zedan |
Compensation functions and requirements. |
ACM SIGOPS European Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrus Hazari, Hussein Zedan |
A Distributed Algorithm for Distributed Termination. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")