Mohamed Nassim Seghir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2005–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ATVA | EviCheck: Digital Evidence for Android. | Mohamed Nassim Seghir, David Aspinall |
| 2014 | APLAS | Necessary and Sufficient Preconditions via Eager Abstraction. | Mohamed Nassim Seghir, Peter Schrammel |
| 2013 | ESOP | Counterexample-Guided Precondition Inference. | Mohamed Nassim Seghir, Daniel Kroening |
| 2013 | ICSE | A visual studio plug-in for CProver. | Mohamed Nassim Seghir, Daniel Kroening |
| 2012 | LOPSTR | Simplifying the Verification of Quantified Array Assertions via Code Transformation. | Mohamed Nassim Seghir, Martin Brain |
| 2011 | ATVA | A Lightweight Approach for Loop Summarization. | Mohamed Nassim Seghir |
| 2009 | SAS | Abstraction Refinement for Quantified Array Assertions. | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
| 2005 | LPAR | Integration of a Software Model Checker into Isabelle. | Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir |