Home
>
Verimag
>
Seminars
Seminar details
Room 206 (2nd floor, badged access)
11 February 2021 - 14h00
To be announced
by
Franck Pommereau
from IBISC - Université d'Evry
Abstract: Formal modeling and analysis for ecological systems. See author's homepage.
Browsing
Sections
Verimag
Direction and Boards
Members
Publications
Tools
Ongoing Phd Thesis
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Archives
Documents
Topics
Contact
Site Map
Building Access
News
Seminars
Seminars
12 November 2026
David Monniaux:
The existence of polyhedral invariants is undecidable for linear systems
19 November 2026
Clement Chavanon:
Barocq: a high-level programming language for efficient and verifiable embedded system (…)
26 November 2026
Basile Gros:
Proxy-based small inversions for the rocq prover (Phd)
New publications
Some Recent Publications
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian:
Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs
Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian:
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Jobs and internships
Jobs and internships
Contact
|
Site Map
|
Site powered by SPIP 4.4.23
+
AHUNTSIC
[CC License]
info visites
9267648
English
Français