LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications » Book chapters
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Theses
Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
Publications ALSOC201420152016201720182019Total
Books0000000
Edited books0000000
Journal articles71743325
Book chapters0100203
Conference papers117151212966
Habilitations0001001
Theses42320213
LIP6
  • F. Pêcheux, M.‑M. Louërat, K. Einwich : “SystemC AMS and Cosimulation Aspects”, chapter in System-level Modeling of MEMS, vol. 10, Advanced Micro and Nanosystems, T. Bechtold, G. Schrag, L. Feng (Eds.), pp. 357-376, (Wiley), (ISBN: 978-3-527-31903-9) [Pêcheux 2013]
  • S.‑H. Syed‑Alwi, C. Braunstein, E. Encrenaz : “Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process”, chapter in Models, Methods and Tools for Complex Chip Design, selected contributions from FDL 2012, vol. 265, Lecture Notes in Electrical Engineering, pp. 17-36, (Springer), (ISBN: 978-3-319-01417-3) [Syed-Alwi 2013]
 Mentions légales
Site map |