MoVe - Documentos de conferencias

equipos actuales :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Antiguos equipos :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Antiguos temas de investigación :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publicaciones MoVe	2015	2016	2017	2018	2019	2020	Total
Libros	0	0	0	0	0	3	3
Libros editados	0	0	0	2	3	0	5
Artículos de revistas	2	1	3	3	6	5	20
Capítulos de libros	0	1	0	1	2	0	4
Documentos de conferencias	6	1	4	13	18	17	59
Habilitaciones	1	2	1	0	1	0	5
Tesis	2	3	0	0	3	0	8

LIP6

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 2018]
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 2018a]
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 2018b]
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]
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]
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. 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 2018a]
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 2018c]
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]
T. Ziadi, L. Hillah : “Software Product Line Extraction from Bytecode based applications”, International Conference on Engineering of Complex Computer Systems, Melbourne, Australia [Ziadi 2018a]