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	2014	2015	2016	2017	2018	2019	Total
Книги	0	0	0	0	0	0	0
Издания книг	0	0	1	0	0	0	1
Статьи в журналах	3	11	9	5	3	3	34
Статьи	1	0	0	0	0	0	1
Статьи конференций	11	12	12	12	12	12	71
Хабилитации	0	0	0	1	0	0	1
Диссертация	1	0	1	1	2	7	12

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”, 39^th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2018), 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 - 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”, NFM 2018 - 10^th International Symposium NASA Formal Methods, vol. 10811, Lecture Notes in Computer Science, Newport News, VA, USA, 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”, APLAS 2018 - 16^th Asian Symposium on 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”, 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]