Short biography
I am a telecommunication engineer from Sup-Com Tunis (2005). From 2005 to 2009 I programmed embedded systems for various applications. In 2010, I joined the algorithmic program verification
group at the department of information technology
of Uppsala University
as a PhD student under the supervision of Pr Parosh Aziz Abdulla
, Pr Bengt Jonsson
and Dr Mohamed Faouzi Atig
.
Research
My research is about the verification of Sensor and Ad Hoc Networks (WSNs). These networks represent an interesting area of research for the fundamental problems they pose but also for the multitude of applications they can have. In fact, WSNs are typically composed of autonomous communicative devices with varying communication topologies and harsh energy constraints. Their applications range from air pollution, waste water to machine health monitoring.
WSNs turn out to be powerful computation models for which checking basic safety properties such as reachability is undecidable in the general case. We are therefor interested in defining under which conditions some verification work can be conducted.
I was also involved in a line of research where concurrent programs were verified by translating them into a sequential programs (See paper and prototype
).
Publications
Conference Papers
- Verification of Buffered Dynamic Register Automata
(slides
). Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine in the International Conference on Networked Systems, NETYS 2015, May 13-15, 2015, Agadir, Morocco.
- Verification of Dynamic Register Automata
(slides
). Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine in 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India.
- Verification of Directed Acyclic Ad Hoc Networks
(slides
). Parosh Aziz Abdulla, Mohamed Faouzi Atig and Othmane Rezine in Proc. 33rd Formal Techniques for Distributed Systems (FMOODS/FORTE 2013), 2013.
- Multi-Pushdown Systems with Budgets
. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine and Jari Stenman in Proc. 12th Formal Methods for Computer-Aided Design (FMCAD'2012).
- On the Verification of Timed Ad Hoc Networks
. Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso in Proc. 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'2011), in press, 2011.
Journal Papers
- Budget-bounded model-checking pushdown systems
. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine and Jari Stenman in Proc. Formal Methods in System Design, Volume 45, Number 2, October 2014, Special issue on FMCAD 2012, pages 273-301.
Tool Papers
- MPass: An Efficient Tool for the Analysis of Message-Passing Programs
(slides
). Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini in Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers.
Courses
Current courses:
Year | Semester | Course |
---|---|---|
2015 | Fall | Introduction to Systems and Technology in Society, IT part (5LH220)![]() |
2015 | Fall | Algorithms and Data Structures I (1DL210)![]() |
Past courses:
Year | Semester | Course |
---|---|---|
2014 | Fall | Introduction to Systems and Technology in Society, IT part (5LH220)![]() |
2014 | Fall | Programming (1DT042)![]() |
2014 | Summer | Introduction to Information Technology![]() |
2013 | Fall | Programming Theory![]() |
2013 | Fall | STS Introductory Course, IT part |
2012 | Fall | Programming Theory![]() |
2012 | Spring | Programming Embedded Systems![]() |
2011 | Spring | Programming Embedded Systems![]() |
2011 | Spring | Computer Networks I![]() |
2010 | Fall | Computer Networks I![]() |