Integration of a Software Model Checker into Isabelle. - Matthias Daum 001; Stefan Maus; Norbert Schirmer; Mohamed Nassim Seghir (LPAR, 2005)

ACSAR: Software Model Checking with Transfinite Refinement. - Mohamed Nassim Seghir; Andreas Podelski (SPIN, 2007)

Abstraction Refinement for Quantified Array Assertions. - Mohamed Nassim Seghir; Andreas Podelski; Thomas Wies (SAS, 2009)

An Assume Guarantee Approach for Checking Quantified Array Assertions. - Mohamed Nassim Seghir (AMAST, 2010)

Abstraction refinement techniques for software model checking. - Mohamed Nassim Seghir (2010)

A Lightweight Approach for Loop Summarization. - Mohamed Nassim Seghir (ATVA, 2011)

Simplifying the Verification of Quantified Array Assertions via Code Transformation. - Mohamed Nassim Seghir; Martin Brain (LOPSTR, 2012)

Counterexample-Guided Precondition Inference. - Mohamed Nassim Seghir; Daniel Kroening (ESOP, 2013)

A visual studio plug-in for CProver. - Mohamed Nassim Seghir; Daniel Kroening (TOPI@ICSE, 2013)

Necessary and Sufficient Preconditions via Eager Abstraction. - Mohamed Nassim Seghir; Peter Schrammel (APLAS, 2014)

EviCheck: Digital Evidence for Android. - Mohamed Nassim Seghir; David Aspinall 001 (ATVA, 2015)

Certified Lightweight Contextual Policies for Android. - Mohamed Nassim Seghir; David Aspinall 001; Lenka Mareková (SecDev, 2016)

DroidGen: Constraint-based and Data-Driven Policy Generation for Android. - Mohamed Nassim Seghir; David Aspinall 001 (CoRR, 2016)

Data-Flow Guided Slicing. - Mohamed Nassim Seghir (CoRR, 2018)

Certificate Enhanced Data-Flow Analysis. - Mohamed Nassim Seghir (CoRR, 2018)

DCert: Find the Leak in Your Pocket. - Mohamed Nassim Seghir (CoRR, 2018)

Sub-Turing Islands in the Wild. - Earl T. Barr; David W. Binkley; Mark Harman; Mohamed Nassim Seghir (CoRR, 2019)