MoVe - Documentos de conferencias

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

S. Baarir, A. Duret‑Lutz : “SAT-Based Minimization of Deterministic ω-Automata”, Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, pp. 79-87 [Baarir 2015]
B. Bérard, L. Hélouët, J. Mullins : “Non-interference in partial order models”, ACSD'15 - 15^th International Conference on Application of Concurrency to System Design, Brussels, Belgium, pp. 80-89, (IEEE) [Bérard 2015c]
B. Bérard, S. Haddad, C. Picaronny, M. Safey El Din, M. Sassolas : “Polynomial Interrupt Timed Automata”, The 9^th Workshop on Reachability Problems (RP'15), vol. 9328, Lecture Notes in Computer Science, Warsaw, Poland, pp. 20-32, (Springer) [Bérard 2015e]
R. Boukharrou, J.‑M. Ilié, D. Saidouni : “Spatio-Temporal Planning for Mobile Ambient Agents”, Procedia Computer Science, vol. 56, 12^th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015), Belfort, France, pp. 96-103, (Elsevier) [Boukharrou 2015b]
A. Brandao, D. Boufedji, T. Ziadi, Z. Guessoum : “Vers une approche d'ingénierie multiagent à base de ligne de produits logiciels”, 23es Journées Francophones sur les Systèmes Multi-Agents (JFSMA'15), Rennes, France, pp. 49-58, (Cépaduès) [Brandao 2015]
H. Bruneliere, J. Garcia, Ph. Desfray, D. Khelladi, R. Hebig, R. Bendraou, J. Cabot : “On Lightweight Metamodel Extension to Support Modeling Tools Agility”, 11^th European Conference on Modelling Foundations and Applications (ECMFA 2015) (a STAF 2015 conference), vol. 9153, Lecture Notes in Computer Science, L'Aquila, Italy, pp. 62-74, (Springer) [Bruneliere 2015]
Th. Bui, S. Stinckwich, M. Ziane, B. Roche, T. Ho : “KENDRICK: a Domain Specific Language and Platform for Mathematical Epidemiological Modelling”, 2015 IEEE RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for the Future (RIVF), Can Tho, Viet Nam, pp. 132-137 [Bui 2015]
Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments”, Artificial Intelligence Applications and Innovations, vol. 458, IFIP Advances in Information and Communication Technology, Bayonne, France, pp. 266-281, (Springer International Publishing) [Chaouche 2015a]
Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Spatio-Temporal Guidance for Ambient Agents”, 20^th International Conference on Control Systems and Computer Science (CSCS)}, Control Systems and Computer Science (CSCS), 2015 20^th International Conference, Bucharest, Romania, pp. 719-726, (IEEE) [Chaouche 2015b]
L. Georget, G. Piolle, F. Tronel, V. Viet Triem Tong, M. Jaume : “Towards a Formal Semantics for System Calls in terms of Information Flow”, Tenth International Conference on Systems (ICONS 2015), Barcelone, Spain, pp. 1-4, (IARIA) [Georget 2015]
R. Hebig, D. Khelladi, R. Bendraou : “Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution”, Software Engineering Conference (APSEC), 2015 Asia-Pacific, New Delhi, India, pp. 135-142, (IEEE Xplore) [Hebig 2015a]
S. Herbold, J. Grabowski, P. Harms, L. Hillah, F. Kordon, A.‑P. Maesano, L. Maesano, C. Di Napoli, F. De Rosa, M. Schneider, N. Tonelloto, M.‑F. Wendland, P.‑H. Wuillemin : “The MIDAS Cloud Platform for Testing SOA Applications”, 8^th International IEEE Conference on Software Testing, Verification and Validation (ICST), Graz, Austria, pp. 1-8, (IEEE Press) [Herbold 2015]
L. Hillah, A.‑P. Maesano, F. De Rosa, L. Maesano, M. Lettere, R. Fontanelli : “Service functional test automation”, Workshop on System Testing and Validation, Sophia Antipolis, France [Hillah 2015]
D. Khelladi, R. Bendraou, S. Baarir, Y. Laurent, M.‑P. Gervais : “A Framework to Formally Verify Conformance of a Software Process to a Software Method”, 30^th ACM/SIGAPP Symposium On Applied Computing SAC, Salamanca, Spain, pp. 1518-1525, (ACM) [Khelladi 2015a]
D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting Complex Changes During Metamodel Evolution”, 27^th International Conference on Advanced Information Systems Engineering, vol. 9097, Lecture Notes in Computer Science, Stockholm, Sweden, pp. 263-278 [Khelladi 2015b]
R. Lopez‑Herrejon, T. Ziadi, J. Martinez, A. Thurimella, M. Acher : “Third International Workshop on Reverse Variability Engineering (REVE 2015), associated with {SPLC}”, Proceedings of the 19^th International Conference on Software Product Line, Nashville, TN, United States, pp. 394-394, (ACM) [Lopez-Herrejon 2015b]
J. Martinez, J. Malburg, T. Ziadi, G. Fey : “Towards analysing feature locations through testing traces with {BUT4R}euse”, Workshop on Design Automation for Understanding Hardware Designs (DUHDe), Grenoble, France [Martinez 2015a]
J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Automating the Extraction of Model-Based Software Product Lines from Model Variants”, ASE 2015 - 30^th IEEE/ACM International Conference on Automated Software Engineering, Lincoln, Nebraska, United States, pp. 396-406, (IEEE) [Martinez 2015b]
J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Bottom-Up Adoption of Software Product Lines - A Generic and Extensible Approach”, 19^th International Software Product Line Conference (SPLC), Nashville, TN, United States, pp. 101-110, (ACM) [Martinez 2015c]
J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, Y. Le Traon : “Estimating and Predicting Human Perception on Computer-Generated Artwork Variants”, Genetic and Evolutionary Computation Conference - GECCO, Companion Material Proceedings, Madrid, Spain, pp. 1431-1432, (ACM) [Martinez 2015d]
L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau”, ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Beaune, France [Millet 2015]
E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Parallel Explicit Model Checking for Generalized Büchi Automata”, 21^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, vol. 9035, Lecture Notes in Computer Science, London, United Kingdom, pp. 613-627, (Springer) [Renault 2015]
Y. Thierry Mieg : “Symbolic Model-Checking using ITS-tools”, Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035, Lecture Notes in Computer Science, London, United Kingdom, pp. 231-237, (Springer Berlin Heidelberg) [Thierry Mieg 2015]