Hussein Zedan - RankMe

85 papers A* 2A 1B 1C 8Journal 38Unranked 34

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	A unifying architecture model for developing context-aware systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Saif Jamal Al-Sultan, Hussein Zedan
2017	J	`jnl`	The formal semantics of program slicing for nonterminating computations. J. Softw. Evol. Process. Martin P. Ward, Hussein Zedan
2017	J	`jnl`	The specification and design of secure context-aware workflows. Expert Syst. Appl. Hussein Zedan, Saif Jamal Al-Sultan
2014	J	`jnl`	A comprehensive survey on vehicular Ad Hoc network. J. Netw. Comput. Appl. Saif Jamal Al-Sultan, Moath M. Al-Doori, Ali H. Al-Bayatti, Hussein Zedan
2014	—	`conf`	Context Aware Accidents Prediction and Prevention System for VANET. ICCASA Mussab Aswad, Saif Jamal Al-Sultan, Hussein Zedan
2014	J	`jnl`	Crime profiling for the Arabic language using computational linguistic techniques. Inf. Process. Manag. Meshrif Alruily, Aladdin Ayesh, Hussein Zedan
2014	J	`jnl`	Formality, Agility, Security, and Evolution in Software Development. Computer Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan
2014	J	`jnl`	Provably correct derivation of algorithms using FermaT. Formal Aspects Comput. Martin P. Ward, Hussein Zedan
2014	J	`jnl`	The implementation of an intelligent and video-based fall detection system using a neural network. Appl. Soft Comput. Laila Alhimale, Hussein Zedan, Ali H. Al-Bayatti
2013	J	`jnl`	Context-Aware Driver Behavior Detection System in Intelligent Transportation Systems. IEEE Trans. Veh. Technol. Saif Jamal Al-Sultan, Ali H. Al-Bayatti, Hussein Zedan
2013	J	`jnl`	Dynamic Access Control Policies: Specification and Verification. Comput. J. Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
2011	C	`conf`	A comparative evalution of feature level based fusion schemes for multimodal biometric authentication. HIS Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan
2011	—	`conf`	An observation model to detect security violations in web services environment. ISWSA Khalid Aldrawiesh, François Siewe, Hussein Zedan
2011	J	`jnl`	Deriving a Slicing Algorithm via FermaT Transformations. IEEE Trans. Software Eng. Martin P. Ward, Hussein Zedan
2011	J	`jnl`	Rough set approach to online signature identification. Digit. Signal Process. Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan
2011	J	`jnl`	The Calculus of Context-aware Ambients. J. Comput. Syst. Sci. François Siewe, Hussein Zedan, Antonio Cau
2010	J	`jnl`	Agile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability. J. Digit. Content Technol. its Appl. Ali Alqahtani, Hussein Zedan
2010	C	`conf`	An agent-based approach for policy enforcement in secure workflow systems. ISDA Hind Alotaibi, Hussein Zedan
2010	—	`conf`	Automated dictionary construction from Arabic corpus for meaningful crime information extraction and document classification. CISIM Meshrif Alruily, Aladdin Ayesh, Hussein Zedan
2010	A	`conf`	Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. ECAI Meshrif Alruily, Aladdin Ayesh, Hussein Zedan
2010	—	`conf`	Biometric-Based Authentication System Using Rough Set Theory. RSCTC Hala S. Own, Waheeda Al-Mayyan, Hussein Zedan
2010	J	`jnl`	Combining dynamic and static slicing for analysing assembler. Sci. Comput. Program. Martin P. Ward, Hussein Zedan
2010	—	`conf`	Context aware architecture for sending adaptive HELLO messages in VANET. CASEMANS@Ubicomp Moath Muayad Al-Doori, Ali Hilal Al-Bayatti, Hussein Zedan
2010	—	`conf`	Formalising policies of a mLearning system using CCA. CASEMANS@Ubicomp Mohammed Al-Sammarraie, François Siewe, Hussein Zedan
2010	—	`conf`	Iris features extraction using dual-tree complex wavelet transform. SoCPaR Waheeda Al-Mayyan, Hala S. Own, Hussein Zedan
2010	C	`conf`	Runtime verification of safety properties in multi-agents systems. ISDA Hind Alotaibi, Hussein Zedan
2010	J	`jnl`	Security Management for Mobile Ad Hoc Network of Networks (MANoN). Int. J. Mob. Comput. Multim. Commun. Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau, François Siewe
2010	—	`conf`	Transformational Programming and the Derivation of Algorithms. ISCIS Martin P. Ward, Hussein Zedan
2009	—	`conf`	CCA: A Calculus of Context-Aware Ambients. AINA Workshops François Siewe, Antonio Cau, Hussein Zedan
2009	J	`jnl`	Development of a modern curriculum in software engineering at master level across countries. Comput. Sci. Inf. Syst. Klaus Bothe, Zoran Budimac, Rebeca Cortazar, Mirjana Ivanovic, Hussein Zedan
2009	J	`jnl`	Multi-Agent Based Dynamic E-Learning Environment. Int. J. Inf. Technol. Web Eng. Saleh AlZahrani, Aladdin Ayesh, Hussein Zedan
2009	—	`conf`	Security Solution for Mobile Ad Hoc Network of Networks (MANoN). ICNS Ali H. Al-Bayatti, Hussein Zedan, Antonio Cau
2009	J	`jnl`	Using formal specifications to support testing. ACM Comput. Surv. 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
2008	—	`conf`	Concurrent Enforcement of Usage Control Policies. POLICY Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
2008	J	`jnl`	Conditioned semantic slicing for abstraction; industrial experiment. Softw. Pract. Exp. Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg
2008	—	`conf`	Why Moodle. FTDCS Ajlan Suliman Al-Ajlan, Hussein Zedan
2007	—	`conf`	A general framework for multilingual text mining using self-organizing maps. Artificial Intelligence and Applications Aladdin Al-Marghilani, Hussein Zedan, Aladdin Ayesh
2007	C	`conf`	A note on the formalisation of UCON. SACMAT Helge Janicke, Antonio Cau, Hussein Zedan
2007	—	`conf`	Deriving Enforcement Mechanisms from Policies. POLICY Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan
2007	J	`jnl`	Slicing as a program transformation. ACM Trans. Program. Lang. Syst. Martin P. Ward, Hussein Zedan
2006	—	`conf`	A Compositional Event & Time-Based Policy Model. POLICY Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin I. Jones
2006	A*	`conf`	ASDL: a wide spectrum language for designing web services. WWW Monika Solanki, Antonio Cau, Hussein Zedan
2006	—	`ch.`	Temporal Reasoning Of Reactive Web Services. Semantic Web Services, Processes and Applications Monika Solanki, Antonio Cau, Hussein Zedan
2005	—	`conf`	Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS Helge Janicke, François Siewe, Kevin I. Jones, Antonio Cau, Hussein Zedan
2005	—	`conf`	Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR Martin P. Ward, Hussein Zedan, T. Hardcastle
2005	—	`conf`	MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) Martin P. Ward, Hussein Zedan
2005	J	`jnl`	Run-time analysis of time-critical systems. J. Syst. Archit. Shikun Zhou, Hussein Zedan, Antonio Cau
2005	—	`conf`	Semantically Annotating Reactive Web Services with Temporal Specifications. SDWP@ICWS Monika Solanki, Antonio Cau, Hussein Zedan
2004	A*	`conf`	Augmenting semantic web service descriptions with compositional specification. WWW Monika Solanki, Antonio Cau, Hussein Zedan
2004	—	`conf`	Introducing Compositionality in Web Service Descriptions. FTDCS Monika Solanki, Antonio Cau, Hussein Zedan
2004	—	`conf`	Legacy Assembler Reengineering and Migration. ICSM Martin P. Ward, Hussein Zedan, T. Hardcastle
2003	—	`conf`	A compositional framework for access control policies enforcement. FMSE François Siewe, Antonio Cau, Hussein Zedan
2002	J	`jnl`	A Compositional Framework for Hardware/Software Co-Design. Des. Autom. Embed. Syst. Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey
2002	—	`conf`	Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style. ICSM Ali Arsanjani, James J. Alpigini, Hussein Zedan
2001	J	`jnl`	Guest Editorial. Inf. Softw. Technol. Hussein Zedan
2001	—	`conf`	K-Mediator: Towards Evolving Information Systems. ICSM Hussein Zedan, Shikun Zhou, N. Sampat, X. Chen, Antonio Cau, Hongji Yang
2001	—	`conf`	Voice Over IP: Correct Hardware/Software Co-Design. FTDCS Hussein Zedan, Antonio Cau
2000	J	`jnl`	Abstraction: a key notion for reverse engineering in a system reengineering approach. J. Softw. Maintenance Res. Pract. Hongji Yang, Xiaodong Liu, Hussein Zedan
1999	—	`conf`	A Framework for Analysing the Effect of "Change" in Legacy Code. ICSM Shikun Zhou, Hussein Zedan, Antonio Cau
1999	J	`jnl`	A Wide-Spectrum Language for Object-Based Development of Real-Time Systems. Inf. Sci. Zhiqiang Chen, Hussein Zedan, Antonio Cau, Hongji Yang
1999	J	`jnl`	ATOM: An Object-based Formal Method for Real-Time Systems. Ann. Softw. Eng. Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang
1999	J	`jnl`	Integrating structured OO approaches with formal techniques for the development of real-time systems. Inf. Softw. Technol. Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang
1998	C	`conf`	A Refinement Calculus for the Development of Real-Time Systems. APSEC Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang
1998	—	`conf`	A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems. CSMR Hussein Zedan, Hongji Yang
1998	—	`conf`	Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. FTRTFT Antonio Cau, Chris A. Czarnecki, Hussein Zedan
1998	—	`conf`	Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. ICSM Hongji Yang, Xiaodong Liu, Hussein Zedan
1997	C	`conf`	A Design Framework for System Re-Engineering. APSEC Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu
1997	B	`conf`	Formal Methods for the Re-Engineering of Computing Systems: A Comparison. COMPSAC Xiaodong Liu, Hongji Yang, Hussein Zedan
1997	—	`conf`	Proving the correctness of the interlock mechanism in processor design. CHARME Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
1997	—	`conf`	Refining Interval Temporal Logic Specifications. ARTS Antonio Cau, Hussein Zedan
1996	J	`jnl`	A fast prototype tool for parallel reactive systems. J. Syst. Archit. Heping He, Hussein Zedan
1996	J	`jnl`	An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. Comput. Lang. Heping He, Hussein Zedan
1996	C	`conf`	Using ITL and Tempura for Large-Scale Specification and Simulation. PDP Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski
1995	J	`jnl`	Refinement of Complex Systems: A Case Study. Comput. J. Gavin Lowe, Hussein Zedan
1993	J	`jnl`	Automated support for the formal specification and design of real-time systems. Microprocess. Microprogramming Chris Ho-Stuart, Hussein Zedan, Ming Fang
1993	J	`jnl`	Cycle calculus for hybrid systems. Microprocess. Microprogramming Heping He, Hussein Zedan
1993	J	`jnl`	On guaranteeing hard real-time tasks. Microprocess. Microprogramming Célio Estevan Morón, Hussein Zedan
1993	C	`conf`	Requirement Specification For Real-Time and Hybrid Systems. FORTE Heping He, Hussein Zedan
1991	—	`conf`	Lucinda - A Polymorphic Linda. Research Directions in High-Level Parallel Programming Languages Paul Butcher, Hussein Zedan
1991	J	`jnl`	Lucinda - an overview. ACM SIGPLAN Notices Paul Butcher, Hussein Zedan
1991	—	`conf`	Prototyping with Temporal VDM: A Status Report. VDM Europe (1) Heping He, Hussein Zedan
1990	J	`jnl`	Formal aspects of microprocessor design. Microprocess. Microsystems Hussein Zedan
1990	J	`jnl`	Hardware Specification, Verification and Synthesis: Mathematical Aspects: Leeser, M and Brown, G (Eds) Springer-Verlag, Heidelberg, Germany (1989) DM 57 pp 408. Microprocess. Microsystems Hussein Zedan
1990	J	`jnl`	TAM: Temporal agent model for real-time distributed systems. Microprocessing and Microprogramming David Scholefield, Hussein Zedan
1987	J	`jnl`	A Distributed Algorithm for Distributed Termination. Inf. Process. Lett. Cyrus Hazari, Hussein Zedan