Riadh Robbana Vis

*	2009
15		Lotfi Majdoub, Riadh Robbana: Test Cases Generation for Nondeterministic Duration Systems. MSVVEIS 2009: 14-23
14	EE	Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili: Verifying Multithreaded Recursive Programs with Integer Variables. Electr. Notes Theor. Comput. Sci. 239: 143-154 (2009)
	2008
13	EE	Yosr Naïja, Salem Chakhar, Kaouthar Blibech, Riadh Robbana: Extension of Partitional Clustering Methods for Handling Mixed Data. ICDM Workshops 2008: 257-266
	2007
12	EE	Lotfi Majdoub, Riadh Robbana: Testing Duration Systems using an approximation method. DepCoS-RELCOMEX 2007: 119-126
11		Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis: A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA 2007: 191-202
	2006
10		Lotfi Majdoub, Riadh Robbana: Test Purpose of Duration Systems. MSVVEIS 2006: 67-75
	2004
9	EE	Narjes Berregeb, Riadh Robbana, Ashish Tiwari: Towards automated proofs of observational properties. Discrete Mathematics & Theoretical Computer Science 6(2): 143-162 (2004)
8	EE	Narjes Berregeb, Riadh Robbana: On the Verification by Approximation of Duration Systems. Int. Arab J. Inf. Technol. 1(2): 147-155 (2004)
	2003
7	EE	Riadh Robbana: Verification of Duration Systems Using an Approximation Approach. J. Comput. Sci. Technol. 18(2): 153-162 (2003)
	1995
6	EE	Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana: From Duration Calculus To Linear Hybrid Automata. CAV 1995: 196-210
5	EE	Ahmed Bouajjani, Riadh Robbana: Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. CAV 1995: 437-450
	1994
4	EE	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994: 118-131
3	EE	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Nonregular Temporal Properties for Context-Free Processes. CONCUR 1994: 81-97
2		Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT 1994: 193-210
1		Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. Hybrid Systems 1994: 64-85

Coauthor Index

1	Saddek Bensalem	[11]
2	Narjes Berregeb	[8] [9]
3	Ahmed Bouajjani	[1] [2] [3] [4] [5] [6]
4	Salem Chakhar	[13]
5	Rachid Echahed	[1] [2] [3] [4]
6	Moez Krichen	[11]
7	Yassine Lakhnech	[6]
8	Lotfi Majdoub	[10] [11] [12] [15]
9	Yosr Naïja	[13]
10	Brahim Nasraoui	[14]
11	Narjes Ben Rajeb	[14]
12	Kaouthar Blibech Sinaoui (Kaouthar Blibech)	[13]
13	Ashish Tiwari	[9]
14	Tayssir Touili	[14]
15	Stavros Tripakis	[11]

Colors in the list of coauthors