Verimag takes part to the "fête de la science"

Sections

• Verimag
  • Members
  • Publications
  • Tools
  • Projects
  • Partners
  • Workshops and Conferences
  • Seminars
  • Documents
• Teams
• Contact
• Site Map

---

---

• Building Access

News

Seminars

• Seminars
  • 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
  • 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
  • 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
  • 31 January 2019 Jacques Combaz: Assembling components in bip

New publications

• Recent Publications
  • Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
  • Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture
  • Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros: Maximal software execution time: a regression-based approach
  • Stéphane Devismes, David Ilcinkas, Colette Johnen: Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants
  • Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem: Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
  • Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems

Jobs and internships

• Jobs and internships
  • Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
  • Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
  • Post-Doc and/or Research Engineer positions on Software Security
  • [M2 internship] Self-Stabilization in TVG
  • [Postdoc positions] Coq Developments