Concepedia

Abdelhakim Baouya

AB

5

Publications

67

Citations

5

H-Index

2015

Active since

Affiliations

University of Bouira(Current)

Concordia University

University of Blida

University of Sciences and Technology Houari Boumediene

University of Luxembourg

Abdelhakim Baouya is an author at University of Bouira specializing in engineering, systems engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProcess ControlSoftware DesignAutomated ReasoningReliability Engineering

Publications per year

2015–2021

5

Publications

5

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking

Abdelhakim Baouya, Otmane Aı̈t Mohamed, Samir Ouchani et al. · Expert Systems with Applications · 2021 · 16 citations

Software Maintenance, Software Reliability Testing, Reliability Engineering +15

Safety analysis of train control system based on model-driven design methodology

Abdelhakim Baouya, Otmane Aı̈t Mohamed, Djamal Bennouar et al. · Computers in Industry · 2018 · 15 citations

Safety Engineering, Railway Traffic, Train Control System +12

A quantitative verification framework of SysML activity diagrams under time constraints

Abdelhakim Baouya, Djamal Bennouar, Otmane Aı̈t Mohamed et al. · Expert Systems with Applications · 2015 · 14 citations · Full text

Engineering, Formal Modeling, Automated Reasoning +14

Fog Computing and Blockchain for Massive IoT Deployment

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem et al. · 2020 · 12 citations

Engineering, Fog Computing Security, Smart City +16

A probabilistic and timed verification approach of SysML state machine diagram

Abdelhakim Baouya, Djamal Bennouar, Otmane Aı̈t Mohamed et al. · 2015 · 10 citations

Engineering, Prism Language, Verification +17

Rows per page

1–5 of 5