Kamel Boukhelfa

According to our database, Kamel Boukhelfa authored at least 7 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Towards Specification and Analysis of Dependable Cyber-Physical Systems.

Riad Helal, Kamel Boukhelfa, Akram Seghiri, Nabil Hameurlain, Faiza Belala

Proceedings of the Model and Data Engineering - 13th International Conference, 2024

FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems.

Riad Helal, Akram Seghiri, Kamel Boukhelfa, Faiza Belala, Nabil Hameurlain

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2024

2022

A Combined Approach for RT-Systems Development and Analysis: Application to the COVID-19 Fever Detection System.

Kamel Boukhelfa, Faiza Belala

Int. J. Organ. Collect. Intell., 2022

2015

Towards a Formalization of Real-Time Patterns-Based Designs.

Kamel Boukhelfa, Faiza Belala

Proceedings of the Computer Science and Its Applications, 2015

2010

For more understandable UML diagrams.

Kamel Boukhelfa, Faiza Belala, Aicha Choutri, Halima Douibi

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2005

Inter-agent Communications During the Virtual Enterprise Creation.

Kamel Boukhelfa, Mahmoud Boufaïda

Proceedings of the Business Process Management Workshops, 2005

2004

A Generic Multi-Agent Architecture for the Virtual Enterprise.

Kamel Boukhelfa, Mahmoud Boufaïda

Proceedings of the EMISA 2004, 2004