A Cotutelle Thesis between Sorbonne University and Biskra University
Ph.D Student Supervisors: Pascal Poizat, kahloul Laid, and Baarir souheib
Scientific (projects and working groups)
Since-2017
ANR PARDI project
Generic Programme, National Agency for Research
Scientific member for the LIP6 lab.
pedagogic
2020/2021
Teaching Assistant in Computer Science Montpellier University, LIRMM Lab.
2019/2020
Teaching Assistant in Computer Science Paris-Nanterre University, LIP6 lab.
Before
Education
2014-2016
Master of Software Engineering and Distributed Systems
Biskra University
2011-2014
Licence in Software Engineering
Constantine 2 University
Awards
2019
Best Paper Award
BPM Conference
2016
Graduation Honor for overall undergraduate excellence
Biskra University
Professional Formations
2014-1016
Cisco Certified Network professional Associate
CCNA1, CCNA2, CCNA3, CCNA4
2013
Android Developpement
ITM School
Research Interests
Formal Methods
Business Process Management and Technologies
Software Engineering
Publications
2021
Sara Houhou, Souheib Baarir, Sara Houhou, Philippe Quéinnec, and Laïd Kahloul A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations. In: Information Systems,
pp. , Elsevier, 2021.
2021
Sara Houhou, Souheib Baarir, Sara Houhou, and Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. In: 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021),
pp. , SCITEPRESS, 2021.
2019
Sara Houhou, Souheib Baarir, Sara Houhou, and Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. In: 17th International Conference on Business Process Management (BPM),
pp. 52–68, Springer, 2019.
2018
Sara Houhou, Laid Kahloul, Saber Benharzalah, and Roufeida Bettira. Transformation of
High Level Specification Towards nesC Code. In: 2nd International
Conference on Real Time Intelligent Systems (RTIS),
pp. 275–284, Springer, 2018.
2017
Sara Houhou, Laid Kahloul, Saber Benharzalah, and Roufeida Bettira. A Framework for
Automatic Development of Embedded Systems. In: 1st International
Conference on Mathematics and Information Technology (ICMIT),
pp. 98–105, IEEE, 2017.
2017
Sara Houhou, Laid Kahloul, Saber Benharzalah, and Roufeida Bettira. Framework for Wireless Sensor Networks Code Generation from Formal Specification. In: 1st International
6th International Conference on Software Engineering and Applications (SEAS 2017) ,
pp. 35–52, Dubai, AIRCC, 2017.