Get started
Author

Brahim Djoudi

Observed name: Brahim DJOUDI
ORCID: 0000-0002-7924-2939
Observed ORCID: 0000-0002-7924-2939
OpenAlex ID: A5024239240
A formal framework for context-aware systems specification and verification
2015 · Brahim Djoudi, Chafia Bouanaka, et al. · Journal of Systems and Software · 20
Impact of COVID-19 Lockdown on Children’s Health in North Africa
2022 · Marwa Benmerzoug, Brahim Djoudi, et al. · Maternal and Child Health Journal · 14
Potential of Halophilic Penicillium chrysogenum Isolated from Algerian Saline Soil to Produce Laccase on Olive Oil Wastes
2022 · Zeyneb Boucherit, Sigrid Flahaut, et al. · Current Microbiology · 8
PDF
Model Checking Pervasive Context-Aware Systems
2014 · Brahim Djoudi, Chafia Bouanaka, et al. · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · 8
On Specifying Reconfigurable Component-Based Systems Using Strategies
2014 · Brahim Djoudi, Chafia Bouanaka, et al. · Lecture notes in computer science · 2
Exploring the link between pancreatic cancer and key risk factors: insights from decade-long study in Eastern Algeria
2025 · Imene Hamiouda, Brahim Djoudi, et al. · Annals of Pancreatic Cancer · 1
Formal Specification of Non-Functional Properties of Context-Aware Systems
2021 · Brahim Djoudi, Chafia Bouanaka, et al. · International Journal of Organizational and Collective Intelligence · 1
Case-control study on the association of angiotensin-converting enzyme gene I/D rs4646944 single nucleotide polymorphism and young-onset cryptogenic ischemic stroke in an Algerian cohort
2026 · Mohamed Lebsir, Mohamed Larbi Rezgoun, et al. · Jornal Vascular Brasileiro
PDF
Association between C677T variant of methylene tetrahydrofolate reductase and hypospadias risk in Algeria
2025 · Rania Laouar, Djalila Chellat-Rezgoune, et al. · The Turkish Journal of Pediatrics
PDF
The effect of inflammatory factors on the buccal cavity in asthmatics and asthmatics obese in east of Algeria
2024 · Afnane DEBBACHE, Ines D. DAHMANI, et al. · Notulae Scientia Biologicae
PDF
Impact of Covid-19 Lockdown on Adults’ Health in North Africa
2021 · Afnane Debbache, Ines Dahbia Dehmani, et al. · International Journal of Medical Science and Health Research
PDF
On specifying and verifying context-aware systems
2015 · Brahim Djoudi, Chafia Bouanaka, et al.
On Specifying and Verifying Context-aware Systems
2014 · Brahim Djoudi, Chafia Bouanaka, et al. · International Conference on Software Paradigm Trends (ICSOFT-PT)
Works count: 13
Citation count: 54
H-index: 4
I10-index: 2
Year
Topic
Type