dblp.uni-trier.dewww.uni-trier.de

Riadh Robbana

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EEYosr Naija, Salem Chakhar, Kaouthar Blibech, Riadh Robbana: Extension of Partitional Clustering Methods for Handling Mixed Data. ICDM Workshops 2008: 257-266
2007
12EELotfi 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
9EENarjes Berregeb, Riadh Robbana, Ashish Tiwari: Towards automated proofs of observational properties. Discrete Mathematics & Theoretical Computer Science 6(2): 143-162 (2004)
8EENarjes Berregeb, Riadh Robbana: On the Verification by Approximation of Duration Systems. Int. Arab J. Inf. Technol. 1(2): 147-155 (2004)
2003
7EERiadh Robbana: Verification of Duration Systems Using an Approximation Approach. J. Comput. Sci. Technol. 18(2): 153-162 (2003)
1995
6 Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana: From Duration Calculus To Linear Hybrid Automata. CAV 1995: 196-210
5 Ahmed Bouajjani, Riadh Robbana: Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. CAV 1995: 437-450
1994
4 Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994: 118-131
3 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

1Saddek Bensalem [11]
2Narjes Berregeb [8] [9]
3Kaouthar Blibech [13]
4Ahmed Bouajjani [1] [2] [3] [4] [5] [6]
5Salem Chakhar [13]
6Rachid Echahed [1] [2] [3] [4]
7Moez Krichen [11]
8Yassine Lakhnech [6]
9Lotfi Majdoub [10] [11] [12]
10Yosr Naija [13]
11Ashish Tiwari [9]
12Stavros Tripakis [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)