Aziz Sfar

According to our database, Aziz Sfar authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.

Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers.

Aziz Sfar, Dina Irofti, Madalina Croitoru

Proceedings of the Foundations of Information and Knowledge Systems, 2022