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

[ Current Positions ] [ Education ] [ Research Interests ] [ Teaching ] [ Publications ]

• Casual Lecturer (Since July 2017): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia


• Casual Lecturer (Since July 2006): School of Engineering and Information Technology, Federation University Australia, 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
  
  

• Casual Lecturer (Since July 2017): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia
  
  - Courses Taught: COMP9311 Database Systems, COMP3311 Database Systems, COMP3900 Computer Science Project, COMP9900 Information Technology Project, COMP9021 Principles of Programming, ZZEN9021 Principles of Programming (Online)
  
  
  
• Casual Lecturer (Since July 2006): School of Science, Engineering and Information Technology, Federation University Australia, Sydney, Australia
  
  - Courses Taught: Programming 1, Programming 2, Electronic Commerce 2, Webpage and Multimedia Design, World Wide Web Technology 2, E-Commerce Management, Introduction to IT Project Management, Internet Design, Business Information Systems, Programming Fundamentals, Multimedia Communication, Introduction to Computing, IT Project Management, Database Management Systems, Introduction to Multimedia, Software Engineering Processes and Methods, Software Engineering Analysis and Design, Foundations of Programming, Leadership in IT Project Management, IT Project Management Techniques, Project, Business Intelligence and Data Warehousing, Software Engineering Methodologies, IT Problem Solving, Big Data and Analytics, Web Design, Games Development Fundamentals, Software Testing, Project 1, Project 2, Masters Project, Mobile Development Fundamentals, Systems Modelling, and Dynamic Web Development
  
  
  
• Casual Lecturer (March 2010 - May 2023): College of Engineering and Science, Victoria University Sydney, Australia
  
  - Course Taught: Object Oriented Programming 1, Object Oriented Programming 2, Internet Programming, Thesis1, Thesis2, Internet Data Management, Software Engineering, Internet Data Representation, Object Oriented Design, Systems Analysis, Information Systems, Operating Systems, Database Analysis and Design, Introduction to Research, Advanced Project, Database Systems, Principles of Project Management, Project Management and Information Technology, Web Design and CMS, Introduction to Database Systems, Object Oriented Programming, Information Systems for Business, Research Project Part A, and Research Project Part B
  
  
  
• Casual Lecturer (July 2009 - March 2010): School of Science and Technology, University of New England, Sydney, Australia.
  
  - Course Taught: Business Information Technology, Discrete Mathematics
  
  
  
• Lecturer (July 2008 - December 2008): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia
  
  - Course Taught: E-Enterprise Projects
  
  
  
• Casual Lecturer (February 2006 - December 2006): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia
  
  - Course Taught: E-Commerce Systems Implementation Infrastructure
  
  
  
• Sessional Lecturer (July 2005 - February 2006): Central Queensland University, Sydney International Campus, Sydney, Australia
  
  - Courses Taught: Security and the Internet, Human-Computer Interaction
  
  
  
• Casual Lecturer (July 2001 - December 2004): School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia
  
  - Course Taught: E-Commerce Systems Implementation
  
  
  
• Casual Lecturer (February 2000 - July 2001): School of Information Systems, Queensland University of Technology, Brisbane, Australia
  
  - Course Taught: Foundations of Computing
  
  
  
• Lecturer (September 1995 - December 1999): Department of Computer Science, USTHB University of Sciences and Technology, Algiers, Algeria
  
  - Courses Taught: Algorithms and Data Structures, Graph Theory, Linear Programming, Computer Architecture
  
  
  

Important Note: The papers obtained from this Web page are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

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).