Accueil
>
Contact
>
Contact
Contact
Qui contacter
Venir à Verimag
Actualités
Conférences
Webinar. June, 4th. 2pm CET.
CAPITAL Workshop - sCalable And PrecIse Timing AnaLysis for multicore platforms
Séminaires
Séminaires
23 avril 2021
Schoitsch Erwin :
Ethical aspects and recommendations for trustworthy highly automated/autonomous (...)
Nouvelles publications
Quelques Publications Récentes
Matheus Schuh, Claire Maiza, Joël Goossens, Pascal Raymond, Benoît Dupont De Dinechin:
A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit:
Self-stabilizing Systems in Spite of High Dynamics
Cristian Ene, Laurent Mounier, Marie-Laure Potet:
Output-sensitive Information flow analysis
Nacim Meslem, Thao Dang:
On the Reachable Set of Uncertain Closed Loop Discrete-Time Linear Systems
Offres d'emploi et stages
Offres d'emploi et stages
Certified compilation for security
Convex polyhedra in floating point
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
Simulation of Distributed Algorithms
Verifying Concurrent Systems with Automata over Infinite Alphabets
Navigation
Rubriques
Verimag
Axes
Contact
Qui contacter
Venir à Verimag
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.1.15
+
AHUNTSIC
[CC License]
info visites
1730405
English
Français