| Equipes atuais : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL |
| Time anterior : | Whisper |
| Publicações MoVe | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | Total |
|---|---|---|---|---|---|---|---|
| Livros | 1 | 0 | 0 | 0 | 1 | 2 | 4 |
| Livros Editados | 2 | 3 | 2 | 3 | 0 | 1 | 11 |
| Jornais | 10 | 8 | 5 | 5 | 8 | 3 | 39 |
| Capítulos de livros | 1 | 1 | 1 | 2 | 0 | 0 | 5 |
| Artigos de Conferencia | 17 | 22 | 18 | 17 | 12 | 1 | 87 |
| Habilitações (Livre Docência) | 2 | 1 | 0 | 1 | 0 | 0 | 4 |
| Teses | 3 | 0 | 0 | 3 | 1 | 0 | 7 |
- Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the Encoding and Solving of Partial Information Games”, 8th International Conference on Networked Systems (NETYS'20), Marrakech, Morocco [Amoussou-Guenou 2020d]
- W. Assunção, M. Acher, T. Ziadi, J. Martinez : “REVE 2020: 8th International Workshop on Reverse Variability Engineering”, SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, (ACM) [Assunção 2020]
- A. Benmerzoug, L. Yessad, T. Ziadi : “Analyzing the Impact of Refactoring Variants on Feature Location”, International Conference on Software and Systems Reuse (ICSR), Hammamet, Tunisia [Benmerzoug 2020]
- B. Bérard, B. Bollig, P. Bouyer, M. Függer, N. Sznajder : “Synthesis in Presence of Dynamic Links”, Proceedings of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'20), Brussels (on line), Belgium [Bérard 2020a]
- G. Berthou, P.‑E. Dagand, D. Demange, R. Oudin, T. Risset : “Intermittent Computing with Peripherals, Formally Verified”, LCTES '20: 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems Proceedings, London / Virtual, United Kingdom, pp. 85-96, (ACM) [Berthou 2020]
- A. Chueshev, J. Lawall, R. Bendraou, T. Ziadi : “Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers”, ICSME 2020 - International Conference on Software Maintenance and Evolution, Adélaïde / Virtual, Australia [Chueshev 2020]
- J. Mortara, Xh. Tërnava, Ph. Collet : “Mapping Features to Automatically Identified Object-Oriented Variability Implementations - The case of ArgoUML-SPL”, 14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS ’20), Magdeburg, Germany [Mortara 2020]
- N. Sznajder, B. Bérard, B. Bollig, M. Lehaut : “Parameterized Synthesis for Fragments of First-Order Logic over Data Words”, Proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), vol. 12077, Lecture Notes in Computer Science, Dublin, Ireland, pp. 97-118, (Springer) [Sznajder 2020]
- Y. Thierry‑Mieg : “Structural Reductions Revisited”, 41ST INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, Paris, France [Thierry-Mieg 2020]
- S. Tigane, L. Kahloul, S. Baarir, S. Bourekkache : “Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification”, EAI VALUETOOLS 2020 - 13th EAI International Conference on Performance Evaluation Methodologies and Tools, Tsukuba, Japan [tigane 2020]
- V. Vallade, L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “On the Usefulness of Clause Strengthening in Parallel SAT Solving”, NFM 2020 - 12th NASA Formal Methods Symposium, Moffett Field / Virtual, United States [vallade 2020a]
- V. Vallade, L. Le Frioux, S. Baarir, J. Sopena, V. Ganesh, F. Kordon : “Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving”, SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, vol. 12178, Lecture Notes in Computer Science, Alghero / Virtual, Italy, pp. 11-27 [vallade 2020b]