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	2014	2015	2016	2017	2018	2019	Total
Libri	0	0	0	0	0	0	0
Curatele di libri	0	0	1	0	0	0	1
Articoli su rivista	3	11	9	5	3	3	34
Capitoli di libri	1	0	0	0	0	0	1
Articoli su atti di conferenza	11	12	12	12	12	12	71
Abilitazioni	0	0	0	1	0	0	1
Tesi	1	0	1	1	2	7	12

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 Sibaie, 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 Sibaie 2016a]
R. El Sibaie, E. Chailloux : “Synchronous Web Programming,”, International Workshop on Reactive and Event-Based Languages and Systems (REBLS), Amsterdam, Netherlands [El Sibaie 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”, 23rd Static Analysis Symposium (SAS), vol. 9837, Lecture Notes in Computer Science, Edimbourg, United Kingdom, pp. 257-277, (Springer) [Journault 2016]
A. Miné : “Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities”, 6^th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2016), vol. 331, Electronic Notes in Theoretical Computer Science, Edimbourg, United Kingdom, pp. 3-39, (Elsevier) [Miné 2016a]
A. Miné, J. Breck, Th. Reps : “An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs”, 25^th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, vol. 9632, Programming Languages and Systems, Eindhoven, Netherlands, pp. 560-588, (Springer) [Miné 2016b]
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é 2016c]
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”, SAS 2016 - 23rd Static Analysis Symposium, 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”, 8^th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, pp. 711-720 [Varoumas 2016]