Jump to navigation

Search form

  • My account
  • Impressum
University of Lübeck
University of Lübeck
Institute for Software Engineering
and Programming Languages
Home

You are here

Home › Staff › Grigory Markin ›

Publications

2015
Martin, Leucker, Grigory Markin, and R. Neuhäußer Martin A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. :155–170. 2015.  
  • News
  • Research
    • Projects
    • Publications
    • Partners
  • Teaching
    • Theses
      • FAQ
      • Templates
    • Courses
  • Staff
    • Martin Leucker
    • Diedrich Wolter
    • Ulrike Schräger-Ahrens
    • Mahmoud Abdelrehim
    • Aliyu Ali
    • Phillip Bende
    • Moritz Bayerkuhnlein
    • Marc Bätje
    • Tobias Braun
    • Gerhard Buntrock
    • Raik Dankworth
    • Anja Grotrian
    • Raik Hipler
    • Elaheh Hosseinkhani
    • Frauke Kerlin
    • Karam Kharraz
    • Mohammad Khodaygani
    • Ludwig Pechmann
    • Waqas Rehan
    • Martin Sachenbacher
    • Andreas Schuldei
    • Inger Struve
    • Annette Stümpel
    • Gesina Schwalbe
    • Tobias Schwartz
    • Daniel Thoma
    • Sparsh Tiwari
    • Lars Vosteen
    • Open Positions
  • Contact
  • Staff
    • Martin Leucker
    • Diedrich Wolter
    • Ulrike Schräger-Ahrens
    • Mahmoud Abdelrehim
    • Aliyu Ali
    • Marc Bätje
    • Moritz Bayerkuhnlein
    • Tobias Braun
    • Gerhard Buntrock
    • Raik Dankworth
    • Enno Friedl
    • Raik Hipler
    • Elaheh Hosseinkhani
    • Frauke Kerlin
    • Karam Kharraz
    • Mohammad Khodaygani
    • Ludwig Pechmann
    • Waqas Rehan
    • Andreas Schuldei
    • Inger Struve
    • Annette Stümpel
    • Gesina Schwalbe
    • Tobias Schwartz
    • Daniel Thoma
    • Sparsh Tiwari
    • Lars Vosteen
  • Complete List
  • Open Positions

 

© ISP - Institute for Software Engineering and Programming Languages 1996-2025