| Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | Phare |
| Publications APR | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
|---|---|---|---|---|---|---|---|---|
| Books | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 2 |
| Edited books | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Journal articles | 5 | 4 | 5 | 6 | 5 | 6 | 9 | 40 |
| Book chapters | 0 | 1 | 0 | 0 | 2 | 0 | 0 | 3 |
| Conference papers | 13 | 12 | 18 | 14 | 12 | 11 | 7 | 87 |
| Habilitations | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 3 |
| Theses | 1 | 2 | 7 | 1 | 3 | 3 | 2 | 19 |
- N. Basset, J. Mairesse, M. Soria : “Uniform sampling for networks of automata”, CONCUR 2017 28th International Conference on Concurrency Theory, Berlin, Germany [Basset 2017]
- O. Bodini, M. Dien, A. Genitrini, F. Peschanski : “Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets”, Computer Science Symposium in Russia, Kazan, Russian Federation [Bodini 2017b]
- O. Bodini, M. Dien, A. Genitrini, F. Peschanski : “The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes”, 2017 Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), Barcelone, Spain, pp. 16-30 [Bodini 2017c]
- V. Botbol, E. Chailloux, T. Le Gall : “Static Analysis of Communicating Processes Using Symbolic Transducers”, International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2017, vol. 10145, Lecture Notes in Computer Science, Paris, France, (Springer International Publishing) [Botbol 2017]
- M. Bourgoin, E. Chailloux, A. Doumoulakis : “Profiling High Level Heterogeneous Programs”, Tenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017), Stockholm, Sweden [Bourgoin 2017]
- D. Kästner, A. Miné, A. SCHMIDT, H. Hille, L. Mauborgne, S. Wilhelm, X. Rival, J. Feret, P. Cousot, Ch. Ferdinand : “Finding All Potential Run-Time Errors and Data Races in Automotive Software”, SAE Technical Paper, Detroit, United States, pp. 1-9, (SAE International) [Kästner 2017]
- A. Miné : “Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities”, 6th 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é 2017a]
- R. Monat, A. Miné : “Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions”, Verification, Model Checking, and Abstract Interpretation, vol. 10145, Lecture Notes in Computer Science, Paris, France, pp. 386-404, (Springer) [Monat 2017]
- A. Ouadjaout, A. Miné : “Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains”, Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings, vol. 10422, Lecture Notes in Computer Science, New York, NY, United States, pp. 277-298, (Springer) [Ouadjaout 2017]
- F. Peschanski : “A Lisp Way to Type Theory and Formal Proofs”, 10th European Lisp Symposium (ELS 2017), Bruxelles, Belgium, (ACM) [Peschanski 2017]
- B. Sall, F. Peschanski, E. Chailloux : “Analyse de Bytecode par Raffinement”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Montpellier, France [Sall 2017]
- S. Varoumas, B. Vaugon, E. Chailloux : “OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs”, JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Gourette, France [Varoumas 2017]
- Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné : “Améliorer la propagation : l'Importance d'être Inconsistant”, Treizièmes journées Francophones de Programmation par Contraintes, Montreuil sur Mer, France [Ziat 2017]