• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »Research
  • »Publications

Publications

Publications for Zhilin Wu

2019
DOI
[bibtex]
Mihaela Sighireanu, Juan A. Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomas Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu. SL-COMP: Competition of Solvers for Separation Logic. TACAS 2019, Volume 11429 of LNCS, pages 116–132, Springer, 2019.
Show all
  • MOVES seminar
  • Publications
  • Projects
  • Tools

Latest News

  • EAPLS PhD Dissertation Award 2018

    December 12, 2019
    We are excited to announce that Christian Hensel has won the EAPLS (European Association of Programming Language and Systems) PhD Dissertation Award 2018. His dissertation on “The Probabilistic Model Checker …
  • Incubator Grant for COMPASS

    October 25, 2019
    Anzen Engineering has been granted an ESA-BIC Incubator Grant to further develop the COMPASS 3.0 tool that has been developed by the MOVES group in close cooperation with the Embedded …
  • Paper in STTT

    October 24, 2019
    The paper entitled “IC3 Software Model Checking” by Tim Lange, Martin R. Neuhäußer (Siemens AG), Thomas Noll, and Joost-Pieter Katoen has been accepted for the International Journal on Software Tools …

Links

  • RWTH Aachen
  • Fachgruppe Informatik