الصفحة الرئيسية

 

الجدول الدراسي

الأبحاث والمؤلفات

• [1] Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana and Tayssir Touili Verifying Multithreaded Recursive Programs with Integer Variables Electronic Notes in Theoretical Computer Science, Volume 239, Pages 143-154 2009
• [2] Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, and Tayssir Touili Verifying Multithreaded Recursive Programs with Integer Variables In Proc 10th International Workshop on Verification of Infinite-State Systems (INFINITY08) [3]
• [3] Brahim Nasraoui, Syrine Ayadi and Riadh Robbana SBMC Symmetric Bounded Model Checking In Proceedings of the International Workshop on Verification and Evaluation of computer and Communication systems, VECoS 2010, British Computer Society
• [4]Brahim Nasraoui and Riadh Robbana, "A Verification Technique Using Communicating Rewriting Systems" In proceeding of ROIS 2013
• [5] Brahim Nasraoui, Riadh Robbana and Tayssir Touili, "Analysis of Multithreaded Recursive Programs with Floating Point Variables" in VECOS 2013 will be published in BCS
• [6] Brahim Nasraoui, Riadh Robbana, “Reachability Analysis of Multithreaded Programs using Communicating Rewriting Systems In Proceedings of the MVDA 2016, the 5th IEEE Workshop on Modeling and Verifying Distributed Applications, Atlanta, Georgia, USA

جوائز التميز

• شهادة شكر وتقدير من عميد كلية العلوم بتونس– جامعة تونس المنار –للمساهمة في أشغال فريق وحدة تدريس شهادة الإعلامية والانترنت موضوعها "التحكم في أنظمة الاتصال والإعلامية والتدريس عن بعد" خلال السنة الجامعية 2007/2008