Skip to main content

Nassim Seghir : Publications

Click here to download all publications in a single bibtex file

@inproceedings{SeghirKroening13,
  title = "Counterexample-guided Precondition Inference",
  author = "Mohamed Nassim Seghir and Daniel Kroening",
  year = "2013",
  booktitle = "ESOP",
}
@inproceedings{Seghir11,
  title = "A Lightweight Approach for Loop Summarization",
  author = "Mohamed Nassim Seghir",
  year = "2011",
  booktitle = "ATVA",
  pages = "351-365",
}
@inproceedings{Seghir10,
  title = "An Assume Guarantee Approach for Checking Quantified Array Assertions",
  author = "Mohamed Nassim Seghir",
  year = "2010",
  booktitle = "AMAST",
  pages = "226-235",
}
@inproceedings{SeghirPW09,
  title = "Abstraction Refinement for Quantified Array Assertions",
  author = "Mohamed Nassim Seghir and Andreas Podelski and Thomas Wies",
  year = "2009",
  booktitle = "SAS",
  pages = "3-18",
}
@inproceedings{SeghirP07,
  title = "{ACSAR}: Software Model Checking with Transfinite Refinement",
  author = "Mohamed Nassim Seghir and Andreas Podelski",
  year = "2007",
  booktitle = "SPIN",
  pages = "274-278",
}
@inproceedings{DaumMSS05,
  title = "Integration of a Software Model Checker into Isabelle",
  author = "Matthias Daum and Stefan Maus and Norbert Schirmer and M. Nassim Seghir",
  year = "2005",
  booktitle = "LPAR",
  pages = "381-395",
}