Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. - Francesco Fabiano; Idriss Riouak; Agostino Dovier; Enrico Pontelli (CILC, 2019)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Anna Becchi; Lei Bu; Alessandro Cimatti; Mirco Giacobbe; Alberto Griggio; Sergio Mover; Muhammad Syifa'ul Mufid; Idriss Riouak; Stefano Tonetta; et al. (ARCH@CPSIoTWeek, 2019)

A Precise Framework for Source-Level Control-Flow Analysis. - Idriss Riouak; Christoph Reichenbach; Görel Hedin; Niklas Fors (SCAM, 2021)

JFeature: Know Your Corpus. - Idriss Riouak; Görel Hedin; Christoph Reichenbach; Niklas Fors (SCAM, 2022)

Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis. - Idriss Riouak; Niklas Fors; Jesper Öqvist; Görel Hedin; Christoph Reichenbach (SLE, 2024)

Towards Declarative Specification of Static Analysis for Programming Tools. - Idriss Riouak (2024)

IntraJ: an on-demand framework for intraprocedural Java code analysis. - Idriss Riouak; Niklas Fors; Görel Hedin; Christoph Reichenbach (Int. J. Softw. Tools Technol. Transf., 2024)