Ikuti
Idriss Riouak
Judul
Dikutip oleh
Dikutip oleh
Tahun
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
142019
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
122021
Non-well-founded set based multi-agent action language
F Fabiano, I Riouak, A Dovier, E Pontelli
CEUR-WS, 2019
112019
JFeature: Know Your Corpus
I Riouak, G Hedin, C Reichenbach, N Fors
2022 IEEE 22nd International Working Conference on Source Code Analysis and …, 2022
22022
Non-well-founded set based multi-agent epistemic action language
I Riouak
Unpublished MSc Thesis, 2019
22019
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, ...
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–9