On Expressiveness of TCTLΔh for Model Checking Distributed Systems. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (ICCCI (1), 2016)

On the Fly Model-Checking of TPN: $$TPN-TCTL^{ varDelta }_{h}$$. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (WorldCIST (2), 2018)

TCTLΔh Model Checking of Time Petri Nets. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (Trans. Comput. Collect. Intell., 2018)

On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification. - Naima Jbeli; Zohra Sbaï (Int. J. Serv. Sci. Manag. Eng. Technol., 2021)