Error 404

New publications

• Recent Publications
  • Denis Becker, Matthieu Moy, Jérôme Cornet: SycView: Visualize and Profile SystemC Simulations
  • Stéphane Devismes, Colette Johnen: Silent Self-stabilizing BFS Tree Algorithms Revisited
  • Franck de Goer, Roland Groz, Laurent Mounier: Lightweight Heuristics to Retrieve Parameter Associations from Binaries
  • Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit: Snap-Stabilizing Committee Coordination
  • Annamária Szenkovits, Noémi Gask'o, Erwan Jahier: Environment-Model Based Testing with Differential Evolution in an Industrial Setting
  • Pascal Lafourcade, Maxime Puys: Performance Evaluations of Cryptographic Protocols. Verification Tools Dealing with Algebraic Properties

Jobs and internships

• Jobs and internships
  • Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory
  • PhD: Certified roundoff error bounds for programs with loops using polynomial optimization
  • PhD: Timed and Hybrid group (Tempo)
  • Post-Doc: Fault injection and code analysis
  • Post-Docs: Model-Based Design and Validation of Safety-Critical Systems
  • Silent Self-Stabilizing Algorithms: Certification Using Coq

Sections

• Teams
  • Pacss
  • Rsd
  • Synchrone
  • Tempo
• Verimag
  • Presentation
  • Organisation chart
  • People
  • Documents
  • How to reach us
  • Jobs and Internships
• Dissemination
  • Partners
  • Projects
  • Seminars
  • Tools
  • Workshops and Conferences
  • Publications
• Site Map