Riadh Robbana

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 31

Top Venues

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Maroua Idi, Sana Younès, Riadh Robbana
Steady-State Energy Consumption Evaluation in BaseBand Units Pool in Cloud Radio Access Network. ENASE (2024)
Sana Younès, Maroua Idi, Riadh Robbana
Discrete-time Markov decision process for performance analysis of virtual machine allocation schemes in C-RAN. J. Netw. Comput. Appl. 225 (2024)
Sana Younès, Maroua Idi, Riadh Robbana
Performability analysis of multi-service call admission control schemes in LTE networks. Int. J. Gen. Syst. 53 (2) (2024)
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
Validating Event-B models using PDDL. KES (2022)
Maroua Idi, Sana Younès, Riadh Robbana
Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods. ICSOFT (2022)
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
Xtend Transformation from PDDL to Event-B. ICCCI (2022)
Roua Ben Hamouda, Imene Ben Hafaiedh, Riadh Robbana
Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds. Simul. Model. Pract. Theory 111 (2021)
Imene Ben Hafaiedh, Roua Ben Hamouda, Riadh Robbana
A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment. Clust. Comput. 24 (4) (2021)
Amine Maamouri, Lilia Sfaxi, Riadh Robbana
Phi: A Generic Microservices-Based Big Data Architecture. EMCIS (2021)
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
Design and practical implementation of verify-your-vote protocol. Concurr. Comput. Pract. Exp. 33 (1) (2021)
Taycir Bouasker, Mahjoub Langar, Riadh Robbana
QoS monitor as a service. Softw. Qual. J. 28 (3) (2020)
Mohamed Mehdi Ben Aissa, Lilia Sfaxi, Riadh Robbana
DECIDE: A New Decisional Big Data Methodology for a Better Data Governance. EMCIS (2020)
Oussama Trabelsi, Lilia Sfaxi, Riadh Robbana
DCBC: A Distributed High-performance Block-Cipher Mode of Operation. ICETE (2) (2020)
Oussama Trabelsi, Lilia Sfaxi, Riadh Robbana
A Secure Distributed Hash-Based Encryption Mode of Operation Suited for Big Data Systems. ICETE (Selected Papers) (2020)
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. ICTAC (2019)
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
DABSTERS: Distributed Authorities using Blind Signature to Effect Robust Security in e-Voting. ICETE (2) (2019)
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol. EMCIS (2018)
Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana
A formal model for the analysis and verification of a pre-emptive round-robin arbiter. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. VECoS (2018)
Safa Saoudi, Souheib Yousfi, Riadh Robbana
Elliptic Curve Cryptography on E-Passport Authentication Protocol. AICCSA (2017)
Maroua Ben Slimane, Imene Ben Hafaiedh, Riadh Robbana
Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin. IEEE Des. Test 34 (5) (2017)
Imene Ben Hafaiedh, Maroua Ben Slimane, Sourour Haouala, Riadh Robbana
Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments. AICCSA (2017)
Safa Saoudi, Souheib Yousfi, Riadh Robbana
ePassport Protocol on the Spi Calculus. VECoS (2016)
Brahim Nasraoui, Riadh Robbana
Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems. COMPSAC Workshops (2016)
Imene Hadded, Mahjoub Langar, Riadh Robbana
Web Services Orchestration's Monitor as a Web Service. SoMeT (2016)
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
Verification and validation of PDDL descriptions using Event-B formal method. ICMCS (2016)
Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana
A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture. ICA3PP (2016)
Taycir Bouasker, Mahjoub Langar, Riadh Robbana
NFRs based web services scoring as web service. ISCC (2016)
Taycir Bouasker, Mahjoub Langar, Riadh Robbana
Novel time related quality of service criteria. AICCSA (2016)
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL. ISDA (2016)
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. WETICE (2016)
Karim Dahmani, Mahjoub Langar, Riadh Robbana
A Formal Dynamic Verification of Choreographed Web Services Conversations. ProvSec (2015)
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
Test generation from timed pushdown automata with inputs and outputs. ICST Workshops (2015)
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. WETICE (2015)
Donia Khemakhem Krid, Naouel Ben Salem Grati, Riadh Robbana
A new model for Online Social Networks case of Facebook. AICCSA (2015)
Lilia Sfaxi, Takoua Abdellatif, Riadh Robbana, Yassine Lakhnech
Information flow control of component-based distributed systems. Concurr. Comput. Pract. Exp. 25 (2) (2013)
Souheib Yousfi, Stéphane Derrode, Riadh Robbana
Watermarking in e-voting for large scale election. ICMCS (2012)
Assia Ben Shil, Kaouthar Blibech, Riadh Robbana, Wafa Neji
A New PVSS Scheme with a Simple Encryption Function. SCSS (2012)
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. Tech. Sci. Informatiques 31 (2) (2012)
Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yassine Lakhnech
Automating information flow control in component-based distributed systems. CBSE (2011)
Roberto Araújo, Narjes Ben Rajeb, Riadh Robbana, Jacques Traoré, Souheib Yousfi
Towards Practical and Secure Coercion-Resistant Electronic Elections. CANS (2010)
Lotfi Majdoub, Riadh Robbana
Test Cases Generation for Nondeterministic Duration Systems. MSVVEIS (2009)
Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili
Verifying Multithreaded Recursive Programs with Integer Variables. INFINITY (2009)
Yosr Naïja, Salem Chakhar, Kaouthar Blibech, Riadh Robbana
Extension of Partitional Clustering Methods for Handling Mixed Data. ICDM Workshops (2008)
Assia Ben Shil, Kaouthar Blibech, Riadh Robbana
A new timestamping schema in the Bounded Storage Model. CRiSIS (2008)
Souheib Yousfi, Alexis Bonnecaze, Riadh Robbana
Apport de la cryptographie elliptique dans le vote électronique. CRiSIS (2008)
Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA (2007)
Lotfi Majdoub, Riadh Robbana
Testing Duration Systems using an approximation method. DepCoS-RELCOMEX (2007)
Lotfi Majdoub, Riadh Robbana
Test Purpose of Duration Systems. MSVVEIS (2006)
Narjes Berregeb, Riadh Robbana
On the Verification by Approximation of Duration Systems. Int. Arab J. Inf. Technol. 1 (2) (2004)
Narjes Berregeb, Riadh Robbana, Ashish Tiwari
Towards automated proofs of observational properties. Discret. Math. Theor. Comput. Sci. 6 (2) (2004)
Riadh Robbana
Verification of Duration Systems Using an Approximation Approach. J. Comput. Sci. Technol. 18 (2) (2003)
Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana
From Duration Calculus To Linear Hybrid Automata. CAV (1995)
Ahmed Bouajjani, Riadh Robbana
Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. CAV (1995)
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verification of Nonregular Temporal Properties for Context-Free Processes. CONCUR (1994)
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. Hybrid Systems (1994)
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT (1994)
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV (1994)

Riadh Robbana.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Riadh Robbana