- (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