| A precise framework for source-level control-flow analysis I Riouak, C Reichenbach, G Hedin, N Fors 2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021 | 17 | 2021 |
| ARCH-COMP19 category report: Hybrid systems with piecewise constant dynamics G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ... EasyChair, 2019 | 15 | 2019 |
| Non-well-founded set based multi-agent action language F Fabiano, I Riouak, A Dovier, E Pontelli CEUR-WS, 2019 | 11 | 2019 |
| JFeature: Know Your Corpus I Riouak, G Hedin, C Reichenbach, N Fors 2022 IEEE 22nd International Working Conference on Source Code Analysis and …, 2022 | 2 | 2022 |
| Non-well-founded set based multi-agent epistemic action language I Riouak Unpublished MSc Thesis, 2019 | 2 | 2019 |
| IntraJ: an on-demand framework for intraprocedural Java code analysis I Riouak, N Fors, G Hedin, C Reichenbach International Journal on Software Tools for Technology Transfer, 1-19, 2025 | 1 | 2025 |
| Efficient demand evaluation of fixed-point attributes using static analysis I Riouak, N Fors, J Öqvist, G Hedin, C Reichenbach Proceedings of the 17th ACM SIGPLAN International Conference on Software …, 2024 | 1 | 2024 |
| Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact) I Riouak, N Fors, J Öqvist, G Hedin, C Reichenbach | 1 | 2024 |
| Towards Declarative Specification of Static Analysis for Programming Tools I Riouak | | 2024 |
| Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis I Riouak | | 2023 |
| Non-Well-Founded Set Based Multi-Agent Action Language F Fabiano, I Riouak, A Dovier, E Pontelli | | |
| 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)| 978-1-6654-9609-4/22/$31.00© 2022 IEEE| DOI: 10.1109/SCAM55253. 2022.00039 M Abdi, BV Adjibi, K Allix, G Antal, D Atzberger, G Balogh, I Baráth, ... | | |
Görel HedinProfessor, Dept. of Computer Science, Lund University, SwedenEmail verificata su cs.lth.se
