Riadh Robbana - RankMe

63 papers A* 3B 5C 18Journal 16Unranked 19

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