| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | ACASA |
| Publications APR | 2023 | 2024 | Total |
|---|---|---|---|
| Books | 0 | 0 | 0 |
| Edited books | 0 | 0 | 0 |
| Journal articles | 10 | 4 | 14 |
| Book chapters | 0 | 0 | 0 |
| Conference papers | 8 | 7 | 15 |
| Habilitations | 1 | 0 | 1 |
| Thesis | 2 | 1 | 3 |
- O. Bodini, A. Genitrini, M. Naima, A. Singh : “Families of Monotonic Trees: Combinatorial Enumeration and Asymptotics”, Computer Science - Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings, vol. 12159, Lecture Notes in Computer Science, Yekaterinburg, Russian Federation, pp. 155-168, (Springer), (ISBN: 978-3-030-50025-2) [Bodini 2020b]
- B.‑M. Bui‑Xuan, H. Hourcade, C. Miachon : “Computing Temporal Twins in Time Logarithmic in History Length”, 9th International Conference on Complex Networks and their Applications, Madrid, Spain [Bui-Xuan 2020]
- J. Clement, A. Genitrini : “Binary Decision Diagrams: from Tree Compaction to Sampling”, LATIN 2020: Theoretical Informatics, LATIN 2020: Theoretical Informatics, Sao Polo, Brazil [Clement 2020]
- M. Falk, Ch. Garth, Ch. Gueunet, P. Guillou, A. Gyulassy, L. Hofmann, Ch. Kappe, J. Levine, J. Lukasczyk, J. Tierny, J. Vidal : “Topological Data Analysis Made Easy with the Topology ToolKit, What is New?”, IEEE VIS Tutorials, Salt Lake City, United States [Falk 2020]
- A. Genitrini, M. PĂ©pin, F. Peschanski : “Statistical Analysis of Non-Deterministic Fork-Join Processes”, Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, vol. 12545, Lecture Notes in Computer Science, Macau, China, pp. 83-102, (Springer) [Genitrini 2020b]
- M. Journault, P. Lafourcade, M. More, R. Poulain, L. Robert : “How to Teach the Undecidability of Malware Detection Problem and Halting Problem”, WISE13: The 13th World Conference on Information Security Education, Maribor, Slovenia [Journault 2020a]
- M. Journault, P. Lafourcade, R. Poulain, M. More : “Une preuve pour le lycĂ©e de l'indĂ©cidabilitĂ© du problème de l'arrĂŞt”, Didapro 8 – DidaSTIC L’informatique, objets d’enseignements – enjeux Ă©pistĂ©mologiques, didactique et de formation, Lille, France [Journault 2020b]
- B. Kabi, E. Goubault, A. MinĂ©, S. Putot : “Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants”, Software Verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles,, vol. 12549, Lecture Notes in Computer Science, Los Angeles, CA, United States, pp. 221-238, (Springer) [Kabi 2020]
- Th. Lecomte, D. DĂ©harbe, D. Sabatier, E. Prun, P. PĂ©ronne, E. Chailloux, S. Varoumas, A. Susungi, S. Conchon : “Low Cost High Integrity Platform: regular paper”, ERTS 2020 - 10th European Congress on Embedded Real Time Systems, Toulouse, France [Lecomte 2020]
- D. Merigoux, R. Monat, Ch. Gaie : “Étude formelle de l'implĂ©mentation du code des impĂ´ts”, JFLA 2020 - 31ème JournĂ©es Francophones des Langages Applicatifs, Gruissan, France [Merigoux 2020]
- R. Monat, A. Ouadjaout, A. MinĂ© : “Static Type Analysis by Abstract Interpretation of Python Programs”, 34th European Conference on Object-Oriented Programming (ECOOP 2020), vol. 166, Leibniz International Proceedings in Informatics (LIPIcs), Berlin (Virtual / Covid), Germany, (Schloss Dagstuhl--Leibniz-Zentrum fĂĽr Informatik) [Monat 2020a]
- R. Monat, A. Ouadjaout, A. MinĂ© : “Value and Allocation Sensitivity in Static Python Analyses”, Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, London, United Kingdom, pp. 8-13, (ACM) [Monat 2020b]
- A. Ouadjaout, A. MinĂ© : “A Library Modeling Language for the Static Analysis of C Programs”, 27th Static Analysis Symposium, vol. 12389, Lecture Notes in Computer Science, Chicago, United States, pp. 223-247 [Ouadjaout 2020]
- L. Sylvestre, E. Chailloux : “ExpĂ©rimentations pĂ©dagogiques en Learn-OCaml”, 31ème JournĂ©es Francophones des Langages Applicatifs, Gruissan, France [Sylvestre 2020]
- S. Varoumas, B. Pesin, B. Vaugon, E. Chailloux : “Programming microcontrollers through high-level abstractions”, VMIL 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Chicago / Virtual, United States, pp. 5-14, (Association for Computing Machinery) [Varoumas 2020]
- Gh. Ziat, A. MarĂ©chal, M. Pelleau, A. MinĂ©, Ch. Truchet : “Combination of Boxes and Polyhedra Abstractions for Constraint Solving”, Formal Methods. FM 2019 International Workshops, vol. 12233, Lecture Notes in Computer Science, Porto, Portugal, pp. 119-135, (Springer International Publishing), (ISBN: 978-3-030-54997-8) [Ziat 2020]