Laboratoire TIMA

Équipes de recherche

Tutelles/structures partenaires

Coopération

Production Scientifique

Valorisation

Travailler à TIMA

TIMA est un laboratoire public de recherche sous la tutelle du Centre National de la Recherche Scientifique (CNRS), de l’Institut Polytechnique de Grenoble (Grenoble INP), et de l’Université Grenoble Alpes (UGA). La recherche à TIMA se compose de 5 équipes :

Dernières publications

Plassan G., Morin-Allory K., Borrione D., Mining Missing Assumptions from Counter-Examples, Transactions on Embedded Computing Systems (TECS), Ed. ACM, NY, USA, Vol. 18, No. 1, DOI: 10.1145/3288759, 2019

Martin H., Peris-Lopez P., Di Natale G., Taouil M., Hamdioui S., Enhancing PUF Based Challenge-Response Sets by Exploiting Various Background Noise Configurations, MDPI Electronics, Ed. MDPI, Vol. 8, No. 2, DOI: 10.3390/electronics8020145, 2019

Ayres A., Rozeau O., Borot B., Fesquet L., Batude P., Vinet M., Variance Analysis in 3D Integration: A Statistically Unified Model with Distance Correlations, IEEE Transactions on Electron Devices, Ed. IEEE, Vol. 66, No. 1, pp. 633-640, DOI: 10.1109/TED.2018.2879680, 2019

Skaf A., Ezzadeen M., Benabdenbi M., Fesquet L., Adjustable Precision Computing Using Redundant Arithmetic, Workshop on Approximate Computing (AxC'2019), Florence, ITALY, 2019

Brignon E., Pierre L., Assertion-Based Verification through Binary Instrumentation, Design, Automation and Test in Europe (DATE'2019), Florence, ITALY, 2019