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

M. Acher, P. Temple, J.‑M. Jézéquel, J. Galindo Duarte, J. Martinez, T. Ziadi : “VaryLaTeX: Learning Paper Variants That Meet Constraints”, VaMoS 2018 - 12^th International Workshop on Variability Modelling of Software-Intensive Systems, Madrid, Spain, pp. 83-88, (ACM) [Acher 2018]
S. Baarir, R. Bendraou, H. Metin, Y. Laurent : “ProVer: an SMT-based approach for process verification”, Model-Driven Engineering Verification & Validation, MoDELS Workshop, vol. 2245, MODELS Workshops, Copenhague, Denmark, pp. 555-562 [Baarir 2018]
B. Barbot, B. Bérard, Y. Duplouy, S. Haddad : “Integrating Simulink Models into the Model Checker Cosmos”, Application and Theory of Petri Nets and Concurrency - Petri Nets 2018, vol. 10877, Lecture Notes in Computer Sciences, Bratislava, Slovakia, pp. 363-373, (Springer) [Barbot 2018b]
B. Bérard, P. Bouyer, V. Jugé : “Finite Bisimulations for Dynamical Systems with Overlapping Trajectories”, LIPICS, vol. 119, Birmingham, United Kingdom, pp. 26:1-26:17, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Bérard 2018b]
B. Bérard, S. Haar, L. Hélouët : “Hyper Partial Order Logic”, 38^th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, vol. 122, Leibniz International Proceedings in Informatics (LIPIcs), Ahmedabad, India, pp. 20:1-20:21, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Bérard 2018c]
B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems”, 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), vol. 11138, Proceedings of the 16^th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, United States, pp. 370-386, (Springer) [Bollig 2018]
D. Boufedji, Z. Guessoum, A. Brandao, T. Ziadi, A. Mokhtari : “Towards a MAS Product Line Engineering Approach”, Engineering Multi-Agent Systems 5^th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers, vol. 10738, Lecture Notes in Artificial Intelligence, Sao Paulo, Brazil, pp. 161-179, (Springer) [Boufedji 2018]
S. Casare, T. Ziadi, A. Brandao, Z. Guessoum : “An Automated Approach to Manage MAS-Product Line Methods”, 5^th International Workshop on Engineering Multi-Agent Systems (EMAS 2017), vol. 10738, Lecture Notes in Computer Science, Sao Paulo, Brazil, pp. 180-197, (ISBN: 978-3-319-91899-0) [Casare 2018]
E. EFFA BELLA, L. Wouters, M.‑P. Gervais, A. Koudri, R. Bendraou : “Semi-supervised Approach for Recovering Traceability Links in Complex Systems”, ICECCS 2018 - 23rd International Conference on Engineering of Complex Computer Systems, Melbourne, Australia [EFFA BELLA 2018]
R. Hebig, R. Bendraou, D. Khelladi : “Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models”, Software Engineering, Berlin, Germany [Hebig 2018]
E. Kindler, P. Egilsson, L. Hillah : “Using the Event Coordination Notation for Validation”, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Augsburg, Germany, pp. 13-20 [Kindler 2018]
F. Kordon, Y. Thierry‑Mieg : “Self-adaptive Model Checking, the Next Step?”, Application and Theory of Petri Nets and Concurrency, Bratislava, Slovakia [Kordon 2018d]
J. Malenfant : “Towards a well-founded software component model for cyber-physical control systems”, Second IEEE International Conference on Robotic Computing, Laguna Hills, California, United States [Malenfant 2018]
J. Martinez, J.‑S. Sottet, A. García Frey, T. Bissyandé, T. Ziadi, J. Klein, P. Temple, M. Acher, Y. Le Traon : “Towards Estimating and Predicting User Perception on Software Product Variants”, ICSR 2018 - International Conference on Software Reuse, vol. 10826, LNCS, Madrid, Spain, pp. 23-40, (Springer) [Martinez 2018a]
J. Martinez, N. Ordoñez, Xh. Tërnava, T. Ziadi, J. Aponte, E. Figueiredo, M. Valente : “Feature Location Benchmark with ArgoUML SPL”, Systems and Software Product Line Conference (SPLC), Gothenburg, Sweden [Martinez 2018b]
J. Martinez, Xh. Tërnava, T. Ziadi : “Software Product Line Extraction from Variability-Rich Systems: The Robocode Case Study”, Systems and Software Product Line Conference (SPLC), Gothenburg, Sweden [Martinez 2018d]
O. Melekhova, J. Malenfant, R. Mescheriakov, A. Chueshev : “A decentralised solution for coordinating decisions in large-scale autonomic systems”, 13^th International Scientific-Technical Conference on Electromechanics and Robotics “Zavalishin’s Readings” - 2018, vol. 161, St. Petersburg, Russian Federation, pp. 03024 [Melekhova 2018]
H. Metin, S. Baarir, M. Colange, F. Kordon : “CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving”, Tools and Algorithms for the Construction and Analysis of Systems 24^th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings,, Tessaloniki, Greece [Metin 2018]
Quentin L. Meunier, Y. Thierry Mieg, E. Encrenaz : “Modeling a Cache Coherence Protocol with the Guarded Action Language”, Workshop on Models for Formal Analysis of Real Systems, Thessaloniki, Greece [Meunier 2018]
S. Zairi, B. Zouari, H. Rahal, J.‑F. Pradat‑Peyre : “A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures”, 2018 5^th International Conference on Control, Decision and Information Technologies (CoDIT), Thessaloniki, Greece, pp. 737-742, (IEEE) [Zairi 2018]
T. Ziadi, L. Hillah : “Software Product Line Extraction from Bytecode based applications”, International Conference on Engineering of Complex Computer Systems, Melbourne, Australia [Ziadi 2018a]