Accueil
>
Verimag
>
Publications
bibtex
@phdthesis{Sig99,
title = {{C}ontribution at the {D}efinition and {I}mplementation of {E}-{LOTOS} },
author = {Sighireanu, Mihaela},
year = {1999},
address = {Grenoble, France},
school = {Universit\'e Joseph Fourier},
team = {DCS},
}
Sections de Publications
Synchrone par années
Synchrone par types
RSD par années
RSD par types
PACSS par années
PACSS par types
Tempo par années
Tempo par types
Verimag par années
Verimag par types
Navigation
Rubriques
Verimag
Membres
Publications
Avec comité de lecture
Rapports Techniques
Outils
Projets
Partenaires
Colloques et Conférences
Documents
Équipes
Contact
Plan du site
Rechercher :
Acces au Batiment
Actualités
ACTUALITÉS
Bourses de Master pour l’année académique 2018-2019
Conférences
28 - 30 mai 2018
GT Verif 2018
13 July 2018
ADSL 2018
26-28 september 2018
VECoS 2018
10-13 November 2018
RV 2018
Séminaires
Séminaires
17 mai 2018
Michael Perin:
Automatic grading: take a cegar and let the machine do your work
Nouvelles publications
Publications Récentes
Guillaume Phavorin, Pascal Richard, Joël Goossens, Claire Maiza, Laurent George, Thomas Chapeaux:
Online and offline scheduling with cache-related preemption delays
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore:
Self-stabilizing silent disjunction in an anonymous network
Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore:
Leader Election in Asymmetric Labeled Unidirectional Rings
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe:
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Nikolaos Kekatos, Marcelo Forets, Goran Frehse:
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata
Arvind S. Adimoolam, Thao Dang:
Template complex zonotopes for stability and invariant verification
Offres d'emploi et stages
Offres d'emploi et stages
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
[M1 internship] Modeling of Graph Topologies Using Coq
[M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[M2 internship] Models of Distributed Algorithms
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.0.26
+
AHUNTSIC
[CC License]
info visites
988036
English
Français