Mohamed Nassim Seghir

Available identifiers

zbMath Open seghir.mohamed-nassimMaRDI QIDQ2789047

List of research outcomes

Publication	Date of Publication	Type
Necessary and Sufficient Preconditions via Eager Abstraction	2016-02-26	Paper
EviCheck: Digital Evidence for Android	2016-01-08	Paper
Simplifying the Verification of Quantified Array Assertions via Code Transformation	2013-09-13	Paper
Counterexample-Guided Precondition Inference	2013-08-05	Paper
A Lightweight Approach for Loop Summarization	2011-10-07	Paper
An Assume Guarantee Approach for Checking Quantified Array Assertions	2011-01-21	Paper
Abstraction Refinement for Quantified Array Assertions	2009-08-18	Paper
Integration of a Software Model Checker into Isabelle	2008-05-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mohamed Nassim Seghir