Verification of Context-Free Timed Systems Using Linear Hybrid Observers. - Ahmed Bouajjani; Rachid Echahed; Riadh Robbana (CAV, 1994)

Verification of Nonregular Temporal Properties for Context-Free Processes. - Ahmed Bouajjani; Rachid Echahed; Riadh Robbana (CONCUR, 1994)

Verfying Invariance Properties of Timed Systems with Duration Variables. - Ahmed Bouajjani; Rachid Echahed; Riadh Robbana (FTRTFT, 1994)

On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. - Ahmed Bouajjani; Rachid Echahed; Riadh Robbana (Hybrid Systems, 1994)

From Duration Calculus To Linear Hybrid Automata. - Ahmed Bouajjani; Yassine Lakhnech; Riadh Robbana (CAV, 1995)

Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. - Ahmed Bouajjani; Riadh Robbana (CAV, 1995)

Spécification et vérification de systèmes hybrides. (Specification and verification of hybrid systems). - Riadh Robbana (1995)

Verification of Duration Systems Using an Approximation Approach. - Riadh Robbana (J. Comput. Sci. Technol., 2003)

Towards automated proofs of observational properties. - Narjes Berregeb; Riadh Robbana; Ashish Tiwari 001 (Discret. Math. Theor. Comput. Sci., 2004)

On the Verification by Approximation of Duration Systems. - Narjes Berregeb; Riadh Robbana (Int. Arab J. Inf. Technol., 2004)

Test Purpose of Duration Systems. - Lotfi Majdoub; Riadh Robbana (MSVVEIS, 2006)

Testing Duration Systems using an approximation method. - Lotfi Majdoub; Riadh Robbana (DepCoS-RELCOMEX, 2007)

A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. - Saddek Bensalem; Moez Krichen; Lotfi Majdoub; Riadh Robbana; Stavros Tripakis (ISoLA, 2007)

A new timestamping schema in the Bounded Storage Model. - Assia Ben Shil; Kaouthar Blibech; Riadh Robbana (CRiSIS, 2008)

Apport de la cryptographie elliptique dans le vote électronique. - Souheib Yousfi; Alexis Bonnecaze; Riadh Robbana (CRiSIS, 2008)

Extension of Partitional Clustering Methods for Handling Mixed Data. - Yosr Naïja; Salem Chakhar; Kaouthar Blibech; Riadh Robbana (ICDM Workshops, 2008)

Test Cases Generation for Nondeterministic Duration Systems. - Lotfi Majdoub; Riadh Robbana (MSVVEIS, 2009)

Verifying Multithreaded Recursive Programs with Integer Variables. - Narjes Ben Rajeb; Brahim Nasraoui; Riadh Robbana; Tayssir Touili (INFINITY, 2009)

Towards Practical and Secure Coercion-Resistant Electronic Elections. - Roberto Araújo 001; Narjes Ben Rajeb; Riadh Robbana; Jacques Traoré; Souheib Yousfi (CANS, 2010)

Automating information flow control in component-based distributed systems. - Takoua Abdellatif; Lilia Sfaxi; Riadh Robbana; Yassine Lakhnech (CBSE, 2011)

Watermarking in e-voting for large scale election. - Souheib Yousfi; Stéphane Derrode; Riadh Robbana (ICMCS, 2012)

A New PVSS Scheme with a Simple Encryption Function. - Assia Ben Shil; Kaouthar Blibech; Riadh Robbana; Wafa Neji (SCSS, 2012)

Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information. - Lilia Sfaxi; Takoua Abdellatif; Yassine Lakhnech; Riadh Robbana (Tech. Sci. Informatiques, 2012)

Information flow control of component-based distributed systems. - Lilia Sfaxi; Takoua Abdellatif; Riadh Robbana; Yassine Lakhnech (Concurr. Comput. Pract. Exp., 2013)

A new model for Online Social Networks case of Facebook. - Donia Khemakhem Krid; Naouel Ben Salem Grati; Riadh Robbana (AICCSA, 2015)

Test generation from timed pushdown automata with inputs and outputs. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (ICST Workshops, 2015)

A Formal Dynamic Verification of Choreographed Web Services Conversations. - Karim Dahmani; Mahjoub Langar; Riadh Robbana (ProvSec, 2015)

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (WETICE, 2015)

Novel time related quality of service criteria. - Taycir Bouasker; Mahjoub Langar; Riadh Robbana (AICCSA, 2016)

Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems. - Brahim Nasraoui; Riadh Robbana (COMPSAC Workshops, 2016)

A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture. - Imene Ben Hafaiedh; Maroua Ben Slimane; Riadh Robbana (ICA3PP, 2016)

Verification and validation of PDDL descriptions using Event-B formal method. - Farah Fourati; Mohamed Tahar Bhiri; Riadh Robbana (ICMCS, 2016)

NFRs based web services scoring as web service. - Taycir Bouasker; Mahjoub Langar; Riadh Robbana (ISCC, 2016)

Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL. - Farah Fourati; Mohamed Tahar Bhiri; Riadh Robbana (ISDA, 2016)

Web Services Orchestration's Monitor as a Web Service. - Imene Hadded; Mahjoub Langar; Riadh Robbana (SoMeT, 2016)

ePassport Protocol on the Spi Calculus. - Safa Saoudi; Souheib Yousfi; Riadh Robbana (VECoS, 2016)

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (WETICE, 2016)

Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments. - Imene Ben Hafaiedh; Maroua Ben Slimane; Sourour Haouala; Riadh Robbana (AICCSA, 2017)

Elliptic Curve Cryptography on E-Passport Authentication Protocol. - Safa Saoudi; Souheib Yousfi; Riadh Robbana (AICCSA, 2017)

Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin. - Maroua Ben Slimane; Imene Ben Hafaiedh; Riadh Robbana (IEEE Des. Test, 2017)

Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol. - Marwa Chaieb; Souheib Yousfi; Pascal Lafourcade 001; Riadh Robbana (EMCIS, 2018)

Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. - Roua Ben Hamouda; Sabrine Boussema; Imene Ben Hafaiedh; Riadh Robbana (VECoS, 2018)

A formal model for the analysis and verification of a pre-emptive round-robin arbiter. - Imene Ben Hafaiedh; Maroua Ben Slimane; Riadh Robbana (Int. J. Crit. Comput. Based Syst., 2018)

DABSTERS: Distributed Authorities using Blind Signature to Effect Robust Security in e-Voting. - Marwa Chaieb; Mirko Koscina; Souheib Yousfi; Pascal Lafourcade 001; Riadh Robbana (ICETE (2), 2019)

DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. - Marwa Chaieb; Mirko Koscina; Souheib Yousfi; Pascal Lafourcade 001; Riadh Robbana (ICTAC, 2019)

DECIDE: A New Decisional Big Data Methodology for a Better Data Governance. - Mohamed Mehdi Ben Aissa; Lilia Sfaxi; Riadh Robbana (EMCIS, 2020)

DCBC: A Distributed High-performance Block-Cipher Mode of Operation. - Oussama Trabelsi; Lilia Sfaxi; Riadh Robbana (ICETE (2), 2020)

A Secure Distributed Hash-Based Encryption Mode of Operation Suited for Big Data Systems. - Oussama Trabelsi; Lilia Sfaxi; Riadh Robbana (ICETE (Selected Papers), 2020)

QoS monitor as a service. - Taycir Bouasker; Mahjoub Langar; Riadh Robbana (Softw. Qual. J., 2020)

Phi: A Generic Microservices-Based Big Data Architecture. - Amine Maamouri; Lilia Sfaxi; Riadh Robbana (EMCIS, 2021)

A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment. - Imene Ben Hafaiedh; Roua Ben Hamouda; Riadh Robbana (Clust. Comput., 2021)

Design and practical implementation of verify-your-vote protocol. - Marwa Chaieb; Souheib Yousfi; Pascal Lafourcade 001; Riadh Robbana (Concurr. Comput. Pract. Exp., 2021)

Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds. - Roua Ben Hamouda; Imene Ben Hafaiedh; Riadh Robbana (Simul. Model. Pract. Theory, 2021)

Xtend Transformation from PDDL to Event-B. - Farah Fourati; Mohamed Tahar Bhiri; Riadh Robbana (ICCCI, 2022)

Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods. - Maroua Idi; Sana Younès; Riadh Robbana (ICSOFT, 2022)

Validating Event-B models using PDDL. - Farah Fourati; Mohamed Tahar Bhiri; Riadh Robbana (KES, 2022)

Steady-State Energy Consumption Evaluation in BaseBand Units Pool in Cloud Radio Access Network. - Maroua Idi; Sana Younès; Riadh Robbana (ENASE, 2024)

Discrete-time Markov decision process for performance analysis of virtual machine allocation schemes in C-RAN. - Sana Younès; Maroua Idi; Riadh Robbana (J. Netw. Comput. Appl., 2024)

Performability analysis of multi-service call admission control schemes in LTE networks. - Sana Younès; Maroua Idi; Riadh Robbana (Int. J. Gen. Syst., 2024)

How to create graphs in hardware-constrained environments? Choosing the best creation approach via machine learning-based predictive models. - Mariem Loukil; Lilia Sfaxi; Riadh Robbana (Int. J. Data Sci. Anal., 2025)

Scaling down to scale up: benchmarking single-machine graph processing frameworks in a hardware-constrained environment. - Mariem Loukil; Lilia Sfaxi; Riadh Robbana (Computing, 2025)