|
|
Experience |
Education |
Research Interests |
Teaching |
Publications |
Journals
- 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.
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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).
- 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
- 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.
- 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.
- B. Benatallah, F. Casati, F. Toumani, R. Hamadi.
Conceptual Modeling of Web Service Conversations.
Technical Report HPL-2003-60, HP Labs, March 2003.Theses
- 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.
- 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).
- 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).