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
Séminaires
Documents
Équipes
Contact
Plan du site
Rechercher :
Acces au Batiment
Actualités
Séminaires
Séminaires
22 février 2019
Moustapha Lo:
Implementing a real-time avionic application on a manycore processor (Phd)
Nouvelles publications
Publications Récentes
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem:
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming Dynamic Reconfigurable Systems
Eugene Asarin, Nicolas Basset, Aldric Degorre:
Distance on Timed Words and Applications
Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler:
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis:
Early validation of system requirements and design through correctness-by-construction
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, R?y Boutonnet:
Improving WCET Evaluation using Linear Relation Analysis
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
PHD proposal : Data Mining Dynamic Behaviors using Signal Temporal Logic
Post-Doc and/or Research Engineer positions on Software Security
STMicroelectronics
[M2 internship] Self-Stabilization in TVG
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.0.28
+
AHUNTSIC
[CC License]
info visites
1170560
English
Français