Personal information

Websites & social links

http://www.univ-constantine2.dz/blog/profil-enseignant/belala-faiza/

Other IDs

SciProfiles: 2052617

Keywords

Formal methods-software engineering

Countries

Algeria

Activities

Collapse all

Works (7)

A Strategy-Based Formal Approach for Fog Systems Analysis

Future Internet
2022-02 | Journal article | Author
DOI: 10.3390/fi14020052
Contributors: souad marir; Faiza belala; Nabil Hameurlain
Source: check_circle
Multidisciplinary Digital Publishing Institute

A Formal Framework for Secure Fog Architectures

International Journal of Organizational and Collective Intelligence
2021-04-01 | Journal article | Author
DOI: 10.4018/IJOCI.2021040103
Part of ISSN: 1947-9344
Contributors: Zakaria Benzadri; Ayoub Bouheroum; Faiza belala
Source: check_circle
IGI Global

Design Patterns Formal Composition and Analysis

International Journal of Information Technologies and Systems Approach
2019-07-01 | Journal article | Author
DOI: 10.4018/IJITSA.2019070101
Part of ISSN: 1935-570X
Contributors: Halima Douibi; Faiza belala
Source: check_circle
IGI Global

A Formal Framework for Scalable Component-Based Systems

International Journal of Information System Modeling and Design
2017-01-01 | Journal article
DOI: 10.4018/IJISMD.2017010101
Part of ISSN: 1947-8186
Contributors: Chafia Bouanaka; Ahmed A. Debza; Faiza Belala; Nadia Zeghib
Source: check_circle
IGI Global

A Formal Framework for Cloud Systems

Delivery and Adoption of Cloud Computing Services in Contemporary Organizations
2015-03-31 | Book chapter | Author
DOI: 10.4018/978-1-4666-8210-8.ch010
Part of ISBN: 9781466682108
Contributors: Zakaria Benzadri; Chafia Bouanaka; Faiza belala
Source: check_circle
IGI Global

Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems

International Journal of Adaptive, Resilient and Autonomic Systems
2014-10-01 | Journal article | Author
DOI: 10.4018/ijaras.2014100101
Part of ISSN: 1947-9220
Contributors: Taha A. Cherfia; Faiza belala
Source: check_circle
IGI Global

RDTA

International Journal of Embedded and Real-Time Communication Systems
2014-07-01 | Journal article
DOI: 10.4018/ijertcs.2014070103
Part of ISSN: 1947-3176
Contributors: Fateh Latreche; Faiza Belala
Source: check_circle
IGI Global

Peer review (1 review for 1 publication/grant)

Review activity for International journal of service science, management, engineering and technology. (1)
How many people are using ORCID?