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 | 14 | 2019 |
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 | 12 | 2021 |
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 |
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 | | |
Intraj: An On-Demand Framework for Intraprocedural Java Code Analysis I Riouak, G Hedin, N Fors, C Reichenbach Available at SSRN 4511780, 0 | | |
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, ... | | |