- (Reference) Attributed Systems
- Static analysis
- Data-flow analysis.
-
๐ (๐ธ๐ช)JFeature: Know Your Corups. Idriss Riouak ๐, Gรถrel Hedin ๐, Christoph Reichenbach ๐ and Niklas Fors ๐.
-
๐ (๐ธ๐ช) A Precise Framework for Source-Level Control-Flow Analysis. Idriss Riouak ๐, Christoph Reichenbach ๐, Gรถrel Hedin ๐ and Niklas Fors ๐.
-
๐ (๐ฎ๐น) Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. Francesco Fabiano, Idriss Riouak ๐, Agostino Dovier, Enrico Pontelli.
-
๐ (๐ฎ๐น)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