Equipes atuais :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Antigos grupos :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Antigos tópicos de pesquisa :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publicações ALSOC	2015	2016	2017	2018	2019	2020	Total
Livros	0	0	0	0	0	0	0
Livros Editados	0	0	0	0	0	0	0
Jornais	1	7	4	3	3	0	18
Capítulos de livros	1	0	0	2	1	0	4
Artigos de Conferencia	7	15	12	13	15	0	62
Habilitações (Livre Docência)	0	0	1	0	0	0	1
Teses	2	3	2	0	2	0	9

LIP6

• C. Braunstein, E. Encrenaz : “Using CTL formulae as component abstraction in a design and verification flow”, Application of Concurrency to System Design ACSD IEEE International Conference on Application of Concurrency to System Design, Bratislava, Slovakia, pp. 80-89, (IEEE) [Braunstein 2007b]
• R. Buchmann, A. Greiner : “A Fully Static Scheduling Approach for Fast Cycle Accurate SystemC Simulation of MPSoCs”, ICM International Conference on Microelectronics, Cairo, Egypt, pp. 105-108, (IEEE) [Buchmann 2007]
• E. Encrenaz, A. Finkel : “Automatic Verification of Counter Systems with Ranking Functions”, INFINITY International Symposium on Infinite-Space Systems, Porto, Portugal [Encrenaz 2007]
• Th. Finateu, I. Miro Panades, F. Boissières, J.‑B. Bègueret, Y. Deval, D. Belot, F. Badets : “A 500-Mhz Sigma-Delta Phase Interpolation Direct Digital Synthesizer”, A-SSCC IEEE Asian Solid-State Circuits Conference, Jeju, South Korea, pp. 452-455, (IEEE) [Finateu 2007]
• D. Genius, E. Faure, N. Pouillon : “Deploying a Telecommunication on Multiprocessor Systems-on-Chip”, International Conference on Design and Architectures for Signal and Image Processing, Grenoble, France, pp. 1-8 [Genius 2007]
• I. Miro Panades, A. Greiner : “Bi-Synchronous FIFO for Synchronous Circuit Communication Well Suited for Network-on-chip in GALS Architecture”, NoC ACM/IEEE International Symposium on Networks-on-Chip, Princeton, New Jersey, USA, pp. 83-94, (IEEE) [Miro Panades 2007]
• K. Paul, J. Porquet : “Silicon Compaction/Defragmentation for Partial Runtime Reconfiguration”, DSD EUROMICRO Conference on Digital System Design, Lübeck, Germany, pp. 317-324, (IEEE) [Paul 2007]
• A. Sheibanyrad, A. Greiner : “Hybrid-Timing FIFOs to use on Networks-on-Chip in GALS Architectures”, ESA International Conference on Embedded Systems and Applications, Las Vegas, Nevada, USA, pp. 27-33, (CSREA Press) [Sheibanyrad 2007a]
• A. Sheibanyrad, I. Miro Panades, A. Greiner : “Systematic Comparison between the Asynchronous and the Multi-Synchronous Implementations of a Network on Chip Architecture”, DATE Design Automation and Test in Europe Conference 2007, Nice, France, pp. 1090-1095, (IEEE) [Sheibanyrad 2007b]
• M. Tuna, M. Benabdenbi, A. Greiner : “At-Speed Testing of Core-Based System-On-Chip Using an Embedded Micro-Tester”, VTS IEEE VLSI Test Symposium, Berkeley, California, USA, pp. 447-454, (IEEE) [Tuna 2007a]
• M. Tuna, O. Garcia, M. Benabdenbi : “Software-Based Self-Test Strategies for Memory Caches of RISC Processor Cores”, LATW IEEE Latin-American Test Workshop, Cuzco, Peru, pp. 124-130 [Tuna 2007b]
• M. Vasilevski, F. Pêcheux, H. Aboushady, L. de Lamarre : “Modeling heterogeneous systems using SystemC-AMS case study: A Wireless Sensor Network Node”, IEEE International Workshop on Behavioral Modeling and Simulation (BMAS 2007), San Jose, CA, USA, pp. 11-16, (IEEE) [Vasilevski 2007a]