1 Jan 2026Open access
Towards Scalable Parallel Verification of Multi-Robot Systems In ROS 2 Using Reduced Distributed State SpacePublisher siteIEEE Access, Formal Methods in Verification
Active, last published 2026
In formal methods in verification
Chiheb Ameur
Abid
Scholar“Research focused on Formal Methods in Verification and adjacent fields.”
University of Tunis El Manar
Tunisia
Claim Your ProfileTunisia5
H-index
59
Citations
Chiheb has not officially claimed their profile. If you are Chiheb, claim it free.
Claim Your Profile
Pioneer
LOCKED
Pathfinder
LOCKED
Scholar
EARNED
Innovator
LOCKED
Inventor
LOCKED
Catalyst
LOCKED
Expert
UPGRADE
01 · About the work
What I study
hiheb Ameur Abid is a researcher working on Formal Methods in Verification. A fuller summary will appear once they update their profile.
02 · Reach
Publication output and reach
Chiheb's work has been cited 59 times across 4 active years. Bars show publications per year; the line shows cumulative citation totals across publications first appearing in each year.
03 · Research focus
Topics
Formal Methods in Verification×19Petri Nets in System Modeling×12Business Process Modeling and Analysis×5Software Testing and Debugging Techniques×5Distributed systems and fault tolerance×3
04 · Where I am
Affiliations
Affiliation on published researchTunis El Manar University, TunisiaDrawn from the institution listed on this researcher’s published work.
Research themes (UN SDGs)
05 · Selected work
Recent publications
5 works1 Jan 2025
Local Model Checking on an IoT Based System: Use Case of Cellular M2M in AgriculturePublisher siteLecture notes on data engineering and communications technologies, Cellular Automata and Applications
1 Jul 2024
Local Model Checking on a Modular SystemPublisher site3 Jul 2023
Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory ControlPublisher site1 Jan 20232cites
A Reduced Distributed Sate Space for Modular Petri NetsPublisher siteLecture notes in networks and systems, Petri Nets in System Modeling
Expert Academic Profiles go further
Citation trend analytics, exportable publication records, and direct enquiry routing from industry and funders.
Are you Chiheb?
Claim it to verify your details, connect with industry partners, and explore Fractional Domain Expert opportunities through MARATTO™.
African researchers are full of potential that too often goes unrecognised. Your MARATTO™ profile gives your work the commercial pathway it deserves.
Claim Your Profile
Free to claim · takes a minute to verify it’s you