| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Publications MoVe | 2023 | 2024 | 2025 | Total |
|---|---|---|---|---|
| Books | 0 | 0 | 0 | 0 |
| Edited books | 0 | 1 | 0 | 1 |
| Journal articles | 2 | 2 | 0 | 4 |
| Book chapters | 0 | 0 | 0 | 0 |
| Conference papers | 8 | 9 | 0 | 17 |
| Habilitations | 0 | 0 | 0 | 0 |
| Thesis | 2 | 3 | 0 | 5 |
- B. Bollig, M. Lehaut, N. Sznajder : “Round- and context-bounded control of dynamic pushdown systems”, Formal Methods in System Design, vol. 62, pp. 41–78, (Springer Verlag) [Bollig 2024]
- R. Vacheret, F. Pérez, T. Ziadi, L. Hillah : “Boosting fault localization of statements by combining topic modeling and Ochiai”, Information and Software Technology, vol. 173, pp. 107499, (Elsevier) [Vacheret 2024]