Amira Methni

According to our database, Amira Methni authored at least 4 papers between 2014 and 2023.

Collaborative distances:

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

2023

Semantics foundations of PsyC based on synchronous Logical Execution Time.

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2016

Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle. (A method for designing critical software system coupled with a formal verification approach).

Amira Methni

PhD thesis, 2016

2015

State Space Reduction Strategie for Model Checking Concurrent C Programs.

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

2014

Specifying and Verifying Concurrent C Programs with TLA+.

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014