Belhassen Mazigh

According to our database, Belhassen Mazigh authored at least 16 papers between 1993 and 2019.

Collaborative distances:

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

2019

Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems.

Ezzine Missaoui, Belhassen Mazigh, Vincent Hilaire, Sami Bhiri

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

2018

A Decomposition-based Approach of Global Norms for Hierarchical Normative Systems.

Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

2017

A Normative Model for Holonic Multi-agent Systems.

Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

NCRIO: A Normative Holonic Metamodel for Multi-agent Systems.

Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire

Proceedings of the Hybrid Artificial Intelligent Systems - 12th International Conference, 2017

A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP.

Aida Boudhaouia, Belhassen Mazigh, Ezzine Missaoui

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2015

The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation.

Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

2014

Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security.

Mohamed Garoui, Belhassen Mazigh, Béchir el Ayeb, Abderrafiaa Koukam

CoRR, 2014

2013

Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains.

Belhassen Mazigh, Mohamed Garoui, Abder Koukam

J. Simulation, 2013

A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs.

Belhassen Mazigh, Kais Ben Fadhel

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Adapting and Extended ASPECS Methodology to Support the Goal Concept.

Mohamed Garoui, Belhassen Mazigh

Proceedings of the 3rd International Conference on Ambient Systems, 2012

To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification.

Belhassen Mazigh, Ahmed Hammed, Vincent Hilaire

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

2011

Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company.

Belhassen Mazigh, Vincent Hilaire, Abderrafiaa Koukam

Proceedings of the Advances on Practical Applications of Agents and Multiagent Systems, 2011

1998

Modeling and quantitative analysis of discrete event systems: A statecharts based approach.

Pablo Gruer, Abder Koukam, Belhassen Mazigh

Simul. Pract. Theory, 1998

An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems.

Belhassen Mazigh, Pablo Gruer, Abder Koukam

Proceedings of the 12^th European Simulation Multiconference - Simulation, 1998

1996

An Optimization Approach of Complex Discrete Event Systems.

Belhassen Mazigh, Pablo Gruer, Abder Koukam

Proceedings of the Modelling and Simulation, 1996

1993

GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system.

Belhassen Mazigh, Julien Gresser, François Simon

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993