Chiheb Ameur Abid

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