A reconfigurable routing algorithm for a fault-tolerant 2D-Mesh Network-on-Chip. - Zhen Zhang; Alain Greiner; Sami Taktak (DAC, 2008)

A tool for automatic detection of deadlock in wormhole networks on chip. - Sami Taktak; Jean Lou Desbarbieux; Emmanuelle Encrenaz (ACM Trans. Design Autom. Electr. Syst., 2008)

A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks. - Sami Taktak; Emmanuelle Encrenaz; Jean Lou Desbarbieux (PDP, 2010)

Data decision diagrams for Promela systems analysis. - Vincent Beaudenon; Emmanuelle Encrenaz; Sami Taktak (Int. J. Softw. Tools Technol. Transf., 2010)

Formal Modelling and Initial Validation of the Chelonia Distributed Storage System. - Sami Taktak; Lars Michael Kristensen (GPC, 2011)

An adaptive range-free localisation protocol in wireless sensor networks. - Linqing Gui; Thierry Val; Anne Wei; Sami Taktak (Int. J. Ad Hoc Ubiquitous Comput., 2014)

A Lightweight Southbound Interface for Standalone P4-NetFPGA SmartNICs. - Mario Patetta; Stefano Secci; Sami Taktak (6GNet, 2022)

A new approach for Bitcoin pool-hopping detection. - Eugenio Cortesi; Francesco Bruschi; Stefano Secci; Sami Taktak (Comput. Networks, 2022)

Line rate botnet detection with SmartNIC-embedded feature extraction. - Mario Patetta; Stefano Secci; Sami Taktak (Comput. Networks, 2024)