Idriss Riouak

1 – 7 of 7

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/person/e564be4c-13fb-44f0-bc55-a72ec447d2be?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2025
Mark IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
2024
Mark Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Öqvist, Jesper ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2024) 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE), p.56-69
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Öqvist, Jesper ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2024)
- Other contribution › Miscellaneous
Mark Towards Declarative Specification of Static Analysis for Programming Tools
Riouak, Idriss ^LU (2024)
- Thesis › Doctoral thesis (compilation)
2023
Mark Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Riouak, Idriss ^LU (2023)
- Thesis › Licentiate thesis
2022
Mark JFeature : Know Your Corpus
Riouak, Idriss ^LU ; Hedin, Gorel ^LU ; Reichenbach, Christoph ^LU and Fors, Niklas ^LU (2022) 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 p.236-241
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2021
Mark A Precise Framework for Source-Level Control-Flow Analysis
Riouak, Idriss ^LU ; Reichenbach, Christoph ^LU ; Hedin, Görel ^LU and Fors, Niklas ^LU (2021) IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) p.1-11
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding