BibTeX records: Idriss Riouak

• > Home > Persons > Idriss Riouak

@inproceedings{DBLP:conf/scam/RiouakHRF22,
  author       = {Idriss Riouak and
                  G{\"{o}}rel Hedin and
                  Christoph Reichenbach and
                  Niklas Fors},
  title        = {JFeature: Know Your Corpus},
  booktitle    = {22nd {IEEE} International Working Conference on Source Code Analysis
                  and Manipulation, {SCAM} 2021, Limassol, Cyprus, October 3, 2022},
  pages        = {236--241},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SCAM55253.2022.00033},
  doi          = {10.1109/SCAM55253.2022.00033},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scam/RiouakHRF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scam/RiouakRHF21,
  author       = {Idriss Riouak and
                  Christoph Reichenbach and
                  G{\"{o}}rel Hedin and
                  Niklas Fors},
  title        = {A Precise Framework for Source-Level Control-Flow Analysis},
  booktitle    = {21st {IEEE} International Working Conference on Source Code Analysis
                  and Manipulation, {SCAM} 2021, Luxembourg, September 27-28, 2021},
  pages        = {1--11},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SCAM52516.2021.00009},
  doi          = {10.1109/SCAM52516.2021.00009},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scam/RiouakRHF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FabianoRDP19,
  author       = {Francesco Fabiano and
                  Idriss Riouak and
                  Agostino Dovier and
                  Enrico Pontelli},
  editor       = {Alberto Casagrande and
                  Eugenio G. Omodeo},
  title        = {Non-Well-Founded Set Based Multi-Agent Epistemic Action Language},
  booktitle    = {Proceedings of the 34th Italian Conference on Computational Logic,
                  Trieste, Italy, June 19-21, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2396},
  pages        = {242--259},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2396/paper38.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FabianoRDP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
  author       = {Goran Frehse and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Anna Becchi and
                  Lei Bu and
                  Alessandro Cimatti and
                  Mirco Giacobbe and
                  Alberto Griggio and
                  Sergio Mover and
                  Muhammad Syifa'ul Mufid and
                  Idriss Riouak and
                  Stefano Tonetta and
                  Enea Zaffanella},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics},
  booktitle    = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
                  and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
                  April 15, 2019},
  series       = {EPiC Series in Computing},
  volume       = {61},
  pages        = {1--13},
  publisher    = {EasyChair},
  year         = {2019},
  url          = {https://doi.org/10.29007/rjwn},
  doi          = {10.29007/RJWN},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/FrehseAABBCGGMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}