Nassim Seghir : Publications
|
[1] |
Counterexample−guided Precondition Inference Mohamed Nassim Seghir and Daniel Kroening In ESOP. 2013. |
|
[2] |
A Lightweight Approach for Loop Summarization Mohamed Nassim Seghir In ATVA. Pages 351−365. 2011. |
|
[3] |
An Assume Guarantee Approach for Checking Quantified Array Assertions Mohamed Nassim Seghir In AMAST. Pages 226−235. 2010. |
|
[4] |
Abstraction Refinement for Quantified Array Assertions Mohamed Nassim Seghir‚ Andreas Podelski and Thomas Wies In SAS. Pages 3−18. 2009. |
|
[5] |
ACSAR: Software Model Checking with Transfinite Refinement Mohamed Nassim Seghir and Andreas Podelski In SPIN. Pages 274−278. 2007. |
|
[6] |
Integration of a Software Model Checker into Isabelle Matthias Daum‚ Stefan Maus‚ Norbert Schirmer and M. Nassim Seghir In LPAR. Pages 381−395. 2005. |