Travelled to:1 × Belgium
1 × Italy
1 × USA
Collaborated with:D.Kröning M.Brain A.Podelski T.Wies
Talks about:quantifi (2) assert (2) array (2) counterexampl (1) transform (1) precondit (1) simplifi (1) abstract (1) verif (1) refin (1)
Person: Mohamed Nassim Seghir
DBLP: Seghir:Mohamed_Nassim
Contributed to:
2013
2012
2009Wrote 3 papers:
- ESOP-2013-SeghirK
- Counterexample-Guided Precondition Inference (MNS, DK), pp. 451–471.
- LOPSTR-2012-SeghirB #array #program transformation #quantifier #verification
- Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.
- SAS-2009-SeghirPW #abstraction #array #quantifier #refinement
- Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.