Home
>
Verimag
>
Publications
bibtex
@phdthesis{Cor08,
title = {Separation of Functional and Non-Functional Aspects in Transactional Level Models of Systems-on-Chip },
author = {Cornet, J\'er\^ome},
year = {2008},
school = {Institut National Polytechnique de Grenoble},
team = {SYNC},
}
Publication Sections
Synchrone by years
Synchrone by kinds
RSD by years
RSD by kinds
PACSS by years
PACSS by kinds
Tempo by years
Tempo by kinds
Verimag by years
Verimag by kinds
Browsing
Sections
Verimag
Members
Publications
Peer reviewed
Technical Reports
Tools
Projects
Partners
Workshops and Conferences
Seminars
Documents
Teams
Contact
Site Map
Search:
Building Access
News
Seminars
Seminars
18 February 2019
Guillaume Baudart:
Probabilistic reactive programming
22 February 2019
Moustapha Lo:
Implementing a real-time avionic application on a manycore processor (Phd)
New publications
Recent Publications
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis:
Early validation of system requirements and design through correctness-by-construction
Steven De Oliveira:
Finding constancy in linear routines
Klaus Havelund, Doron Peled, Dogan Ulus:
DejaVu: A Monitoring Tool for First-Order Temporal Logic
Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem:
Algorithmic Complexity of Correctness Testing in MC-Scheduling
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem:
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem:
Predictability in Mixed-Criticality Systems
Jobs and internships
Jobs and internships
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
|
Site Map
|
Site powered by SPIP 3.0.28
+
AHUNTSIC
[CC License]
info visites
1169894
English
Français