Ahmed Rezine

ahmed.rezine[email]liu.se (gpg)
Tel: +46 (0)13 28 19 38
Fax: +46 (0)13 14 94 03
Linköping University
SE-581 83 LINKÖPING


Publications
Teaching
Students
Tools

Assistant Professor (forskarassistent) at Linköping University. I look for ways to extend automated verification techniques to computer systems with state spaces of arbitrary size:

My thesis, about the verification of parameterized systems was supervised by Prof.Parosh Abdulla from Uppsala University. I obtained my Engineering degree from Tunisia's Polytechnic School.

I am the leader of the CENIIT 12.04 research project. Several Master's and Bachelor thesis projects are available here. Do not hesitate to contact me if you want to discuss these or other projects.

News



Publications

Journals

Conferences



Teaching

I supervise and teach

Previous Teachings



Students

Current PhD. Students

Previous Master's Students



Tools

I am developing a new prototype PCW to experiment with an original adaptation of counter abstraction for the verification of parameterized systems.

I develop UNDIP for the verification of safety properties for Unbounded Distributed Parametreized systems. UNDIP is a generalization of PFS which verifies the same type of properties for Parameterized Finite state Systems.