Chiheb Ameur Abid

According to our database, Chiheb Ameur Abid authored at least 16 papers between 2007 and 2023.

Collaborative distances:

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

2023

Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the 9th International Conference on Control, 2023

A Reduced Distributed Sate Space for Modular Petri Nets.

Sawsen Khlifa, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the Advanced Information Networking and Applications, 2023

2022

Optimal Supervisory Control of Opacity for Modular Systems.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

At Design-Time Approach for Supervisory Control of Opacity.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the Cooperative Information Systems - 28th International Conference, 2022

Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the 8th International Conference on Control, 2022

2021

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.

Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

2020

SOG-Based Multi-Core LTL Model Checking.

Chiheb Ameur Abid, Kaïs Klai, Jaime Arias, Hiba Ouni

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

2019

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

2017

A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the SCSS 2017, 2017

Parallel Symbolic Observation Graph.

Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

2014

An Active Controller Based on Parikh Vectors.

Chiheb Ameur Abid, Soukaina Ben Mohamed, Belhassen Zouari

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Local Verification Using a Distributed State Space.

Chiheb Ameur Abid, Belhassen Zouari

Fundam. Informaticae, 2013

2010

Synthesis of controllers for symmetric systems.

Chiheb Ameur Abid, Belhassen Zouari

Int. J. Control, 2010

Decentralised Active Controller.

Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the ICINCO 2010, 2010

2007

A distributed verification approach for modular Petri nets.

Chiheb Ameur Abid, Belhassen Zouari

Proceedings of the 2007 Summer Computer Simulation Conference, 2007