Nombre de documents

6

CV de Amira Methni


Communication dans un congrès5 documents

  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. State Space Reduction Strategie for Model Checking Concurrent C Programs. 9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. CEUR Workshop Proceedings, 1431, pp.65-76. <hal-01242951>
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs. Tenth International Conference on Software Engineering Advances (ISCEA 2015), Nov 2015, Barcelone, Spain. ICSEA 2015 The Tenth International Conference on Software Engineering Advances, 2015, <http://www.ns2.thinkmind.org/index.php?view=article&articleid=icsea_2015_3_20_10379>. <hal-01501469>
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. Specifying and Verifying Concurrent C Programs with TLA+. The 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)., Nov 2014, X, France. pp.12-25, 2014. <hal-01126566>
  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. An Approach for Verifying Concurrent C Programs. 8th Junior Researcher Workshop on Real-Time Computing, Mar 2014, X, France. Proceeedings, pp.33-36, 2014. <hal-01126565>
  • Thamer Louati, Amira Methni, Fouzia Ounnar, Patrick Pujo, Christophe Pistoresi. Contrôle intelligent et isoarchique de flux de personnes basé sur la biométrie et l’infotronique. Ecole Polytechnique de Montreal. 9e Congrès International de Génie Industriel (CIGI 2011), 2011, Saint-Sauveur, Québec, Canada. 12, 13 et 14 octobre 2011, 2011. <hal-01216900>

Chapitre d'ouvrage1 document

  • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui. Specifying and Verifying Concurrent C Programs with TLA+. Formal Techniques for Safety-Critical Systems, 476, Springer, pp.206-222, 2015, Communications in Computer and Information Science. <hal-01242954>