Home > Site Map
Site Map
-
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
-
Jobs/Internships
- 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
- [TAKEN] Cooperative and Parallel simulation: experimenting with the SystemC scheduler
- [TAKEN] Dedicated Compilation Techniques for SystemC (based on LLVM)
- [TAKEN] Performance optimization for multi-core simulators
- [TAKEN] Parallel programming in modeling of embedded systems
- [TAKEN] Distributed Simulation for Embedded Systems
- [TAKEN] Simulation coopérative et parallèle : expérimentations avec le scheduler SystemC
- [CANCELED] [M2 Research] Code Generation for Simulation of Parallel Process Networks
- [CANCELED][Ph.D] Formal Verification of Process Networks as Compiler Intermediate Representation
- [Pris] Un Enigma moderne
- [TAKEN] Dedicated compilation techniques for a domain-specific language (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
- Automatic parallelization of sparse-matrix operations
- [Master 2 Recherche] Ordonnancement de processus sous contrainte de pipeline
- [TAKEN] Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory
- [TAKEN] Implementation and experimentation of dataflow explicit futures
-
Projects
-
Students/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 (Ph.D)
- 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
-
Talks
- 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?
-
Tools
- 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
-
Misc
-
Grenoble INP
-
L2 Lyon1
-
Tools
- Pictures on Piwigo
- Ancien Blog : Post-Doc à Bangalore
- Des photos ...
- Sites Amis
- Sites et logiciels d’albums photos
-
Recipes
- 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
| Log in |
Site Map |
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License