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", }