Idriss Riouak

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 4

Top Topics

Action Language

Top Venues

ARCH@CPSIoTWeek

Publications

Idriss Riouak, Görel Hedin, Christoph Reichenbach, Niklas Fors
JFeature: Know Your Corpus. SCAM (2022)
Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors
A Precise Framework for Source-Level Control-Flow Analysis. SCAM (2021)
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, Enea Zaffanella
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. CILC (2019)