| 2024 | ENASE | Steady-State Energy Consumption Evaluation in BaseBand Units Pool in Cloud Radio Access Network. | Maroua Idi, Sana Youns, Riadh Robbana |
| 2022 | ICCCI | Xtend Transformation from PDDL to Event-B. | Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana |
| 2022 | ICSoft | Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods. | Maroua Idi, Sana Youns, Riadh Robbana |
| 2022 | KES | Validating Event-B models using PDDL. | Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana |
| 2019 | ICTAC | DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. | Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana |
| 2018 | VECoS | Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. | Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana |
| 2017 | AICCSA | Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments. | Imene Ben Hafaiedh, Maroua Ben Slimane, Sourour Haouala, Riadh Robbana |
| 2017 | AICCSA | Elliptic Curve Cryptography on E-Passport Authentication Protocol. | Safa Saoudi, Souheib Yousfi, Riadh Robbana |
| 2016 | AICCSA | Novel time related quality of service criteria. | Taycir Bouasker, Mahjoub Langar, Riadh Robbana |
| 2016 | COMPSAC | Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems. | Brahim Nasraoui, Riadh Robbana |
| 2016 | ICA3PP | A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture. | Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana |
| 2016 | ISCC | NFRs based web services scoring as web service. | Taycir Bouasker, Mahjoub Langar, Riadh Robbana |
| 2016 | ISDA | Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL. | Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana |
| 2016 | WETICE | Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. | Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana |
| 2016 | SoMeT | Web Services Orchestration's Monitor as a Web Service. | Imene Hadded, Mahjoub Langar, Riadh Robbana |
| 2016 | VECoS | ePassport Protocol on the Spi Calculus. | Safa Saoudi, Souheib Yousfi, Riadh Robbana |
| 2015 | AICCSA | A new model for Online Social Networks case of Facebook. | Donia Khemakhem Krid, Naouel Ben Salem Grati, Riadh Robbana |
| 2015 | ICST | Test generation from timed pushdown automata with inputs and outputs. | Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana |
| 2015 | ProvSec | A Formal Dynamic Verification of Choreographed Web Services Conversations. | Karim Dahmani, Mahjoub Langar, Riadh Robbana |
| 2015 | WETICE | Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. | Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana |
| 2010 | CANS | Towards Practical and Secure Coercion-Resistant Electronic Elections. | Roberto Arajo, Narjes Ben Rajeb, Riadh Robbana, Jacques Traor, Souheib Yousfi |
| 2008 | CRiSIS | A new timestamping schema in the Bounded Storage Model. | Assia Ben Shil, Kaouthar Blibech, Riadh Robbana |
| 2008 | CRiSIS | Apport de la cryptographie elliptique dans le vote lectronique. | Souheib Yousfi, Alexis Bonnecaze, Riadh Robbana |
| 2008 | ICDM | Extension of Partitional Clustering Methods for Handling Mixed Data. | Yosr Naja, Salem Chakhar, Kaouthar Blibech, Riadh Robbana |
| 2007 | DEPCoS | Testing Duration Systems using an approximation method. | Lotfi Majdoub, Riadh Robbana |
| 2007 | ISoLA | A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. | Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis |
| 1995 | CAV | From Duration Calculus To Linear Hybrid Automata. | Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana |
| 1995 | CAV | Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. | Ahmed Bouajjani, Riadh Robbana |
| 1994 | CAV | Verification of Context-Free Timed Systems Using Linear Hybrid Observers. | Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |
| 1994 | CONCUR | Verification of Nonregular Temporal Properties for Context-Free Processes. | Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |