Mohamed Ramdani
Orcid: 0000-0002-8723-5827Affiliations:
- University of Biskra, LINFI Laboratory, Computer Science Department, Algeria
- University of Carthage, LISI Laboratory, National Institute of Applied Sciences and Technology, Tunis, Tunisia
- Jinan University, School of Electrical and Information Engineering, Guangzho, China
- University of Tunis El Manar, Tunis, Tunisia
According to our database1,
Mohamed Ramdani
authored at least 10 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 20th International Conference on Informatics in Control, 2023
2021
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2021
2020
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.
Proceedings of the Software Technologies - 15th International Conference, 2020
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.
Proceedings of the 15th International Conference on Software Technologies, 2020
2019
Proceedings of the 14th International Conference on Software Technologies, 2019
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
2018
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.
Proceedings of the 13th International Conference on Software Technologies, 2018