Idriss Riouak

According to our database, Idriss Riouak authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

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., December, 2024

Towards Declarative Specification of Static Analysis for Programming Tools.

Idriss Riouak

PhD thesis, 2024

Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis.

Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, Christoph Reichenbach

Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, 2024

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