APR - Статьи конференций

Подразделения :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Бывшие названия подразделений :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Архив исследовательских проектов :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Публикации APR	2015	2016	2017	2018	2019	2020	Total
Книги	0	0	0	0	0	0	0
Издания книг	0	1	0	0	0	0	1
Статьи в журналах	11	10	5	5	8	4	43
Статьи	0	0	0	0	0	0	0
Статьи конференций	13	12	13	14	15	6	73
Хабилитации	0	0	1	0	0	0	1
Диссертация	0	1	1	2	1	0	5

LIP6

J. Baste, B.‑M. Bui‑Xuan : “Temporal matching in link stream: kernel and approximation”, 16^th 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”, 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”, CP 2018 - 24^th International Conference on Principles and Practice of Constraint Programming, Lille, France, pp. 1-16 [Ziat 2018]