A Precise Framework for Source-Level Control-Flow Analysis

Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

1 Citation (SciVal)

2 Active

2 results

SMARTY: Säkra mjukvaruuppdateringar för den smarta staden
Hell, M., Magnusson, B., Gehrmann, C., Paladi, N., Karlsson, L., Sönnerup, J., Johnsson, B. A., Hedin, G., Nordahl, M., Pagnin, E., Kundu, R. & Åkesson, A.
Swedish Foundation for Strategic Research, SSF
2018/03/01 → 2023/02/28
Project: Research
Explainable Declarative Programming Analysis
Riouak, I., Hedin, G., Reichenbach, C. & Fors, N.
2019/11/01 → …
Project: Dissertation