Chiheb Ameur Abid

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 11

Top Topics

Temporal Properties

Discrete Event Systems

Supervisory Control

Top Venues

ISPA/BDCloud/SocialCom/SustainCom

Fundam. Informaticae

Publications

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. CoDIT (2023)
Sawsen Khlifa, Chiheb Ameur Abid, Belhassen Zouari
A Reduced Distributed Sate Space for Modular Petri Nets. AINA (1) (2023)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
At Design-Time Approach for Supervisory Control of Opacity. CoopIS (2022)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Optimal Supervisory Control of Opacity for Modular Systems. ISPA/BDCloud/SocialCom/SustainCom (2022)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control. CoDIT (2022)
Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. VECoS (2021)
Chiheb Ameur Abid, Kaïs Klai, Jaime Arias, Hiba Ouni
SOG-Based Multi-Core LTL Model Checking. ISPA/BDCloud/SocialCom/SustainCom (2020)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph. ACSD (2019)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
Parallel Symbolic Observation Graph. ISPA/IUCC (2017)
Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. SCSS (2017)
Chiheb Ameur Abid, Soukaina Ben Mohamed, Belhassen Zouari
An Active Controller Based on Parikh Vectors. WODES (2014)
Chiheb Ameur Abid, Belhassen Zouari
Local Verification Using a Distributed State Space. Fundam. Informaticae 125 (1) (2013)
Chiheb Ameur Abid, Belhassen Zouari
Decentralised Active Controller. ICINCO (2) (2010)
Chiheb Ameur Abid, Belhassen Zouari
Synthesis of controllers for symmetric systems. Int. J. Control 83 (11) (2010)
Chiheb Ameur Abid, Belhassen Zouari
A distributed verification approach for modular Petri nets. SCSC (2007)