Riadh Robbana

According to our database, Riadh Robbana authored at least 59 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Performability analysis of multi-service call admission control schemes in LTE networks.

Sana Younès, Maroua Idi, Riadh Robbana

Int. J. Gen. Syst., February, 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

Steady-State Energy Consumption Evaluation in BaseBand Units Pool in Cloud Radio Access Network.

Maroua Idi, Sana Younès, Riadh Robbana

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2022

Validating Event-B models using PDDL.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods.

Maroua Idi, Sana Younès, Riadh Robbana

Proceedings of the 17th International Conference on Software Technologies, 2022

Xtend Transformation from PDDL to Event-B.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Proceedings of the Computational Collective Intelligence - 14th International Conference, 2022

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

Design and practical implementation of verify-your-vote protocol.

Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana

Concurr. Comput. Pract. Exp., 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

Phi: A Generic Microservices-Based Big Data Architecture.

Amine Maamouri, Lilia Sfaxi, Riadh Robbana

Proceedings of the Information Systems, 2021

2020

QoS monitor as a service.

Taycir Bouasker, Mahjoub Langar, Riadh Robbana

Softw. Qual. J., 2020

A Secure Distributed Hash-Based Encryption Mode of Operation Suited for Big Data Systems.

Oussama Trabelsi, Lilia Sfaxi, Riadh Robbana

Proceedings of the E-Business and Telecommunications, 2020

DCBC: A Distributed High-performance Block-Cipher Mode of Operation.

Oussama Trabelsi, Lilia Sfaxi, Riadh Robbana

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

DECIDE: A New Decisional Big Data Methodology for a Better Data Governance.

Mohamed Mehdi Ben Aissa, Lilia Sfaxi, Riadh Robbana

Proceedings of the Information Systems, 2020

2019

DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain.

Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

DABSTERS: Distributed Authorities using Blind Signature to Effect Robust Security in e-Voting.

Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

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

Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments.

Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol.

Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana

Proceedings of the Information Systems, 2018

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

Elliptic Curve Cryptography on E-Passport Authentication Protocol.

Safa Saoudi, Souheib Yousfi, Riadh Robbana

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments.

Imene Ben Hafaiedh, Maroua Ben Slimane, Sourour Haouala, Riadh Robbana

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

ePassport Protocol on the Spi Calculus.

Safa Saoudi, Souheib Yousfi, Riadh Robbana

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Web Services Orchestration's Monitor as a Web Service.

Imene Hadded, Mahjoub Langar, Riadh Robbana

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Proceedings of the Intelligent Systems Design and Applications, 2016

NFRs based web services scoring as web service.

Taycir Bouasker, Mahjoub Langar, Riadh Robbana

Proceedings of the IEEE Symposium on Computers and Communication, 2016

Verification and validation of PDDL descriptions using Event-B formal method.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Proceedings of the 5th International Conference on Multimedia Computing and Systems, 2016

A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture.

Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana

Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems.

Brahim Nasraoui, Riadh Robbana

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Novel time related quality of service criteria.

Taycir Bouasker, Mahjoub Langar, Riadh Robbana

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

A Formal Dynamic Verification of Choreographed Web Services Conversations.

Karim Dahmani, Mahjoub Langar, Riadh Robbana

Proceedings of the Provable Security, 2015

Test generation from timed pushdown automata with inputs and outputs.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A new model for Online Social Networks case of Facebook.

Donia Khemakhem Krid, Naouel Ben Salem Grati, Riadh Robbana

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2013

Information flow control of component-based distributed systems.

Lilia Sfaxi, Takoua Abdellatif, Riadh Robbana, Yassine Lakhnech

Concurr. Comput. Pract. Exp., 2013

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

A New PVSS Scheme with a Simple Encryption Function.

Assia Ben Shil, Kaouthar Blibech, Riadh Robbana, Wafa Neji

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

Watermarking in e-voting for large scale election.

Souheib Yousfi, Stéphane Derrode, Riadh Robbana

Proceedings of the 2012 International Conference on Multimedia Computing and Systems, 2012

2011

Automating information flow control in component-based distributed systems.

Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yassine Lakhnech

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010

Towards Practical and Secure Coercion-Resistant Electronic Elections.

Roberto Araújo, Narjes Ben Rajeb, Riadh Robbana, Jacques Traoré, Souheib Yousfi

Proceedings of the Cryptology and Network Security - 9th International Conference, 2010

2009

Verifying Multithreaded Recursive Programs with Integer Variables.

Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, Tayssir Touili

Proceedings of the Joint Proceedings of the 8th, 2009

Test Cases Generation for Nondeterministic Duration Systems.

Lotfi Majdoub, Riadh Robbana

Proceedings of the Modelling, 2009

2008

Extension of Partitional Clustering Methods for Handling Mixed Data.

Yosr Naïja, Salem Chakhar, Kaouthar Blibech, Riadh Robbana

Proceedings of the Workshops Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008

Apport de la cryptographie elliptique dans le vote électronique.

Souheib Yousfi, Alexis Bonnecaze, Riadh Robbana

Proceedings of the CRiSIS '08, 2008

A new timestamping schema in the Bounded Storage Model.

Assia Ben Shil, Kaouthar Blibech, Riadh Robbana

Proceedings of the CRiSIS '08, 2008

2007

A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.

Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis

Proceedings of the ISoLA 2007, 2007

Testing Duration Systems using an approximation method.

Lotfi Majdoub, Riadh Robbana

Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006

Test Purpose of Duration Systems.

Lotfi Majdoub, Riadh Robbana

Proceedings of the Modelling, 2006

2004

On the Verification by Approximation of Duration Systems.

Narjes Berregeb, Riadh Robbana

Int. Arab J. Inf. Technol., 2004

Towards automated proofs of observational properties.

Narjes Berregeb, Riadh Robbana, Ashish Tiwari

Discret. Math. Theor. Comput. Sci., 2004

2003

Verification of Duration Systems Using an Approximation Approach.

Riadh Robbana

J. Comput. Sci. Technol., 2003

1995

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

Riadh Robbana

PhD thesis, 1995

Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems.

Ahmed Bouajjani, Riadh Robbana

Proceedings of the Computer Aided Verification, 1995

From Duration Calculus To Linear Hybrid Automata.

Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana

Proceedings of the Computer Aided Verification, 1995

1994

On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Hybrid Systems II, 1994

Verfying Invariance Properties of Timed Systems with Duration Variables.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Verification of Nonregular Temporal Properties for Context-Free Processes.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the CONCUR '94, 1994

Verification of Context-Free Timed Systems Using Linear Hybrid Observers.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Computer Aided Verification, 6th International Conference, 1994