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 books22232112
Journal articles861084339
Book chapters1011014
Conference papers26231823156111
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]
  • S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec : “A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations”, International Conference on Business Process Management (BPM), Vienna, Austria [Houhou 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”, TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11427, Lecture Notes in Computer Science, Prague, Czech Republic, pp. 135-151 [Le Frioux 2019]
  • H. Metin, S. Baarir, F. Kordon : “Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving”, NASA Formal Methods Symposium, vol. 11460, Lecture Notes in Computer Science, Houston, USA, pp. 316-332 [Metin 2019]
 Mentions légales
Site map |