Abdelhakim Baouya

23 papers B 1C 4Misc 1Journal 11Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Model-based dependability and performance analysis for satellite systems with collaborative maintenance maneuvers via stochastic games. J. Syst. Softw. Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2025	J	`jnl`	Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations. Ad Hoc Networks Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2025	J	`jnl`	Modeling and analysis of data corruption attacks and energy consumption effects on edge servers using concurrent stochastic games. Soft Comput. Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem
2024	J	`jnl`	Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance. J. Supercomput. Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaz-Nava, Enrico Ferrera
2024	B	`conf`	Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games. SEAA Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2024	J	`jnl`	Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. Internet Things Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem
2023	J	`jnl`	Toward a context-driven deployment optimization for embedded systems: a product line approach. J. Supercomput. Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani
2022	C	`conf`	Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem
2022	J	`jnl`	Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga
2022	J	`jnl`	Learning and analysis of sensors behavior in IoT systems using statistical model checking. Softw. Qual. J. Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
2021	—	`conf`	Component-Based Approach Combining UML and BIP for Rigorous System Design. FACS Salim Chehida, Abdelhakim Baouya, Saddek Bensalem
2021	J	`jnl`	Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Syst. Appl. Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar
2020	Misc	`conf`	Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
2020	C	`conf`	Asset-Driven Approach for Security Risk Assessment in IoT Systems. CRiSIS Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem
2020	—	`conf`	Exploration of Impactful Countermeasures on IoT Attacks. MECO Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem
2020	—	`conf`	Fog Computing and Blockchain for Massive IoT Deployment. MECO Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
2020	—	`conf`	Formal Modeling and Simulation of Collaborative Intelligent Robots. ESOCC Workshops Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga
2020	C	`conf`	Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
2020	—	`conf`	Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems. SAM IoT Xu Tao, Davide Conzon, Enrico Ferrera, Shuai Li, Jürgen Götz, Laurent Maillet-Contoz, Emmanuel Michel, Mario Diaz-Nava, Abdelhakim Baouya, Salim Chehida
2020	—	`conf`	Risk Assessment in IoT Case Study: Collaborative Robots System. SAM IoT Salim Chehida, Abdelhakim Baouya, Miquel Cantero, Paul-Emmanuel Brun, Guillemette Massot
2019	J	`jnl`	Safety analysis of train control system based on model-driven design methodology. Comput. Ind. Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar, Samir Ouchani
2015	J	`jnl`	A quantitative verification framework of SysML activity diagrams under time constraints. Expert Syst. Appl. Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
2015	C	`conf`	On the Probabilistic Verification of Time Constrained SysML State Machines. SoMeT Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani