Mohamed Nassim Seghir

According to our database, Mohamed Nassim Seghir authored at least 17 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Sub-Turing Islands in the Wild.

Earl T. Barr, David W. Binkley, Mark Harman, Mohamed Nassim Seghir

CoRR, 2019

2018

DCert: Find the Leak in Your Pocket.

Mohamed Nassim Seghir

CoRR, 2018

Certificate Enhanced Data-Flow Analysis.

Mohamed Nassim Seghir

CoRR, 2018

Data-Flow Guided Slicing.

Mohamed Nassim Seghir

CoRR, 2018

2016

DroidGen: Constraint-based and Data-Driven Policy Generation for Android.

Mohamed Nassim Seghir, David Aspinall

CoRR, 2016

Certified Lightweight Contextual Policies for Android.

Mohamed Nassim Seghir, David Aspinall, Lenka Mareková

Proceedings of the IEEE Cybersecurity Development, 2016

2015

EviCheck: Digital Evidence for Android.

Mohamed Nassim Seghir, David Aspinall

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Necessary and Sufficient Preconditions via Eager Abstraction.

Mohamed Nassim Seghir, Peter Schrammel

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

A visual studio plug-in for CProver.

Mohamed Nassim Seghir, Daniel Kroening

Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013

Counterexample-Guided Precondition Inference.

Mohamed Nassim Seghir, Daniel Kroening

Proceedings of the Programming Languages and Systems, 2013

2012

Simplifying the Verification of Quantified Array Assertions via Code Transformation.

Mohamed Nassim Seghir, Martin Brain

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

A Lightweight Approach for Loop Summarization.

Mohamed Nassim Seghir

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Abstraction refinement techniques for software model checking.

Mohamed Nassim Seghir

PhD thesis, 2010

An Assume Guarantee Approach for Checking Quantified Array Assertions.

Mohamed Nassim Seghir

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Abstraction Refinement for Quantified Array Assertions.

Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies

Proceedings of the Static Analysis, 16th International Symposium, 2009

2007

ACSAR: Software Model Checking with Transfinite Refinement.

Mohamed Nassim Seghir, Andreas Podelski

Proceedings of the Model Checking Software, 2007

2005

Integration of a Software Model Checker into Isabelle.

Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir

Proceedings of the Logic for Programming, 2005