| Équipes actuelles : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Ancienne équipe : | Phare |
| Publications APR | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
|---|---|---|---|---|---|---|---|---|
| Livres | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 2 |
| Éditions de livres | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Articles de revues | 5 | 4 | 5 | 6 | 5 | 6 | 4 | 35 |
| Chapitres de livres | 0 | 1 | 0 | 0 | 2 | 0 | 0 | 3 |
| Conférences | 13 | 12 | 18 | 14 | 12 | 11 | 0 | 80 |
| Habilitations | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 2 |
| Thèses | 1 | 2 | 7 | 1 | 3 | 3 | 0 | 17 |
- J. Baste, B.‑M. Bui‑Xuan : “Temporal matching in link stream: kernel and approximation”, 16th Cologne-Twente Workshop on Graphs and Combinatorial Optimization (CTW 2018), Paris, France [Baste 2018a]
- C. Bertrand, H. Klaudel, M. Latapy, F. Peschanski : “Pattern Matching in Link Streams: a Token-based Approach”, International Conference on Applications and Theory of Petri Nets and Concurrency, vol. 10877, Lecture Notes in Computer Science, Bratislava, Slovakia, pp. 227-247 [Bertrand 2018b]
- O. Bodini, A. Genitrini, M. Dien, A. Viola : “Beyond series-parallel concurrent systems: the case of arch processes”, 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), vol. 110, Leibniz International Proceedings in Informatics (LIPIcs), Uppsala, Sweden, pp. 14:1-14:14 [Bodini 2018]
- R. Demangeon, N. Yoshida : “Causal Computational Complexity of Distributed Processes”, LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, pp. 344-353, (ACM Press) [Demangeon 2018]
- A. Fromherz, A. Ouadjaout, A. Miné : “Static Value Analysis of Python Programs by Abstract Interpretation”, NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, vol. 10811, Lecture Notes in Computer Science, Newport News, VA, United States, pp. 185-202, (Springer) [Fromherz 2018]
- M. Journault, A. Miné, A. Ouadjaout : “Modular static analysis of string manipulations in C programs”, SAS 2018, Freiburg im Breisgau, Germany [Journault 2018]
- J. Marrez, Ph. Aubry, A. Valibouze : “Étude et implantation d’une méthode algébrique pour résoudre des systèmes à coefficients flous”, Journées Nationales de Calcul Formel 2018, Luminy, France [Marrez 2018]
- A. Miné, A. Ouadjaout, M. Journault : “Design of a Modular Platform for Static Analysis”, The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18), Fribourg-en-Brisgau, Germany [Miné 2018]
- Th. Suzanne, A. Miné : “Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models”, Programming Languages and Systems, vol. 11275, Lecture Notes in Computer Science, Wellington, New Zealand, pp. 109-128 [Suzanne 2018]
- S. Varoumas, B. Vaugon, E. Chailloux : “A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project”, Proceedings of the 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Toulouse, France [Varoumas 2018a]
- S. Varoumas, B. Vaugon, E. Chailloux : “La programmation de microcontrôleurs dans des langages de haut niveau - Cours invité: Tutorial”, JFLA 2018 - Journées Francophones des Langages Applicatifs, Vingt-neuvièmes Journées Francophones des Langages Applicatifs (JFLA 2018), BANYULS, France [Varoumas 2018b]
- Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné : “Finding solutions by finding inconsistencies”, CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Lille, France, pp. 1-16 [Ziat 2018]