| 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. Bérard, L. Hélouët, J. Mullins : “Non-interference in partial order models”, ACM Transactions on Embedded Computing Systems (TECS), vol. 16 (2), Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, pp. 44:1-44:34, (ACM) [Bérard 2017a]
- X. Bonnaire, R. Cortes, F. Kordon, O. Marin : “ASCENT: a Provably-Terminating Decentralized Logging Service”, The Computer Journal, vol. 60 (12), to be published, pp. 1889–1911, (Oxford University Press (UK)) [Bonnaire 2017]
- R. Hebig, D. Khelladi, R. Bendraou : “Approaches to Co-Evolution of Metamodels and Models: A Survey”, IEEE Transactions on Software Engineering, vol. 43 (5), pp. 396-414, (Institute of Electrical and Electronics Engineers) [Hebig 2017]
- L. Hillah, A.‑P. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin, R. Fontanelli, S. Di Bona, D. Guerri, L. Maesano : “Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice”, International Journal on Software Tools for Technology Transfer, vol. 19 (3), pp. 281-308, (Springer Verlag) [Hillah 2017a]
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution”, Journal of Systems and Software, vol. 134, pp. 242-260, (Elsevier) [Khelladi 2017a]
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Coadapting multidimension process properties”, Journal of Software: Evolution and Process, vol. 29 (11), Special Issue: Process in Action: The Best Papers from The International Conference on Software and Systems Process 2016, pp. e1860, (John Wiley & Sons, Ltd.) [Khelladi 2017b]
- E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata”, International Journal on Software Tools for Technology Transfer, vol. 19 (6), pp. 653-673, (Springer Verlag) [Renault 2017]
- A. Sadovykh, A. Bagnato, J. Robin, A. Viehl, T. Ziadi, J. Martinez : “REVAMP: Challenges and innovation roadmap for variability management in round-trip engineering of software-intensive systems”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes n°120, pp. 32-36, (Génie industriel multimédia) [Sadovykh 2017]