Naima Jbeli

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 4

Top Topics

Epistemic Logic

Formal Verification

Transition Systems

Top Venues

Trans. Comput. Collect. Intell.

Int. J. Serv. Sci. Manag. Eng. Technol.

Publications

Naima Jbeli, Zohra Sbaï
On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification. Int. J. Serv. Sci. Manag. Eng. Technol. 12 (4) (2021)
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$. WorldCIST (2) (2018)
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
Model Checking of Time Petri Nets. Trans. Comput. Collect. Intell. 30 (2018)
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
for Model Checking Distributed Systems. ICCCI (1) (2016)