Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications ALSOC | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 6 | 0 | 6 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 9 | 5 | 14 |
Habilitations | 0 | 0 | 0 |
Soutenance de Thèses | 3 | 0 | 3 |
- S. Baarir, C. Braunstein, E. Encrenaz, J.‑M. Ilié, I. Mounier, D. Poitrenaud, S. Younes : “Feasibility Analysis for Robustness Quantification by Symbolic Model Checking”, Formal Methods in System Design, vol. 39 (2), pp. 165-184, (Springer Verlag) [Baarir 2011a]
- Y. Gendrault, M. Madec, Ch. Lallement, F. Pêcheux, J. Haiech : “Synthetic biology methodology and model refinement based on microelectronic modeling tools and languages”, Biotechnology Journal, vol. 6 (7), pp. 796-806, (Wiley-VCH Verlag) [Gendrault 2011b]
- H. Mokrani, R. Ameur‑Boulifa, E. Encrenaz, S. Coudert : “Approche pour l'intégration du raffinement formel dans le processus de conception des SOC”, Journal Européen des Systèmes Automatisés (JESA), vol. 45 (1-3), pp. 221-236, (Lavoisier) [Mokrani 2011]
- A. Munier‑Kordon : “A graph-based analysis of the cyclic scheduling problem with time constraints: schedulability and periodicity of the earliest schedule”, Journal of Scheduling, vol. 14 (1), pp. 103-117, (Springer Verlag) [Munier-Kordon 2011]
- H. Ozaktas, K. Heydemann : “Compression de code pour processeurs haute performance”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 30 (9), pp. 1035-1059, (Lavoisier) [Ozaktas 2011]