Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Riadh Robbana
2010 – today
- 2013
[j6]Lilia Sfaxi, Takoua Abdellatif, Riadh Robbana, Yassine Lakhnech: Information flow control of component-based distributed systems. Concurrency and Computation: Practice and Experience 25(2): 161-179 (2013)- 2012
- [j5]Lilia Sfaxi, Takoua Abdellatif, Yassine Lakhnech, Riadh Robbana: Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information. Technique et Science Informatiques 31(2): 245-279 (2012)
- 2011
- [c15]Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yassine Lakhnech: Automating information flow control in component-based distributed systems. CBSE 2011: 73-82
- 2010
- [c14]Roberto Araujo, Narjes Ben Rajeb, Riadh Robbana, Jacques Traoré, Souheib Yousfi: Towards Practical and Secure Coercion-Resistant Electronic Elections. CANS 2010: 278-297
2000 – 2009
- 2009
- [j4]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)
- [c13]Lotfi Majdoub, Riadh Robbana: Test Cases Generation for Nondeterministic Duration Systems. MSVVEIS 2009: 14-23
- 2008
- [c12]Souheib Yousfi, Alexis Bonnecaze, Riadh Robbana: Apport de la cryptographie elliptique dans le vote électronique. CRiSIS 2008: 185-192
- [c11]Assia Ben Shil, Kaouthar Blibech, Riadh Robbana: A new timestamping schema in the Bounded Storage Model. CRiSIS 2008: 199-205
- [c10]Yosr Naïja, Salem Chakhar, Kaouthar Blibech, Riadh Robbana: Extension of Partitional Clustering Methods for Handling Mixed Data. ICDM Workshops 2008: 257-266
- 2007
- [c9]Lotfi Majdoub, Riadh Robbana: Testing Duration Systems using an approximation method. DepCoS-RELCOMEX 2007: 119-126
- [c8]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
- [c7]
- 2004
- [j3]Narjes Berregeb, Riadh Robbana, Ashish Tiwari: Towards automated proofs of observational properties. Discrete Mathematics & Theoretical Computer Science 6(2): 143-162 (2004)
- [j2]Narjes Berregeb, Riadh Robbana: On the Verification by Approximation of Duration Systems. Int. Arab J. Inf. Technol. 1(2): 147-155 (2004)
- 2003
- [j1]Riadh Robbana: Verification of Duration Systems Using an Approximation Approach. J. Comput. Sci. Technol. 18(2): 153-162 (2003)
1990 – 1999
- 1995
- [c6]Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana: From Duration Calculus To Linear Hybrid Automata. CAV 1995: 196-210
- [c5]Ahmed Bouajjani, Riadh Robbana: Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. CAV 1995: 437-450
- 1994
- [c4]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994: 118-131
- [c3]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Nonregular Temporal Properties for Context-Free Processes. CONCUR 1994: 81-97
- [c2]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT 1994: 193-210
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-14 21:58 CET by the dblp team