We stand with Ukraine  

Naima Jbeli

According to our database1, Naima Jbeli authored at least 4 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification.
[BibTeX]
[DOI]
Naima Jbeli
,
Zohra Sbaï
Int. J. Serv. Sci. Manag. Eng. Technol., 2021

2018
TCTL<sup>Δ</sup><sub>h</sub> Model Checking of Time Petri Nets.
[BibTeX]
[DOI]
Naima Jbeli
,
Zohra Sbaï
,
Rahma Ben Ayed
Trans. Comput. Collect. Intell., 2018

On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$.
[BibTeX]
[DOI]
Naima Jbeli
,
Zohra Sbaï
,
Rahma Ben Ayed
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

2016
On Expressiveness of TCTL<sup>Δ</sup><sub>h</sub> for Model Checking Distributed Systems.
[BibTeX]
[DOI]
Naima Jbeli
,
Zohra Sbaï
,
Rahma Ben Ayed
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016


  Loading...