Dr. Rachid Hamadi B.Sc. (Hons), M.Sc., and Ph.D. in Computer Science Senior Lecturer Address: School of Computer Science and Engineering The University of New South Wales Sydney, NSW 2052, Australia Office: K17 Level 4 Email:

[ Experience ] [ Education ] [ Research Interests ] [ Teaching ] [ Publications ]

• Senior Lecturer (Since May 2024): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia


• Casual Lecturer (June 2017 - May 2024): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia


• Visiting Fellow (January 2009 - June 2017): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia


• Lecturer (July 2008 - December 2008): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia


• Research and Teaching Associate (May 2005 - July 2008): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia

• May 2005: Ph.D. in Computer Science and Engineering, School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia
  
  
• September 1995: M.Sc. in Computer Science, Department of Computer Science, USTHB University of Sciences and Technology, Algiers, Algeria
  
  
• June 1991: B.Sc. (Hons) in Computer Science, Department of Computer Science, USTHB University of Sciences and Technology, Algiers, Algeria
  
  

• Workflows, Web Services, Formal Modeling of Business Processes, Exception Handling in Business Processes, Analysis and Verification of Business Processes, Business Process Privacy, Business Process Mining, Decision Support Systems
  
  

• Courses Taught at UNSW as a Lecturer in Charge (Convenor):
  
  - COMP9323 E-Enterprise Projects
  
  - COMP9311 Database Systems
  
  - COMP3311 Database Systems
  
  - COMP3900 Computer Science Project
  
  - COMP9900 Information Technology Project
  
  - COMP9021 Principles of Programming
  
  - ZZEN9021 Principles of Programming (Online)
  
  - ZZEN9311 Database Systems (Online)
  
  
  

Journals

1. R. Hamadi, B. Benatallah, B. Medjahed.
   Self-Adapting Recovery Nets for Policy-Driven Exception Handling in Business Processes.
   Distributed And Parallel Databases (DAPD), An International Journal, vol.23, num.1, pp.1-44, Springer, February 2008.


2. H. Paik, B. Benatallah, R. Hamadi.
   Dynamic Restructuring of E-Catalog Communities Based on User Interaction Patterns.
   World Wide Web Journal, vol. 5, num. 4, pp. 325-366, Kluwer Academic Publishers, November 2002.

Conferences

3. R. Hamadi, H. Paik, B. Benatallah.
   Conceptual Modeling of Privacy-Aware Web Service Protocols.
   In Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), LNCS 4495, pp.233-248, Springer Verlag, Trondheim, Norway, June 2007.


4. R. Hamadi, B. Benatallah.
   Dynamic Restructuring of Recovery Nets.
   In Proceedings of the 16th Australasian Database Conference (ADC'05), CRPIT 39, pp. 37-46, Australian Computer Society, Newcastle, Australia, January 2005.


5. R. Hamadi, B. Benatallah.
   Recovery Nets: Towards Self-Adaptive Workflow Systems.
   In Proceedings of the 5th International Conference on Web Information Systems Engineering (WISE'04), LNCS 3306, pp. 439-453, Springer Verlag, Brisbane, Australia, November 2004.


6. P. Chrzastowski-Wachtel, B. Benatallah, R. Hamadi, M. O'Dell, A. Susanto.
   A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling.
   In Proceedings of the International Conference on Business Process Management (BPM'03), LNCS 2678, pp. 336-353, Springer Verlag, Eindhoven, The Netherlands, June 2003.


7. B. Benatallah, P. Chrzastowski-Wachtel, R. Hamadi, M. O'Dell, A. Susanto.
   HiWorD: A Petri Net-Based Hierarchical Workflow Designer.
   In Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD'03), pp. 235-236, IEEE Computer Society Press, Guimaraes, Portugal, June 2003.


8. B. Benatallah, F. Casati, F. Toumani, R. Hamadi.
   Conceptual Modeling of Web Service Conversations.
   In Proceedings of the 15th International Conference on Advanced Information Systems Engineering (CAiSE'03), LNCS 2681, pp. 449-467, Springer Verlag, Klagenfurt, Austria, June 2003.


9. R. Hamadi, B. Benatallah.
   A Petri Net-Based Model for Web Service Composition.
   In Proceedings of the 14th Australasian Database Conference (ADC'03), CRPIT 17, pp. 191-200, Australian Computer Society, Adelaide, Australia, February 2003.


10. H. Paik, B. Benatallah, R. Hamadi.
    Usage-Centric Adaptation of Dynamic E-Catalogs.
    In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE'02), LNCS 2348, pp. 344-360, Springer Verlag, Toronto, Canada, May 2002.


11. R. Hamadi, Z. Belmesk.
    On the Definition of Back and Forth Bisimulation Notion in Petri Nets.
    13th Symposium on Theoretical Aspects of Computer Science (STACS'96), Grenoble, France, February 1996.


12. R. Hamadi, Z. Belmesk.
    Two Equivalent Semantics for CCS with Petri Nets.
    1st National Seminar in Computer Science (SNIB'95), Biskra, Algeria, October 1995 (in French).


13. R. Hamadi, Z. Belmesk.
    Back and Forth Bisimulations in Petri Nets.
    International Conference on Industrial Engineering and Production Management (IEPM'95), Marrakech, Morocco, April 1995.

Technical Reports

14. R. Hamadi, B. Benatallah.
    Policy-Based Exception Handling in Business Processes.
    Technical Report UNSW-CSE-TR-0428, The University of New South Wales, Sydney, Australia, August 2004.


15. B. Benatallah, P. Chrzastowski-Wachtel, R. Hamadi, M. O'Dell, A. Susanto.
    HiWorD: A Petri Net-Based Hierarchical Workflow Designer.
    In Tool Demonstration Report of the International Conference on Business Process Management (BPM'03), pp. 59-60, Eindhoven, The Netherlands, June 2003.


16. B. Benatallah, F. Casati, F. Toumani, R. Hamadi.
    Conceptual Modeling of Web Service Conversations.
    Technical Report HPL-2003-60, HP Labs, March 2003.

Theses

17. R. Hamadi.
    Formal Composition and Recovery Policies in Service-Based Business Processes.
    Ph.D. Thesis, School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia, April 2005.


18. R. Hamadi.
    True Concurrency Models and Back and Forth Bisimulations.
    M.Sc. Thesis, Department of Computer Science, Algiers University of Sciences and Technology, Algeria, September 1995 (in French).


19. R. Hamadi, B. Medjahed.
    Implementation and Comparison of Multiversion Concurrency Control.
    B.Sc. Project, Department of Computer Science, Algiers University of Sciences and Technology, Algeria, June 1991 (in French).