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 MoVe201420152016201720182019Total
Books0010001
Edited books22232011
Journal articles861084238
Book chapters1011014
Conference papers26231723154108
Habilitations0111003
Theses3230008
LIP6
  • E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. Gallà, L. Hillah, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot‑Adet, J. Srba, Y. Thierry‑Mieg, T. van Dijk, K. Wolf : “Presentation of the 9th Edition of the Model Checking Contest”, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, vol. 11429, Prague, Czech Republic, pp. 50-68 [Amparore 2019]
  • E. Bartocci, D. Beyer, P. Black, G. Fedyukovich, H. Garavel, A. Hartmanns, M. Huisman, F. Kordon, J. Nagele, M. Sighireanu, B. Steffen, M. Suda, G. Sutcliffe, T. Weber, A. Yamada : “TOOLympics 2019: An Overview of Competitions in Formal Methods”, 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, pp. 3-24 [Bartocci 2019]
  • F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, F. Hulin‑Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry‑Mieg, J. Van De Pol, K. Wolf : “MCC'2017-The Seventh Model Checking Contest”, 25th TACAS@ETAPS 2019, vol. 11090, Lecture Notes in Computer Science, Prague, Czech Republic, pp. 181-209, (Springer) [Kordon 2019]
  • L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework”, 25th TACAS@ETAPS 2019, vol. 11427, Lecture Notes in Computer Science, Prague, Czech Republic, pp. 135-151 [Le Frioux 2019]
 Mentions légales
Site map |