Best paper award for Pascal Lafourcade and Jannik Dreier "Formal Analysis of Electronic Exams" par Dreier, Jannik and Giustolisi, Rosario and Kassem, Ali and Lafourcade, Pascal and Lenzin, Gabriele and Ryan, Peter [1].
Browsing
News
- NEWS
- Autonomous Cyber-Physical Systems and Digital Trust: Design, modeling, validation, implementations, certification Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
- Conferences
- January 20th 2020 ADSL 2020 (@POPL 2020)
- Feb. 24, 2020 Workshop CAPITAL
- May 11-15, 2020 AlgoTel et CoRes 2020
- June 22-26, 2020 MOVEP 2020
- Seminars
- 27 January 2020 Margus Veanes: Symbolic regexes & matching
- 3 February 2020 Matthieu jan And asavoae mihail: Towards automatic extraction of timing models from hdl designs (mihail asavoae) - (...)
- 6 February 2020 Jules Chouquet: Lower bounds for probabilistic k-set agreement through combinatorial (...)
- 12 February 2020 Sébastien Bardin: From safety to security: the case of binary-level code analysis
Seminars
New publications
- Recent Publications
- David Monniaux, Valentin Touzeau: On the Complexity of Cache Analysis for Different Replacement Policies
- Hang Yu, David Monniaux: An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu: SL-COMP: Competition of Solvers for Separation Logic
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
- Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz: A Review of Intrusion Detection Systems for Industrial Control Systems
Jobs and internships
- Jobs and internships
- Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- Self-Stabilization in TVG
