Prof. Dr. Mohamed Bettaz · Prof. Dr. Mohamed Bettaz 3 1977-2014: ( courses include) Abstract data...

Prof. Dr. Mohamed BettazFounding dean and professor of computer scienceand software engineeringFaculty of Information Technology PhiladelphiaUniversity Jordan

email: [email protected] email: [email protected]://www.philadelphia.edu.jo/faculties-main/faculty-of-information-technologyhttp://www.philadelphia.edu.jo/quality-assurance/deanship-of-quality-assurance

Personal Data

Born on August 15, 1950.

Algeria Citizen.

Married, four children.

Languages

English.

French.

Czech.

Arabic.

Education

MSc and PhD Degrees from the Czech Technical University in Prague (Shanghai ranking) (ComputerScience & Engineering Dept.), in 1975 and 1984 respectively. (Excellence Scholarship, Algerian Ministryof Higher Education and Scientific Research).

Work Experience

Sept. 2014 - present (Jordan)

Dean and professor of computer science and software engineering, Faculty of Information Technology,Philadelphia University (Sept. 2014-present).

Prof. Dr. Mohamed Bettaz 2

Dean of Quality Assurance, Philadelphia University (Sept. 2018-present).

Dean of Distance Learning, Philadelphia University (Sept. 2017-Aug. 2018).

Sept. 2006 - Aug. 2014 (Algeria)

ICT Director Ministry of Higher Education and Scientific Research.

Computer Science professor at the "Ecole Nationale Superieure d’Informatique (ESI)", Algiers, Algeria.

Sept. 1999 - Aug. 2006 (Jordan)

Founding Dean and professor of computer science, Faculty of Information Technology, PhiladelphiaUniversity (2000-2006).

Dean of Distance Learning, Philadelphia University (2004-2006).

Head of the Computer Science and Information Systems Department, Philadelphia University (1999-2001).

Feb. 1984 - Aug. 1999 (Algeria)

Founding Director (Dean) and Maitre de Conferences (Associate Professor) of Informatics (ComputerScience and Engineering), Institute (Faculty) of Informatics, Constantine University (1984-1988).

Founding Director and researcher of the LIRE Laboratory (Laboratory of Distributed Computing),Head of the Research Group Software Engineering and Distributed Systems (Sept. 1988 to Aug. 1999).

Professor of Informatics (Computer Science and Engineering) at the Institute (Faculty) of Informatics(Computer Science and Engineering), Constantine University (1988-1999).

Maitre-Assistant (Assistant Professor) of Informatics (Computer Science and Engineering), Institute(Faculty) of Informatics, Constantine University (1977-1980).

Teaching Activities

Undergraduate courses

2014-present: ( courses include)

Special topics in software engineering.

Case tools development.

Compiler construction.

Information security.

Information and computer networks security.

Information systems security.

Wireless and mobile networks.

Concepts of programming languages.


1977-2014: ( courses include)

Abstract data types.

Software development with Java.

Program testing and verification.

Internet and java programming.

Functional programming.

Logic programming.

Programming in Java.

Data structures.

Algorithms.

Concurrent and distributed systems.

Computer systems.

Operating systems.

Data communication and networks.

Data transmission through networks.

Graph theory.

Assembler.

Introduction to computers.

Introduction to information technology.

Computer hardware.

Graduate courses: include

Advanced software engineering.

Software engineering for secure software.

Advanced software development.

Special topics in software engineering.

Formal methods.

Formal methods in software engineering.

Algebraic specifications.

The specification language Z.

Object-Z .

Graph rewriting systems.


Petri nets.

CCS.

CSP.

Information security.

Internet protocols.

Computer networks.

Reasearch Activities

Areas of Interest

IoT (tackling security issues with machine learning approaches).

Software engineering.

Formal methods.

Formal software development.

Algebraic development techniques.

Software architectures.

Model-driven Engineering.

Distributed multiscale modeling and simulation.

Distributed Systems.

Computer communication protocols.

Scientific Associations’ Membersship

IFIP WG1.3 (International Federation for Information Processing)"The International Federation for Information Processing (IFIP) is the largest worldwide scientific orga-nization in computer science. Only outstanding researchers and scientists in their field are appointedto IFIP working Groups". http://ifipwg13.informatik.uni-bremen.de/members

EASST (European Association of Software Science and Technology). http://easst.aulp.co.uk/members

Journal Editorial and Reviewing Work: include

International Journal of Critical Computer-Based Systems. (Scopus).

Journal of Systemics, Cybernetics and Informatics.


Programme Committees’ Membership And Reviewing Activity: include

SIMULTECH Paris France 2020.

WMSCI Florida USA 2019.


SIMULTECH Porto Portugal 2018.

ICAASE Constantine Algeria 2018.


SIMULTECH Madrid Spain 2017.

NETYS Marrakech Morocco2017.

SIMULTECH Lisbon Portugal 2016.


ICT-DM Algiers Algeria 2014.

NASTEC San Diego USA 2013.


NASTEC Redmond USA 2012.

NASTEC Troy USA 2011.


FM Eindhoven The Netherlands 2009.

NOTERE Toulouse France 2006.

MMNS Dublin Ireland 2006.

ICSOFT Setubal Portugal 2006.

SCI Orlando USA 2005.

NOTERE Outaouais Canada 2005.

CFIP Bordeaux France 2005.

SEFM Koblenz Germany 2005.

MMNS Barcelona Spain 2005.


Conference Organization

Organization Chair, International Symposium on Innovation in Information and Communication Tech-nology, Amman Jordan, 2020.

Organization Chair, International Symposium on Innovation in Information and Communication Tech-nology, Amman Jordan, 2018.

General chair, International Conference on Advanced Aspects of Software Engineering, Constantine,Algeria, 2014.

Conference co-chair, 12th IEEE International Conference on Electronics, Circuits and Systems, Gam-marth, Tunisia, 2005.

General chair, International Symposium on Innovation in Information and Communication TechnologyAmman Jordan, Amman Jordan, 2004.

Programme chair, International Symposium on Innovation in Information and Communication Tech-nology Amman Jordan, Amman Jordan, 2002.

General chair, International Symposium on Software and Systems Constantine, Algeria, 2001.

Programme chair, First Mediterranean International Conference on Computers Technologies, Tizi-Ouzou, Algeria, 1999.

Organizing committee (member), International Conference on Algebraic Methodology and SoftwareTechnology Twenty, Netherlands 1993.

Programme co-chair, Second Maghrebin Conference on Software Engineering and Artificial Intelli-gence, Tunis, Tunisia, 1992.

General chair, First Maghrebin Conference on Software Engineering and Artificial Intelligence Con-stantine, Algeria, 1989.

Books and Book Chapters

M Bettaz, M Kamal "On the Quality Assurance of Faculty Members", Springer Nature Switzerland,pp.277-288, Major Challenges Facing Higher education in the Arab World: Quality Assurance andrelevance, 2019.

M. Bettaz, I. Al Fuqaha, Distance Learning Approaches and Styles (Arabic), ALESCO, Tunis, 2005.

M. Bettaz, G. Reggio, "A SMoLCS Based Kit for Defining the Semantics of Algebraic High- Level Nets",LNCS No 785, Springer-Verlag, pp. 98-112, 1994.

M. Bettaz, L. Mackenzie, Communication in Computer Networks (French). OPU, Algiers, 1993.

M. Bettaz, M. Maouche, "How to specify non-determinism and true concurrency with algebraic termnets", LNCS, No 655, Springer-Verlag, 1993.

M. Bettaz, "An association of algebraic term nets and abstract data types for specifying real communi-cation protocols", LNCS, No 534, Springer-Verlag, pp. 11-30, 1991.


Invited Talks and Presentations

Bettaz M., Maouche M., "Using UML-MARTE and TCOZ for AAL System Specifications: A CaseStudy", invited talk, 2018 7th International Conference on Reliability, Infocom Technologies and Opti-mization: Trends and Future Directions (ICRITO 2018), Noida, India, 2018.

M. Bettaz, "On Model Transformation and Consistency of Intention Sharing: An Institution TheoryBased Approach", invited talk, International Workshop on Emerging Technologies in Biomedical Engi-neering and Telemedicine - ETBET’18, Doha, Qatar, 2018.

M. Bettaz and M. Maouche, "UML/OCL or Object-Z?", invited talk, 2017 International Conference onInfocom Technologies and Unmanned Systems (ICTUS’2017), Dubai, UAE, 2017.

M. Bettaz and M. Maouche, "Intentional Modeling with Institution Theory", invited talk, Proc. of the6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017),Noida, India, 2017.

M. Bettaz, "On the Quality of Assurance of Teaching Staff: What Kind of Teaching Staff for a betterWay of Learning", invited talk, International Conference on Major Challenges facing Higher Educationin the Arab world: Quality Assurance and Relevance, Beirut, Lebanon, 2017.

M. Bettaz, "Quality Assurance of Academic Programs", Yarmouk University, Irbid, Jordan, invitedlecture, October, 2016.

M. Bettaz, "Quality Assurance in Higher Education: from e-Learning to Face-to-Face Education", in-vited lecture, ICA2IT’14, Ouargla, Algeria, March, 10-12, 2014.

M. Bettaz, "On Quality assurance in e-Learning (in Arabic)", invited lecture, ICCA’2013, Hammamet,Tunisia, December, 9-11, 2013, http://www.t-m-s-s.org/icca2013/icca9.html

M. Bettaz, "institutions et construction correcte de programmes par importation, composition et raffine-ment de specifications", Joint work with H. Baumeister, M. Maouche and M. Mosteghanemi, invitedlecture, IWAIICT’ 2013, University of Biskra, Algeria, May 2013.

M. Bettaz, "On the Correctness of Transformation between Modelling Languages: Application to Trans-formation between UML and Object-Z", Joint work with M. Maouche and M. Mosteghanemi, invitedlecture, LIRE Laboratory, Constantine University, April 2011.

M. Bettaz, " Pillars of quality assurance", The Training Workshop on Quality Assurance in HigherEducation Institutions, Proceedings of the Training Workshop Designed for University Staff, Muscat,Oman, 2005.

M. Bettaz, "Formalization of Architectural Styles: a Software Engineering Perspective", invited lecture,8th Maghrebin Conference on Software Engineering and Artificial Intelligence, Sousse, Tunisia, May2004.

M. Bettaz, "La pedagogie Outside-In pour le genie logiciel", Department of Computer Science CNAM-Paris, December 2003.

M. Bettaz, "Rewriting Logic: A Unifying Framework for the Design of Correct Software and Systems",4th International Conference on Recent Trends in Computer Science Applications and InformationSystems, Amman, July 1999.

M. Bettaz, "Rewriting Logic: A Unifying Framework for Specifying and Prototyping of Complex Sys-tems", invited lecture, 5th Maghrebin Conference on Software Engineering and Artificial Intelligence,Tunis, December 1998.


M. Bettaz, "De la fragmentation conceptuelle a la logique de reecriture: traitement de la bisimulation",with M. Maouche and K. Barkaoui., Journees sur les reseaux de Petri, CNAM- Paris, 6 juin 1998.

M. Bettaz, "Rewriting Logic as a Logic Framework", Department of Computer Science CNAM- Paris,April 1998.

M. Bettaz, "Rewriting Logic as a semantic Framework", Department of Computer Science CNAM-Paris,January 1997.

M. Bettaz, "Object-Based ECATNets", invited lecture, SNITO’96, Tizi-Ouzou, November 1996. M. Bet-taz, "From Petri nets to ECATNets", Department of Computer Science, University of Genova, October1992.

M. Bettaz, "On the Specification of Communication protocols with ECATNets", IRO University ofMontreal, Quebec, August 1991.

M. Bettaz,"ECATNets Semantic Framework", Department of Computer Science University of Laval,Quebec, August 1991.

M. Bettaz,"Petri Nets and ECATNets", Department of Computer Science University of Sherbrooke,Quebec, August 1991.

Workshops

M. Bettaz, "On Modeling Software Engineering Models’ Intentions with Institutions", Joint work withM. Maouche, presentation, IFIP WG1.3 workshop, Berlin, Germany, September 2017.http://ifipwg13.cs.ovgu.de/talks/106

M. Bettaz, "Towards a UML-MARTE/CSP-OZ based Software Development Methodology", Joint workwith M. Maouche, presentation, IFIP WG1.3 workshop, Eindhoven, Netherlands, March 2016.http://ifipwg13.cs.ovgu.de/talks/83

M. Bettaz, "Institutions for object-Z", Joint work with H. Baumeister, M. Maouche and M. Mosteghanemi,presentation, IFIP WG1.3 workshop, Salamanca, Spain, June 2012. http://ifipwg13.informatik.uni-bremen.de/talks/13

M. Bettaz, "An Object-Z based Metamodel for Wright", with M. Maouche and M. Mosteghanemi,presentation, IFIP WG1.3 workshop, Udine, Italy, September 2009.http://www- lipn.univ-paris13.fr/choppy/IFIP/UDINE/Udine-abstracts.html

M. Bettaz, "An Object-Z/CSP based approach for the specification of architectural connectors", Jointwork with M. Maouche, IFIP WG1.3 workshop, Sierra Nevada, Spain, January 2008. http://www-lipn.univ-paris13.fr/ choppy/IFIP/SIERRA-NEVADA/Sierra-abstracts.html

M. Bettaz, "Z notation and graph transformation", with M. Maouche, and R. Heckel, IFIP WG1.3meeting, Bangalore, India, January 2005.

M. Bettaz, "Graph Transformation: A semantic Framework for Mobile Z", joint work with M. Maoucheand R. Heckel, European Joint Conferences on Theory and Practice of Software (ETAPS-WADT),Barcelona, Spain, March-April 2004.

M. Maouche and M. Bettaz, "Object Behaviors: a Rewriting Logic Based Approach", WADT, Genova,Italy, March 2001.

M. Maouche, "An Operational and Denotational Semantics for Event Structures Based on RewriteLogic", joint work with C. Bouanaka, S. Rami and M. Bettaz, 13th Workshop on Algebraic DevelopmentTechniques, Lisbon, Portugal, April 1998.


M. Bettaz, "Concurrent Bisimulations in Hidden Labelled Rewriting Logics", joint work with M. Maouche,11th Workshop on Abstract Data Types and Compass Meeting, Oslo, Norway, 9/1995

M. Bettaz, "On the Specification of Protocol Objects", joint work with M. Maouche, 10th ADT - COM-PASS General Meeting’94, Genova, Italy, June 1994.

M. Bettaz, "Implementation of Tools for the Specification and Validation of ADTs: Application toCommunication Protocols", In: Hartmut Ehrig (Ed.): Proceedings 6th Workshop on Abstract DataType, 1988, University of Berlin, Department of Computer Science, Technical Report.

Supervision (Co-Supervision)

Ph.D. Students (1998 -present)

A transformation approach of UML programs to automata. (in progress)

Building and proving the correctness of e-Learning systems: A categorical approach. (in progress)

A formal Framework for ADLs based on Tile Logics.

Design of an ADL for Distributed and Mobile Applications, Based on Rewriting Logic.

Definition of a formal specification language based on ECATNets.

A Formal Framework for ECATNets Analysis.

High-level algebraic Nets Distributed Simulation Protocols.

Contribution to the Development of Structural Analysis Methods for Algebraic Petri Nets: Applicationto Event Systems in collaboration.

M.Sc. Students (1990-present)

From UML/MARTE Component Based Specifications to CSP-OZ Specifications, 2017.

Using the SRM Sub-Profile for MUSCLE Simulation Platform Modeling, 2017.

A WiMAX uplink scheduling algorithm for multi-rate fairness among fixed and mobile stations.

An improvement on the rotation of R-HEED protocol with energy efficiency evaluation transformingUML/MARTE models to the CSP-OZ language.

Integration of the Object-Z Specification Language into the Hets Platform.

Mondel Specification with ECATNets.

Towards a Formal Specification of Network Management Objects with TROLL Language.

Network Failure Diagnostic: A Petri Net Based approach.

Life Inheritance in Objects: Application to Communication Protocols.

Unifying Concurrency Models through Rewriting Logic: State of the Art and Synthesis.

Unifying Concurrency Models through Rewriting Logic: Application to Event Structures.

Towards Modeling of Information Systems with Coloured Petri Nets.

An XTP Specification Based on two Concurrency Models.


Design and Implementation of a graphical Editor-Simulator for Algebraic Term Nets.

Specification of Concurrent Applications in a Real Time System.

Comparing Estelle and Lotos through their application to a Communication Protocol.

Performance Enhancing of Completion and Rewriting Algorithms.

GREEN: A Tool for the Specification of Communication Protocols.

Implementing Basic Procedures for an Algebraic Specification Environment Algebraic Specification ofa Text Editor.

Refereed Journal Articles and Publications in Conference Proceed-ings

M. Maouche and M. Bettaz, "Towards a UML profile for the simulation domain", Informatica 43(1), pp.53- 64, 2019.

N. Messaoudi, A. Chaoui, M. Bettaz, "A technique to validate automatic generation of Buchi automatafrom UML 2 sequence diagrams based on multi-layer transformations", International Journal of Com-putational Vision and Robotics, 9(2), pp. 172-191, 2019.

M. Bettaz and M. Maouche, "Using UML-MARTE and TCOZ for AAL System Specifications: A CaseStudy", Proc. 7th International Conference on Reliability, Infocom Technologies and Optimization(ICRITO 2018), pp. 29-34, Noida-India, 2017, IEEE Xplore.

Nabil M., Chaoui A., Bettaz M., "An approach to UML consistency checking based on compositionalsemantics", International Journal of Embedded and Real-Time Communication Systems, 8(2), 2017, pp.1-23.

M. Bettaz and M. Maouche, "UML/OCL or Object-Z?", Proc. of the 2017 International Conferenceon Infocom Technologies and Unmanned Systems (ICTUS’2017), pp. 75-80, Dubai-UAE, 2017, IEEEXplore.

M. Bettaz and M. Maouche, "Intentional Modeling with Institution Theory", invited talk, Proc. of the6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017),pp.89-95, Noida-India, 2017, IEEE Xplore.

N. Messaoudi, A. Chaoui, M. Bettaz, "An Approach to UML Consistency Checking Based on Com-positional Semantics", International Journal of Embedded and Real-Time Communication Systems(IJERTCS), Vol.8 No1, 2017.

A.F. Al Azzawi, M. Bettaz and H. M. Al-Refai, "Generating Python Code from Object-Z Specifications",International Journal of Software Engineering & Applications (IJSEA), Vol.8, No.4, 2017.

M. Maouche, M. Bettaz, "Towards a Software Engineering Approach to Multiscale Modeling and Sim-ulation", International Journal of Software Engineering and Its Applications Vol. 10, No.11 (2016), pp.205-218.

N. Messaoudi, A. Chaoui, M. Derardja, M. Bettaz, "On TGG Ability for Transforming UML2 SequenceDiagrams with Imbricate Combined Fragments to π-Calculus Specifications", Procedia Computer Sci-ence 83, Science Direct, Elsevier, pp. 658-664, 2016.


H. Baumeister, M. Bettaz, M. Maouche and M. Mosteghanemi, "An Institution for Object-Z with Inher-itance and Polymorphism", LNCS 8950, Springer, ISSN 0302-9743, pp. 134-154, 2015.

N. Messaoudi, A. Chaoui, M. Bettaz, "An Operational Semantics for UML 2 Sequence Diagrams Sup-ported by Model Transformations", Procedia Computer Science 56, Science Direct, Elsevier, pp. 604 -611, 2015.

M. Garai, M. Mahjoub, S. Rekhis, N. Boudriga, M. Bettaz, "Access and Resources Reservation in 4G-VANETs for Multimedia Applications", LNCS 8629, Springer, ISSN 0302-9743, pp.95-108, 2015.

M. Bettaz, I. Al-Fuqaha, M. Mosteghanemi, and M. Miloudi, "Transferring e-Learning Quality Manage-ment Practices into Face-to-Face Pedagogy", The International Journal of E-Learning and EducationalTechnologies in the Digital Media (IJEETDM) , Vol. 1, No. 1, pp. 1-15, 2014.

M. Bettaz, I. Al-Fuqaha, M. Mosteghanemi, and M. Miloudi, "Reverse-Engineering of e- Learning Qual-ity Management Themes for the Advancement of Face-to-Face Pedagogy", In V. Snasel (ed), procedingsof The International Conference on Digital Information, Networking, and Wireless Communications(DINWC), Ostrava, June 22-24, 2014, Society of Digital Information and Wireless Communications(SDIWC), pp.74-85.

M. Bettaz, M. Maouche and M. Mosteghanemi, "Towards an Institution for Object-Z Specifications",International Journal of Computer Applications in Technology Vol. 47, Nos. 2/3, pp.125-137, 2013.

H. Baumeister, M. Bettaz, M. Maouche and M. Mosteghanemi, "An Object-Z Institution for SpecifyingDynamic Object Behavior", In N. Marti-Oliet, M. Palomino (eds.), Preliminary Proceedings of the 21stInternational Workshop on Algebraic Development Techniques (WADT), Salamanca, Spain, June 2012.

M. Bettaz, M. Maouche, and R. Heckel, "From Graph Transformation to Z Notation", InternationalJournal of Computer Sciences, Systems Engineering and Information Technology, Vol. 1 No. 1, 2008,pp. 45-51.

N. Zeghib, K. Barkaoui and M. Bettaz, "Contextual ECATNets Semantics in Terms of ConditionalRewriting Logic ", AICCSA’2006, IEEE, 2006.

N. Zeghib, M. Bettaz, "CIRTA: A Formal Language for Modular ECATNets Specification", Sciences &Technologies, B - No24, 2005, pp. 47-56.

M. Bettaz, M. Maouche, "Towards Mobile Z Schemas", International Journal of Computer Science &Applications (IJCSA), Vol.2, No.2, pp.101-117, 2005.

N. Zeghib, M. Bettaz, and K. Barkaoui, "CIRTA: An ECATNets Based Model for Embedded SystemsSpecification", June 2005, ESA’05, Las Vegas, Nevada, USA, June 2005.

M. Maouche, M. Bettaz, "Vers une specification de Mobile IP a l’aide de Mobile Z", NOTERE’05,Gatineau, Canada, August 2005, pp.3-9.

M. Bettaz, I. Al-Fuqaha, "Online Training Course", 4th Global Conference, Prague, Czech Repub-lic, 2005, http://www.inter-disciplinary.net/at-the-interface/ education/idea-of- education/project-archives/4th/session-4-global-education-online-training-and-the-age-of-the- internet/

N. Zeghib, M. Bettaz, "On Synchronous and Asynchronous Communication in Modular High LevelNets: the Case of ECATNets", ICTTA’2004, IEEE, 2004.

M. Bettaz , M. Maouche, and R. Heikel, "On the Formalization of Software Architectures", IFIP WG1.3meeting, Barcelona, Spain, March 2004.


F. Belala, M. Bettaz, "A Natural Semantic Framework for ECATNets", J. of Applied Categorical Struc-tures, Kluwer Academic Publishers, 10 (5): 431-447, 2002.

F. Belala, M. Bettaz and L. Petrucci, "Concurrent Systems Analysis Using ECATNets", L. J. of the IGPL,Vol.8 No.2, Oxford University Press, pp. 149-164, 2000.

M. Bettaz, "Object Based Software Engineering with Hidden Sorted ECATNets and Hidden LabelledRewriting Logic", AICCSA’2001, IEEE, pp. 386-391, 2001.

H. Bennoui, M. Maouche and M. Bettaz, "Une approche pour le diagnostic des pannes dans les re-seaux", CFIP’99, Hermes, France, 1999.

M Bettaz, M. Maouche and K. Barkaoui, "De l’heritage du cycle de vie dans les objets: une approchebasee sur les ECATNets", MOSIM’99, SCS International, pp. 125-130, 1999.

Chaoui, M. Bettaz, M. Maouche and K. Barkaoui, "Vers une synthese modulaire des superviseurs dessystemes a evenements discrets: simulation a l’aide du langage MAUDE", MOSIM’99, SCS Interna-tional, pp. 131-136, 1999.

K. Djemame, M. Bettaz, D.C. Gilles and L.M. Mackenzie, "Performance Comparison of High- LevelAlgebraic Nets Distributed Simulation Protocols" (full paper) Journal of Systems Architecture (JSA),44, pp.457-472, 1998.

K. Djemame, M. Bettaz, "Parallel Simulation in Rewriting Logic: Some Observations", PDP’98, IEEE,pp. 197-203, 1998.

S. Rami, C. Bouanaka, M. Bettaz and M. Maouche, "Des reseaux de Petri aux structures d’evenements:application aux systemes de production", 1er Colloque National sur la Productique, Tizi-Ouzou, Alge-ria, pp. 165-170, 1998.

M. Maouche, M. Bettaz, "Vers une approche de specification formelle des protocoles a l’aide de Troll*",CFIP’97, Hermes, France, pp. 145-157, 1997.

M. Maouche, M. Bettaz, G. Berthelot and L. Petrucci, "Du vrai parallelisme dans les reseaux algebriqueset de son application dans les systemes de production", MOSIM’97, Hermes, France, pp. 417-424, 1997.

M. Bettaz, M. Maouche, K. Barkaoui, "Concurrent Bisimulation in Hidden Labelled Rewriting Logic",Proceedings of the International Conference on Computer Simulation, American University of Beirut,Lebanon, pp. 223-230, 1997.

M. Bettaz, M. Maouche, M. Soualmi, K. Barkaoui , "On the Abstract Modelling and Simulation ofCommunication Systems and Protocols Using Rewriting Logic", Proceedings of the International Con-ference on Computer Simulation, American University of Beirut, Lebanon, pp.182-189, 1995.

M. Bettaz, M. Maouche and K. Barkaoui, "Formal Specification of Communication Protocols withObject-Based ECATNets", EUROMICRO-22, IEEE, pp.492-499, 1996.

M. Bettaz, A. Chaoui, and K. Barkaoui, "On Finding Structural Deadlocks in ECATNets Using a Logicof Concurrency", Journal of Computing and Information (JCI), Vol.2, No.1, pp.495-506, 1996.

K. Djemame, D.C. Gilles, L.M. Mackenzie and M. Bettaz, "Distributed Simulation of ECATNets: AConservative Approach", PDP’96, IEEE, pp.518-525, 1996.

M. Bettaz, M. Maouche, "Modeling of Object Based Systems with Hidden Sorted ECATNets", MAS-COTS’95, IEEE, pp. 307-311, 1995.


K. Djemame, M. Bettaz, D.C. Gilles and L.M. Mackenzie, "Time Warp Simulation of ECATNets", 7thEuropean Simulation Symposium, SCS, pp.171-175, 1995.

M. Bettaz, A. Choutri and G. Reggio, "A life-cycle for Parallel and Distributed Systems Based on TwoModels of Concurrency", PDP’94, IEEE, pp. 551-558, 1994.

M. Bettaz, M. Maouche, M. Soualmi and M. Boukebeche, "On Reusing ATNet Modules for ProtocolSpecification", Journal of Systems and Software (JSS), Volume 27, No 2, pp. 119-128, 1994.

M. Maouche, M. Bettaz, "An approach for the treatment of time with RTCATNets", Actes 7eme JISI,Tunis, Tunisia, 1994.

M. Bettaz, M. Maouche, M. Soualmi, and M. Boukebeche, "Protocol Specification Using ECATNets",Reseaux et Informatiques Repartis (Networking and Distributed Computing), Hermes, France, Vol.3No.1, pp.7-35, 1993.

M. Bettaz, A. Mehemmel, "Modelling and Proving of Truly Concurrent Systems with CATNets",PDP’93, IEEE, Los Alamitos, California, 1993, p.265-272.

M. Bettaz, M. Maouche, M. Soualmi and M. Boukebeche, "Compact Modelling and Rapid Prototypingof Communication Software with ECATNets: a Case Study", Simulation Series, Vol.25, N.1, pp.149-154,1993.

M. Bettaz, "Specification hautement compacte et modulaire de l’Ethernet: la station emettrice", CFIP’93,Hermes, France, p.221-236, 1993.

M. Bettaz, M. Maouche, M. Soualmi and M. Boukebeche, "Using ECATNets for specifying communi-cation software in the OSI framework", ICCI’92, IEEE, Los Alamitos, California, 1992, p. 410-413.

M. Bettaz, A. Choutri, "Algebraic term nets: a formalism for specifying communication software in theOSI framework", Oxford University Press, pp. 293-305, 1992.

O. Bounouioua and M. Bettaz, "A graphical editor-simulator for algebraic term nets: a higher- levelnet model for specifying real-size communication protocols", Proceedings of the 2nd Maghrebin Con-ference on Software engineering and Artificial Intelligence, Fondation Nationale de la Recherche Sci-entifique, Tunis,1992.

N. Boudriga, A. Mili, Y. Slimani, A. Alfallah and M. Bettaz, "Success of south-south cooperation-research and education in information sciences in Northern Africa", TSI, Vol. 10, No.1, pp. 65-69,1991.

M. Bettaz, "Reseaux de Petri de haut niveau et types abstraits algebriques pour la specification deprotocoles grandeur nature: application au protocole de liaison du reseau EthernetâAI, Proceedings ofthe First Maghrebin Conference on Artificial Intelligence and Software Engineering, Constantine, 1989.

M. Bettaz, "Les perspectives en matiere de cooperation internationale dans le cadre de la recherche",Actes du Congres International, Education et informatique, 12-21 avril 1989, UNESCO, Paris, France.

V. Janes, M. Bettaz, "Algebraicke specifikace komunikacnich protokolu v distribuovanych systemech",Mikrosystem, Dum Techniky CSVTS Praha, pp.42-53, 1983.

V. Janes, M. Bettaz, "charakteristicke rysy distribuovanych systemu", acta polytechnica, prace CVUT vPraze, III, 14, pp. 127-130, 1982.


Honors, Distinctions and International Recognition

Honorary professor at Amity Institute of Information Technology, India (2017).

Associate Senior Scientist from 1997 to 1999 - Institute for Software Research (Fairmont West VirginiaUSA).

Entry publication in the contemporary Who’s Who of Professionals (2005).

Under my Deanship, the faculty of IT, Philadelphia University got the prize of Al Hussein Fund forExcellency for maintaining best quality standards, assessed by the British Quality Assurance Agency(QAA) (2003).

Prize of the Ministry of Education Algeria (1969).

International Technical Expertise

UNESCO 2003 - present (e-learning, virtual campuses).

ALECSO 2005 (e-learning in the Arab Region).

United Nations 1998-1999 (representative of Algeria for the Y2K compliance problem).

Quality Assurance Experience

Participating in several QA workshops and training sessions among which:

Computer Science follow-up training session, organized by the Al Hussein Fund for Excellence incollaboration with the Quality Assurance Agency for Higher Education (UK).

Promoting and Enhancing the Quality of Accountancy Programs in Jordan, organized by the Al Hus-sein Fund for Excellence in collaboration with the Center for Quality Assurance in International Edu-cation (US).

Member of the team that prepared for self-assessment of computer science programs (PhiladelphiaUniversity Jordan) assessed by the Quality Assurance Agency for Higher Education (UK). PhiladelphiaUniversity was ranked first in computer science programs among all public and private universities inJordan.

e-Learning Experience

Participation in the EU/UNESCO Mediterranean Avicenna virtual campus project as a technical expert(authoring tools, platforms, material development). Participation to the elaboration of the Avicennapedagogical model.

Participating in the UNESCO AVCI project (Iraq) as technical expert.

Participating in the UNESCO AVCA project (West Africa) as technical expert.


Domains of Expertise

e-Learning, distance education, quality assurance, project management, computer and network secu-rity, information security, System and network administration.

Academy-Industry Interaction

This has been my prime focus, and I tried to understand the needs of dynamic IT market and toincorporate them at the institution level through curriculum updating, research projects, grants andassociation with international organizations like EASST, ACS, IFIP and others.

Industry Connections

Participation during the years 1998-1999 to a Euro master program organized by CITCOM (France Tele-com) & EEPAD Annaba (Algeria) using videoconferencing (Paris-Algiers-Annaba-Arzew-HassiMessaoud).The Euro master program was delivered to engineers from Petroleum, Electricity and other industrialcompanies.

Practical Knowledge and Technical Skills

Enterprise networks.

System and network administration.

Web development (PHP, MySQL, JSP, PostgreSQL, . . . ).

Python language and its data science ecosystem.

Tools (Eclipse, Latex, . . . ).

Software Quality Assurance.

Strengths

Positive attitude.

Hardworking.

Social interaction.

Strong experience with international academic staff and students.

Major Projects


Period Stakeholders Subject

2019-present Philadelphia University-Jordan (collabora-tion with Denmark and Estonia)

RT-ThingML: An augmented ThingMLModel Driven Methodology for the Devel-opment of Rigorous Real-Time IoT Services

2018-present Philadelphia University-Jordan TallinnUniversity-Estonia

ErasmusPlus project

2015-2018 Philadelphia University-Jordan An Institutional framework for a formal het-erogeneous software development method-ology based on UML/MARTE, CSP-OZ andPyCSP

2012-2014 Tunisian-Algerian (member of the projectteam)

Security and navigation safety of QoS awareservices in Vehicular Ad hoc Networks

2010-2014 Ministry of Higher Education - Ministry ofJustice Algeria (member of the project team)

Design and implementation of multimediaauthoring tools for lifelong learning

2002-2007 Philadelphia University-Jordan, EU-UNESCO. I participated as technicalexpert (authoring tools and e-Learningplatforms), and contributed to the design ofthe pedagogical model

Avicenna Virtual Campus

1995-1998 Aupel-Uref (International project) Software engineering and distributed sys-tems

1994-1998 CMEP (French-Algerian project) Advanced Petri nets and distributed systems

1996-1998 Algerian Ministry of Higher Education Semantics of concurrency, models and appli-cations

1990-1993 Algerian Ministry of Higher Education Formal Specifications and Distributed Sys-tems

1991-1993 CCST (International project) Algebraic Specifications and Software Engi-neering

1987-1990 Ministry of Higher Education Algeria Knowledge Bases and Distributed Systems

Prof. Dr. Mohamed Bettaz · Prof. Dr. Mohamed Bettaz 3 1977-2014: ( courses include) Abstract data...

Documents

Transcript of Prof. Dr. Mohamed Bettaz · Prof. Dr. Mohamed Bettaz 3 1977-2014: ( courses include) Abstract data...