APR - Articoli su atti di conferenza

Gruppi di ricerca attuali :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Gruppi precedenti :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Argomenti di ricerca precedenti :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Pubblicazioni APR	2015	2016	2017	2018	2019	2020	Total
Libri	0	0	0	0	0	0	0
Curatele di libri	0	1	0	0	0	0	1
Articoli su rivista	11	10	5	5	8	4	43
Capitoli di libri	0	0	0	0	0	0	0
Articoli su atti di conferenza	13	12	13	14	15	5	72
Abilitazioni	0	0	1	0	0	0	1
Tesi	0	1	1	2	1	0	5

LIP6

O. Bodini, M. Dien, X. Fontaine, A. Genitrini, H.‑K. Hwang : “Increasing Diamonds”, 12^th. Latin American Theoretical INformatics Symposium, Ensenada, Mexico [Bodini 2016b]
R. El Sibaïe, E. Chailloux : “Pendulum : une extension réactive pour la programmation Web en OCaml”, Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Saint-Malo, France [El Sibaïe 2016a]
R. El Sibaïe, E. Chailloux : “Synchronous Web Programming,”, Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems (SPLASHWS-REBLS), Amsterdam, Netherlands [El Sibaïe 2016b]
A. Genitrini : “Full asymptotic expansion for Polya structures”, 27^th International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Krakow, Poland [Genitrini 2016a]
Ch. Huyghues‑Despointes, B.‑M. Bui‑Xuan, C. Magnien : “Forte ∆-connexité dans les flots de liens”, ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Bayonne, France [Huyghues-Despointes 2016]
M. Journault, A. Miné : “Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs”, Static Analysis, 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, vol. 9837, Lecture Notes in Computer Science, Edimbourg, United Kingdom, pp. 257-277, (Springer) [Journault 2016]
A. Miné, J. Breck, Th. Reps : “An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs”, Lecture Notes in Computer Science, vol. 9632, Programming Languages and Systems, Eindhoven, Netherlands, pp. 560-588, (Springer) [Miné 2016a]
A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot, D. Kästner, S. Wilhelm, Ch. Ferdinand : “Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée”, 8^th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France [Miné 2016b]
J. Salvucci, E. Chailloux : “Memory Consumption Analysis for a Functional and Imperative Language”, RAC 2016 - Resource Aware Computing, vol. 330, Electronic Notes in Theoretical Computer Science, Eindhoven, Netherlands, pp. 27-46 [Salvucci 2016]
Th. Suzanne, A. Miné : “From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models”, Static Analysis, 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, vol. 9837, Lecture Notes in Computer Science, Edinburgh, United Kingdom, pp. 469-488, (Springer) [Suzanne 2016]
S. Varoumas, B. Vaugon, E. Chailloux : “Concurrent Programming of Microcontrollers, a Virtual Machine Approach”, Proceedings of the 8^th European Congress on Embedded Real Time Software and Systems (ERTS 2016), TOULOUSE, France, pp. 711-720 [Varoumas 2016]