Mohamed Nassim Seghir

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 7

Top Venues

CoRR

SecDev

LOPSTR

TOPI@ICSE

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Earl T. Barr, David W. Binkley, Mark Harman, Mohamed Nassim Seghir
Sub-Turing Islands in the Wild. CoRR (2019)
Mohamed Nassim Seghir
Certificate Enhanced Data-Flow Analysis. CoRR (2018)
Mohamed Nassim Seghir
Data-Flow Guided Slicing. CoRR (2018)
Mohamed Nassim Seghir
DCert: Find the Leak in Your Pocket. CoRR (2018)
Mohamed Nassim Seghir, David Aspinall, Lenka Mareková
Certified Lightweight Contextual Policies for Android. SecDev (2016)
Mohamed Nassim Seghir, David Aspinall
DroidGen: Constraint-based and Data-Driven Policy Generation for Android. CoRR (2016)
Mohamed Nassim Seghir, David Aspinall
EviCheck: Digital Evidence for Android. ATVA (2015)
Mohamed Nassim Seghir, Peter Schrammel
Necessary and Sufficient Preconditions via Eager Abstraction. APLAS (2014)
Mohamed Nassim Seghir, Daniel Kroening
Counterexample-Guided Precondition Inference. ESOP (2013)
Mohamed Nassim Seghir, Daniel Kroening
A visual studio plug-in for CProver. TOPI@ICSE (2013)
Mohamed Nassim Seghir, Martin Brain
Simplifying the Verification of Quantified Array Assertions via Code Transformation. LOPSTR (2012)
Mohamed Nassim Seghir
A Lightweight Approach for Loop Summarization. ATVA (2011)
Mohamed Nassim Seghir
An Assume Guarantee Approach for Checking Quantified Array Assertions. AMAST (2010)
Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies
Abstraction Refinement for Quantified Array Assertions. SAS (2009)
Mohamed Nassim Seghir, Andreas Podelski
ACSAR: Software Model Checking with Transfinite Refinement. SPIN (2007)
Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir
Integration of a Software Model Checker into Isabelle. LPAR (2005)

Mohamed Nassim Seghir.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohamed Nassim Seghir