APR - Artigos de Conferencia

Pesquisa
Publicações
Research reports

Current teams : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Publicações APR	2021	2022	2023	2024	2025	Total
Livros	1	0	0	0	0	1
Livros Editados	0	0	0	0	0	0
Jornais	5	6	10	5	2	28
Capítulos de livros	2	0	0	0	0	2
Artigos de Conferencia	12	11	7	10	5	45
Habilitações (Livre Docência)	1	0	1	0	0	2
Teses	3	3	2	2	1	11

LIP6

J. Baste, B.‑M. Bui‑Xuan : “Temporal matching in link stream: kernel and approximation”, CTW 2018 - 16^th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 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”, 29^th 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 10^th 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 9^th 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”, Principles and Practice of Constraint Programming, vol. 11008, Lecture Notes in Computer Science, Lille, France, pp. 420-435, (Springer International Publishing), (ISBN: 978-3-319-98334-9) [Ziat 2018]