Idriss Riouak

According to our database, Idriss Riouak authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

JFeature: Know Your Corpus.

Idriss Riouak, Görel Hedin, Christoph Reichenbach, Niklas Fors

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

2021

A Precise Framework for Source-Level Control-Flow Analysis.

Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

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, Enea Zaffanella

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Non-Well-Founded Set Based Multi-Agent Epistemic Action Language.

Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli

Proceedings of the 34th Italian Conference on Computational Logic, 2019