Riadh Robbana

According to our database1, Riadh Robbana authored at least 56 papers between 1994 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Validating Event-B models using PDDL.
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.
Proceedings of the 17th International Conference on Software Technologies, 2022

Xtend Transformation from PDDL to Event-B.
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.
Simul. Model. Pract. Theory, 2021

Design and practical implementation of verify-your-vote protocol.
Concurr. Comput. Pract. Exp., 2021

A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment.
Clust. Comput., 2021

Phi: A Generic Microservices-Based Big Data Architecture.
Proceedings of the Information Systems, 2021

2020
QoS monitor as a service.
Softw. Qual. J., 2020

A Secure Distributed Hash-Based Encryption Mode of Operation Suited for Big Data Systems.
Proceedings of the E-Business and Telecommunications, 2020

DCBC: A Distributed High-performance Block-Cipher Mode of Operation.
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.
Proceedings of the Information Systems, 2020

2019
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain.
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.
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.
Int. J. Crit. Comput. Based Syst., 2018

Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol.
Proceedings of the Information Systems, 2018

2017
Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin.
IEEE Des. Test, 2017

Elliptic Curve Cryptography on E-Passport Authentication Protocol.
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.
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.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

ePassport Protocol on the Spi Calculus.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Web Services Orchestration's Monitor as a Web Service.
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.
Proceedings of the Intelligent Systems Design and Applications, 2016

NFRs based web services scoring as web service.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

Verification and validation of PDDL descriptions using Event-B formal method.
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.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Novel time related quality of service criteria.
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.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

A Formal Dynamic Verification of Choreographed Web Services Conversations.
Proceedings of the Provable Security, 2015

Test generation from timed pushdown automata with inputs and outputs.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A new model for Online Social Networks case of Facebook.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2013
Information flow control of component-based distributed systems.
Concurr. Comput. Pract. Exp., 2013

2012
Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information.
Tech. Sci. Informatiques, 2012

A New PVSS Scheme with a Simple Encryption Function.
Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

Watermarking in e-voting for large scale election.
Proceedings of the 2012 International Conference on Multimedia Computing and Systems, 2012

2011
Automating information flow control in component-based distributed systems.
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010
Towards Practical and Secure Coercion-Resistant Electronic Elections.
Proceedings of the Cryptology and Network Security - 9th International Conference, 2010

2009
Verifying Multithreaded Recursive Programs with Integer Variables.
Proceedings of the Joint Proceedings of the 8th, 2009

Test Cases Generation for Nondeterministic Duration Systems.
Proceedings of the Modelling, 2009

2008
Extension of Partitional Clustering Methods for Handling Mixed Data.
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.
Proceedings of the CRiSIS '08, 2008

A new timestamping schema in the Bounded Storage Model.
Proceedings of the CRiSIS '08, 2008

2007
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.
Proceedings of the ISoLA 2007, 2007

Testing Duration Systems using an approximation method.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006
Test Purpose of Duration Systems.
Proceedings of the Modelling, 2006

2004
On the Verification by Approximation of Duration Systems.
Int. Arab J. Inf. Technol., 2004

Towards automated proofs of observational properties.
Discret. Math. Theor. Comput. Sci., 2004

2003
Verification of Duration Systems Using an Approximation Approach.
J. Comput. Sci. Technol., 2003

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

Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems.
Proceedings of the Computer Aided Verification, 1995

From Duration Calculus To Linear Hybrid Automata.
Proceedings of the Computer Aided Verification, 1995

1994
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures.
Proceedings of the Hybrid Systems II, 1994

Verfying Invariance Properties of Timed Systems with Duration Variables.
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.
Proceedings of the CONCUR '94, 1994

Verification of Context-Free Timed Systems Using Linear Hybrid Observers.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994


  Loading...