BIP Extensions

Sections

• Verimag
• Topics
• Contact
• Site Map

---

• Building Access

News

Seminars

• Seminars
  • 3 December 2020 Jacques Combaz: Introduction aux effets rebond

New publications

• Some Recent Publications
  • Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
  • Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
  • Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
  • Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra

Jobs and internships

• Jobs and internships
  • Decision Procedures for Separation Logic Modulo Theories of Data
  • Local Reasoning about Reconfigurable Component-based Systems
  • PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
  • Postdoctoral position at VERIMAG
  • Simulation of Distributed Algorithms
  • Verifying Concurrent Systems with Automata over Infinite Alphabets