Concepedia

Riadh Robbana

RR

3

Publications

42

Citations

3

H-Index

2011

Active since

Affiliations

Verimag(Current)

University of Sousse

Tunis El Manar University

National Institute of Applied Science and Technology

Riadh Robbana is an author at Verimag specializing in engineering, formal verification, and systems engineering.

ORCID

Top concepts

Publications per year

2011–2017

3

Publications

3

Automating information flow control in component-based distributed systems

Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana et al. · 2011 · 16 citations

, , +21

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 Design and Test · 2017 · 14 citations

, , +23

Information flow control of component‐based distributed systems

Lilia Sfaxi, Takoua Abdellatif, Riadh Robbana et al. · Concurrency and Computation Practice and Experience · 2012 · 12 citations

Rows per page

1–3 of 3