| 2009 |
|---|
| 20 | EE | Ali Nasrat Haidar,
Ali E. Abdallah:
Formal Modelling of PKI Based Authentication.
Electr. Notes Theor. Comput. Sci. 235: 55-70 (2009) |
| 2008 |
|---|
| 19 | EE | Ali Nasrat Haidar,
Ali E. Abdallah:
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.
ISoLA 2008: 831-846 |
| 18 | EE | Ali Nasrat Haidar,
Ali E. Abdallah:
Composition of Web Services Using Wrappers.
ISoLA 2008: 862-865 |
| 2006 |
|---|
| 17 | EE | Ali E. Abdallah,
Etienne J. Khayat:
Formal Z Specifications of Several Flat Role-Based Access Control Models.
SEW 2006: 282-292 |
| 2005 |
|---|
| 16 | | Ali E. Abdallah,
Cliff B. Jones,
Jeff W. Sanders:
Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers
Springer 2005 |
| 2004 |
|---|
| 15 | | John Hawkins,
Ali E. Abdallah:
Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification.
DIPES 2004: 197-206 |
| 14 | EE | Ali E. Abdallah,
Etienne J. Khayat:
A Formal Model for Parameterized Role-Based Access Control.
Formal Aspects in Security and Trust 2004: 233-246 |
| 2003 |
|---|
| 13 | | Ali E. Abdallah,
Peter Ryan,
Steve Schneider:
Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Springer 2003 |
| 12 | EE | Ali E. Abdallah,
John Hawkins:
Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications.
HICSS 2003: 278 |
| 2002 |
|---|
| 11 | EE | John Hawkins,
Ali E. Abdallah:
An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note).
Euro-Par 2002: 615-619 |
| 2001 |
|---|
| 10 | EE | John Hawkins,
Ali E. Abdallah:
A Generic Functional Genetic Algorithm.
AICCSA 2001: 11-17 |
| 9 | EE | Ali E. Abdallah,
Theoharis Theoharis:
A Functional View of Parallel Computer Graphics.
AICCSA 2001: 242- |
| 2000 |
|---|
| 8 | EE | Ali E. Abdallah:
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications.
ICFEM 2000: 157-168 |
| 7 | EE | Ali E. Abdallah,
Mark Green:
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms.
ICFEM 2000: 189- |
| 1999 |
|---|
| 6 | | Theoharis Theoharis,
Ali E. Abdallah:
Formal Derivation of Two Parallel Rendering Algorithms.
PDPTA 1999: 1444-1450 |
| 5 | | Mark Green,
Ali E. Abdallah:
Interfacing Java with Haskell.
Scottish Functional Programming Workshop 1999: 79-88 |
| 1998 |
|---|
| 4 | EE | Ali E. Abdallah:
A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes.
Euro-Par 1998: 165-172 |
| 1997 |
|---|
| 3 | | Ali E. Abdallah,
Theoharis Theoharis:
Derivation of Efficient Parallel Algorithms on a Ring of Processors.
Euro-PDS 1997: 61-66 |
| 1996 |
|---|
| 2 | | Ali E. Abdallah:
Synthesis of Massively Pipelined Algorithms for List Manipulation.
Euro-Par, Vol. II 1996: 911-920 |
| 1995 |
|---|
| 1 | | Ali E. Abdallah:
Derivation of Parallel Algorithms from Functional Specifications to CSP Processes.
MPC 1995: 67-96 |
