Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mohamed Iguernlala

Mohamed Iguernelala

> Home > Persons

Person information

affiliation: University of Paris-Sud, Orsay, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ConchonKBIM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ConchonKBIM21
Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout:
Formally Documenting Tenderbake (Short Paper). FMBC@CAV 2021: 4:1-4:9

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/RouxIC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RouxIC18
Pierre Roux, Mohamed Iguernlala, Sylvain Conchon:
A Non-linear Arithmetic Procedure for Control-Command Software Verification. TACAS (2) 2018: 132-151
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ConchonIJMF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ConchonIJMF17
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: 419-435
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/ConchonI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/ConchonI16
Sylvain Conchon, Mohamed Iguernelala:
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo. RSSRail 2016: 243-253
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ConchonIM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ConchonIM17
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout:
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo. UITP 2016: 1-13
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ConchonI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ConchonI14
Sylvain Conchon, Mohamed Iguernelala:
Tuning the Alt-Ergo SMT Solver for B Proof Obligations. ABZ 2014: 294-297
2013
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Iguernelala13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Iguernelala13
Mohamed Iguernelala:
Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures. (Renforcement du noyau d'un démonstrateur SMT : Conception et implantation de procédures de décisions efficaces). University of Paris-Sud, Orsay, France, 2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/ConchonIM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/ConchonIM13
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout:
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. SYNASC 2013: 161-168
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-3262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-3262
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)
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/ConchonMRI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ConchonMRI12
Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala:
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers. SMT@IJCAR 2012: 12-21
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BobotCCIMMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BobotCCIMMM12
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: 67-81
2011
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ConchonCI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ConchonCI11
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala:
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. TACAS 2011: 45-59
2010
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/ConchonCI10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ConchonCI10
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala:
Ground Associative and Commutative Completion Modulo Shostak Theories. LPAR short papers(Yogyakarta) 2010: 35-40

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.