Mohamed Iguernelala

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Venues

SMT@IJCAR

CAV (2)

RSSRail

SYNASC

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clément Fumex
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. CAV (2) (2017)
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo. UITP (2016)
Sylvain Conchon, Mohamed Iguernelala
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo. RSSRail (2016)
Sylvain Conchon, Mohamed Iguernelala
Tuning the Alt-Ergo SMT Solver for B Proof Obligations. ABZ (2014)
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. SYNASC (2013)
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation Log. Methods Comput. Sci. 8 (3) (2012)
Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers. SMT@IJCAR (2012)
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. IJCAR (2012)
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. TACAS (2011)
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
Ground Associative and Commutative Completion Modulo Shostak Theories. LPAR short papers(Yogyakarta) (2010)

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

Publication Activity (10 Years)

Top Topics

Top Venues

Mohamed Iguernelala