Accueil > Plan du site
Plan du site
-
Publications
- BibTeX list of Publications
- ACM Authorizer links
- Habilitation à Diriger des Recherches (HDR)
- Ph.D thesis of Computer Science : Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level
- Thèse d’informatique : Techniques et outils pour la vérification de Systèmes-sur-Puce au niveau transaction
-
Stages/emplois
- Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level
- Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level
- Improving Diagnosis Quality and Performances of a Formal Verification Tool for Electric Circuits at Transistor Level
- [PRIS] Simulation coopérative et parallèle : expérimentations sur le scheduler SystemC
- [PRIS] Techniques de compilation dédiées pour le simulateur SystemC (basé sur LLVM)
- [PRIS] Optimisations de performances de simulateurs sur machines multi-cœurs
- [PRIS] Programmation parallèle pour la modélisation des systèmes embarqués
- [PRIS] Simulation distribuée pour les systèmes embarqués
- [PRIS] Simulation coopérative et parallèle : expérimentations avec le scheduler SystemC
- [CANCELED] [M2 Research] Code Generation for Simulation of Parallel Process Networks
- [CANCELED][Thèse] Vérification formelle de réseaux de processus comme représentation intermédiaire d’un compilateur
- [Pris] Un Enigma moderne
- [TAKEN] Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)
- [Taken] Applying Symbolic Model-Checking Techniques to Circuit Electric Verification
- [TAKEN] Dedicated Solver for Formal Verification of Electric Circuits with Multiple Power Supplies
- [Taken] Theoretical complexity of graph-analysis for electrical circuit error detection
- [TAKEN] Visualisation graphique de traces de simulation de systèmes sur puces
- Parallélisation automatique d’operations sur matrices creuses
- [Master 2 Recherche] Ordonnancement de processus sous contrainte de pipeline
- [TAKEN] Thèse financée : Gestion dynamique de la mémoire non-volatile embarquée
- [TAKEN] Implementation and experimentation of dataflow explicit futures
-
Projets
-
Étudiants/Post-docs
- Alexandra Dobre
- Amaury Graillat (IRL)
- Amaury Graillat (M2R)
- Amaury Graillat (PhD)
- Amaury Maillé
- Bilel Aouadhi
- Denis Becker
- Eduardo León
- Florian Guffon
- Francesco Bongiovanni
- Gaetan Sancassani
- Giovanni Funchal
- Guillaume Sarrazin
- Guillaume Sergent
- Hamza Rihani
- Hanan Kanso
- Henry-Joseph Audeoud
- Hugues de Lassus Saint-Geniès
- Julian Bruyat
- Juliana Du
- Julien Henry (Thèse)
- Julien Henry (M2R)
- Julien Henry (TER/IRL)
- Kevin Marquet
- Ligia Novacean
- Liliana Andrade
- Loïc Crétin
- Madhav Jha
- Mamoudou Bah
- Marc Pegon
- Mohamed Taoufiq El Aissaoui
- Mohamed Zaim-Wadghiri
- Nabila Abdessaied
- Pierre-Yves Delahaye
- Rafael Velasquez
- Ranjan Ravi
- Romain Salles
- Samuel Jones
- SangHoon Kwak
- Si-Mohamed Lamraoui
- Tayeb Bouhadiba
- Valentin Bousson
- Xavier Jean
- Xavier Poczekajlo
- Yanhong Liu
-
Exposés
- A talk about non-functional properties in embedded systems
- A talk on Bazaar, a Distributed Version Control System
- A talk on Git, a Distributed Version Control System
- A Theoretical and Experimental Review of SystemC Front-ends
- Arrival Curves for Real-Time Calculus : the Causality Problem and its Solutions
- Causality Closure for a New Class of Curves in Real-Time Calculus
- Mini Power-Aware TLM-Platform
- Modeling of Time in Discrete-Event Simulation of Systems-on-Chip
- Parallel Programming with SystemC for Loosely Timed Models : A Non-Intrusive Approach
- Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
- PinaVM and Tweto : Compilation and Optimization Techniques for SystemC
- PinaVM : a SystemC Front-End Based on an Executable Intermediate Representation
- Pourquoi et comment se lancer dans le libre quand on est étudiant (ou pas) ?
- Prototypage virtuel de système sur puce pour une simulation rapide et fidèle
- Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip
- Transaction-Level Models of Systems-on-a-Chip Can they be Fast, Correct and Faithful ?
- Transaction-Level Models of Systems-on-a-Chip : Can they be Correct, Faithful and Fast ?
-
Outils
- Fast and Accurate TLM Simulations using Temporal Decoupling for FIFO-based Communications
- HAL "no proceedings" checker
- LIBTLMPWT : Model Power-Consumption and Temperature in SystemC/TLM
- Pinapa : (deprecated) SystemC front-end based on GCC
- PinaVM : SystemC front-end based on LLVM
- sc-during : Parallel Programming on Top of SystemC
-
L3 Lyon 1
-
M1 Lyon 1
-
Divers
-
Grenoble INP
-
L2 Lyon1
-
Tools
- Photos sur Piwigo
- Ancien Blog : Post-Doc à Bangalore
- Des photos ...
- Sites Amis
- Sites et logiciels d’albums photos
-
Recettes
- Ailleurs, ils ont des bonnes recettes aussi
- Brownie chocolat-noix-poires
- Buche au pavot et au citron
- Cannelés salés
- Crème butternut, amandes & orange
- Crèmes brulées
- Crumble à l’huile de coco
- Financiers
- Galette des rois (Pithiviers)
- Gâteau arc en ciel
- Gâteau de Châtaigne
- Macarons et ganaches
- Moelleux au chocolat blanc et chartreuse
- Pâte sablée
- Tarte au citron à la poudre d’amandes
- Tiramisu fruits rouges speculos
-
Photo
| Se connecter |
Plan du site |
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License