MoVe - Artigos de Conferencia

Pesquisa
Publicações
Research reports

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

Publicações MoVe	2021	2022	2023	2024	2025	Total
Livros	6	2	0	0	0	8
Livros Editados	0	0	0	1	0	1
Jornais	5	8	2	2	0	17
Capítulos de livros	0	1	0	0	0	1
Artigos de Conferencia	7	8	8	10	3	36
Habilitações (Livre Docência)	0	0	0	0	0	0
Teses	2	0	3	3	1	9

LIP6

B. Bérard, O. Kouchnarenko, J. Mullins, M. Sassolas : “Preserving opacity on Interval Markov Chains under simulation”, Proceedings of 13^th International Workshop on Discrete Event Systems (WODES) 2016, IEEE, Xi'an, China, pp. 319-324 [Bérard 2016b]
Th. Brihaye, M. Estiévenart, G. Geeraerts, H.‑M. Ho, B. Monmege, N. Sznajder : “Real-time Synthesis is Hard!”, Proceedings of the 14^th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'16), vol. 9884, Lecture Notes in Computer Science, Québec City, Canada, pp. 105-120, (Springer) [Brihaye 2016]
Th. Bui, M. Ziane, S. Stinckwich, T. Ho, B. Roche, N. Papoulias : “Separation of Concerns in Epidemiological Modelling”, MODULARITY Companion 2016 Companion Proceedings of the 15^th International Conference on Modularity, Malaga, Spain, pp. 196-200 [Bui 2016a]
Th. Bui, N. Papoulias, M. Ziane, S. Stinckwich : “Explicit Composition Constructs in DSLs - The case of the epidemiological language Kendrick”, IWST'16 - 11^th International Workshop on Smalltalk Technologies, Prague, Czechia, pp. 20:1-20:11, (ACM) [Bui 2016b]
A. Duret‑Lutz, F. Kordon, D. Poitrenaud, E. Renault : “Heuristics for Checking Liveness Properties with Partial Order Reductions”, Automated Technology for Verification and Analysis, vol. 9938, Lecture Notes in Computer Science, Chiba, Japan, pp. 340-356, (Springer) [Duret-Lutz 2016]
L. Hillah, A.‑P. Maesano, L. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin : “Service functional testing automation with intelligent scheduling and planning”, Symposium on Applied Computing (SAC), Proceeding of the 31^st Annual ACM Symposium on Applied Computing, Pisa, Italy, pp. 1605-1610 [Hillah 2016]
D. Khelladi, R. Bendraou, M.‑P. Gervais : “AD-ROOM: a tool for automatic detection of refactorings in object-oriented models”, Proceedings of the 38^th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, Austin, United States, pp. 617-620, (ACM) [Khelladi 2016a]
D. Khelladi, R. Bendraou, M.‑P. Gervais : “SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints”, Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19^th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, pp. 40-47 [Khelladi 2016b]
D. Khelladi, R. Bendraou, M.‑P. Gervais : “Towards a User-Guided Difference-Based Detection of Atomic Changes”, Engineering of Complex Computer Systems (ICECCS), 2016 21^st International Conference on, Dubai, United Arab Emirates, pp. 211-214 [Khelladi 2016c]
D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Supporting the co-adaption of process properties”, Proceedings of the International Conference on Software and Systems Process, Austin, TX, United States, pp. 1-5, (ACM) [Khelladi 2016d]
D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints”, Proceedings on Software Reuse: Bridging with Social-Awareness - 15^th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, }, vol. 9679, Lecture Notes in Computer Science, Limassol, Cyprus, pp. 333-349, (Springer) [Khelladi 2016f]
L. Li, J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Mining families of android applications for extractive SPL adoption”, SPLC '16 - 20^th International Systems and Software Product Line Conference, Beijing, China, pp. 271-275, (ACM) [Li 2016a]
A. Linard, B. Barbot, D. Buchs, M. Colange, C. Démoulins, L. Hillah, A. Martin : “Layered Data: A Modular Formal Definition without Formalisms”, CEUR-WS.org, vol. 1591, CEUR Workshops Proceedings, Toruń, Poland, pp. 287-306 [Linard 2016]
J. Martinez, T. Ziadi, M. Papadakis, T. Bissyandé, J. Klein, Y. Le Traon : “Feature Location Benchmark for Software Families Using Eclipse Community Releases”, 15^th International Conference on Software Reuse, ICSR 2016, vol. 9679, Lecture Notes in Computer Science, Limassol, Cyprus, pp. 267-283, (Springer) [Martinez 2016a]
J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Name suggestions during feature identification: the variclouds approach”, SPLC '16 - 20^th International Systems and Software Product Line Conference, Beijing, China, pp. 119-123, (ACM) [Martinez 2016b]
P. Poizat, G. Salaün, A. Krishna : “Checking Business Process Evolution”, 13^th International Conference on Formal Aspects of Component Software (FACS), Besançon, France [Poizat 2016]
Y. Thierry‑Mieg : “Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology”, Petri Nets and Software Engineering. International Workshop, PNSE'16, Proceedings, Torun, Poland [Thierry-Mieg 2016]