MoVe - Artículos de revistas

Búsqueda
Publicaciones
Research reports

equipos actuales : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Publicaciones MoVe	2021	2022	2023	2024	2025	Total
Libros	6	2	0	0	0	8
Libros editados	0	0	0	1	0	1
Artículos de revistas	5	8	2	2	0	17
Capítulos de libros	0	1	0	0	0	1
Documentos de conferencias	7	8	8	10	3	36
Habilitaciones	0	0	0	0	0	0
Tesis	2	0	3	3	1	9

LIP6

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]