Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшая команда : | ACASA |
Публикации APR | 2023 | 2024 | Total |
---|---|---|---|
Книги | 0 | 0 | 0 |
Издания книг | 0 | 0 | 0 |
Статьи в журналах | 10 | 4 | 14 |
Статьи | 0 | 0 | 0 |
Статьи конференций | 8 | 7 | 15 |
Хабилитации | 1 | 0 | 1 |
Thesis | 2 | 1 | 3 |
- O. Bodini, M. Dien, X. Fontaine, A. Genitrini, H.‑K. Hwang : “Increasing Diamonds”, 12th. 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”, 27th 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”, 8th 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 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), TOULOUSE, France, pp. 711-720 [Varoumas 2016]