|
||
|
Education: -
Habilitation, Faculty of Sciences of -
Doctorate in Computer Science, University
Joseph Fourier, Grenoble, France, 1992-1995 -
Master in Computer Science (DEA), INPG,
France, 1991-1992 -
Engineering in Computer Science, Faculty of
Sciences of Tunis, Tunisia, 1985-1991 -
Professional Experiences: -
2006-present Director of Studies, -
2004-present, Professor in Computer Science, -
2000-2004, Associate Professor in Computer
Science, -
2000-2003 Chairman of the Applied Mathematics
and -
1995-2000, Associate Professor in Computer Science,
Faculty of Science of Recent Journal Publications (2003-Present) : -
Riadh
Robbana, "Verification of Duration Systems using an Approximation
Approach", In Journal of Computer Science and Technology (JCST),
pp.153-162, Vol 18, No 2, Mars 2003. -
N.Berregeb, R. Robbana and A. Tiwari,
"Towards automated proofs of observational properties", In Discrete
Mathematics and Theoretical Computer Science (DMTCS), Volume 6 No 1 (2004),
pp. 143-162. -
N. Berregeb and R. Robbana, "On the Verification by
Approximation of Duration Systems", In International Arab Journal of
Information Technology (IAJIT), juillet, 2004. Papers Presented at International Conferences : -
S.Bensalem, M.Krichen, L.Majdoub, R.Robbana, S.Tripakis, “A
Simplified Approach for Testing Real-Time Systems Based on Action
Refinement”, submitted in ISoLA Workshop On Leveraging
Applications of Formal Methods, Verification and Validation- ISOLA 2007,
Paris –French , December 2007. -
L.Majdoub and R.Robbana, “Automatic Test of Duration Systems with an
approximation method”, submitted in STV’07 System Testing and Validation
Workshop ,Paris-French , December 2007. -
L.Majdoub and R.Robbana, “Testing Duration Systems using an
approximation method”, accepted in 2nd International Conference on
Dependability of Computer Systems, -
S.Bensalem, M.Krichen, L.Majdoub, R.Robbana, S.Tripakis, “Test
Generation For Duration Systems”, submitted in first International Workshop
on Verification and Evaluation of Computer and Communication Systems –
VECoS’07, -
L.Majdoub and R.Robbana,
"Test Purpose of Duration Systems", ICEIS'06 International
conference on entreprise Information systems, Paphos Chypre, 23-24 May 2006 -
S. Ayadi and R. Robbana. " TMTDGs : A Symbolic Model Structure for Real-Time Systems
Verification" , dans SCI'2004, -
S. Ayadi and R. Robbana. " Un Modele de Structure Symbolique pour la verification des Systemes Temps Reel", dans Conference Internationale
Francophone d'Automatique, (CIFA'2004), Douz,
Tunisie. -
S. Ayadi and R. Robbana, "Symbolic Model
Checking for Real-Time Systems Using Difference Typed Decision Graphs", dans ACS/IEEE International Conference on Computer
Systems and Applications (AICSSA'03). Tunis Tunisie,
juillet 2003. -
S. Ayadi, Y. Lakhnech
and R. Robbana, "Implementation of an Environment of Symbolic Checking
Based on the TDGs", dans
ACS/IEEE International Conference on Computer Systems and Applications
(AICSSA'03). Tunis Tunisie, juillet
2003. -
L. Majdoub and R.
Robbana, "Verification of Duration Systems with one Preemption", dans ACS/IEEE International Conference on Computer
Systems and Applications (AICSSA'03). Tunis Tunisie,
juillet 2003. -
-
K. Barkaoui and R.
Robbana, "On the Authentication Control of Needham-Schroeder Protocol
using Petri Nets", dans International Arab
Conference on Information Technology (ACIT'2003), Egypte.
-
S. Ayadi and R. Robbana, "Using TMTDG
Technique for Symbolic Verification of Real-Time Systems", dans International Information and Telecommunication
Technologies Symposium (I2TS'03), -
-
R. Robbana, "Réduction et
vérification de systemes temps-reel
distribues", Colloque Francophone sur l"Ingenierie
des Protocoles(CFIP'99), Editions Hermes. Nancy
France, avril 1999. -
R.
Robbana, "Verification of Integration Timed Systems", dans 5th Maghrebian Conference
on Software Engineering and Artificial Intelligence (MCSEAI'98). -
A. Bouajjani, Y. Lakhnech and R. Robbana, "From duration calculus to
linear hybrid automata", extended abstract, dans
Second European Workshop on Real-Time and Hybrid Systems. Juin
1995, -
A. Bouajjani, R. Echahed and R.
Robbana, "Verification of context-free timed systems using linear hybrid
observers", dans Computer-Aided Verification
(CAV'94). LNCS 818, Springer Verlag, -
A. Bouajjani, R. Echahed and R.
Robbana, "Verification of non rergular
temporal properties for context-free processes", dans
Conference on Concurrency Theory (CONCUR'94). LNCS 836, Springer Verlag. Uppsala Suede, aout
1994. -
A. Bouajjani, R. Echahed and R.
Robbana, "Verifying invariance properties of timed systems with duration
variables", dans Formal Techniques in Real
time and Fault Tolerant Systems. LNCS 864, Springer Verlag.
Lubeck Allemagne, septembre 1994. -
A. Bouajjani, R. Echahed and R. Robbana, "Decidability results for
the verification problem of pushdown linear hybrid systems", dans Hybrid Systems and Autonomous Control (HSAC'94),
LNCS, Springer Verlag. |
