Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | Phare |
Publications MoVe | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
---|---|---|---|---|---|---|---|---|
Books | 0 | 0 | 0 | 1 | 6 | 2 | 0 | 9 |
Edited books | 3 | 3 | 3 | 0 | 0 | 0 | 0 | 9 |
Journal articles | 8 | 5 | 5 | 7 | 6 | 6 | 0 | 37 |
Book chapters | 1 | 0 | 2 | 0 | 0 | 1 | 0 | 4 |
Conference papers | 22 | 21 | 18 | 13 | 5 | 6 | 1 | 86 |
Habilitations | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 2 |
Theses | 0 | 0 | 3 | 1 | 2 | 0 | 0 | 6 |
- F. Kordon, D. Moldt : “Special issue from PETRI NET 2016”, Science of Computer Programming, vol. 157, (Elsevier) [Kordon 2018b]
- F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, F. Hulin‑Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry‑Mieg, J. Van De Pol, K. Wolf : “MCC’2017 - The Seventh Model Checking Contest”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 11090, Lecture Notes in Computer Science, pp. 181-209, (Springer) [Kordon 2018c]
- T. Ziadi, R. Lopez‑Herrejon, M. Acher, J. Martinez : “Sixth International Workshop on Reverse Variability Engineering (REVE 2018), associated with SPLC”, [Ziadi 2018b]