Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Alain Mebsout · SciRah

Researcher profile · Semantic Scholar

Alain Mebsout

Share profile

Alain Mebsout — researcher profile on SciRah

h-index: 11
Works: 23
Citations: 529

Most-cited papers

The Kind 2 Model Checker
Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli
2016International Conference on Computer Aided Verification121 citations
Semantic Scholar
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq
Burak Ekici, Alain Mebsout, Cesare Tinelli, C. Keller +3 more
2017International Conference on Computer Aided Verification110 citations Open access
Semantic Scholar
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper
Sylvain Conchon, A. Goel, S. Krstic, Alain Mebsout +1 more
2012International Conference on Computer Aided Verification107 citations Open access
Semantic Scholar
Invariants for finite instances and beyond
Sylvain Conchon, A. Goel, S. Krstic, Alain Mebsout +1 more
2013Formal Methods in Computer-Aided Design41 citations Open access
Semantic Scholar
Software - The Alt-Ergo theorem prover
Sylvain Conchon, Évelyne Contejean, Stéphane Lescuyer, Alain Mebsout +1 more
201030 citations
Semantic Scholar
Proof certificates for SMT-based model checkers for infinite-state systems
Alain Mebsout, Cesare Tinelli
2016Formal Methods in Computer-Aided Design24 citations
Semantic Scholar
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
François Bobot, Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala +3 more
2012International Joint Conference on Automated Reasoning21 citations Open access
Semantic Scholar
Certificates for Parameterized Model Checking
Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi
2015World Congress on Formal Methods19 citations
Semantic Scholar
Qualification of a Model Checker for Avionics Software Verification
Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, D. Cofer +1 more
2017NASA Formal Methods16 citations
Semantic Scholar
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Burak Ekici, Guy Katz, C. Keller, Alain Mebsout +2 more
2016HaTT@IJCAR16 citations Open access
Semantic Scholar
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
20132013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing13 citations Open access
Semantic Scholar
Formal Methods Tool Qualification
Lucas G. Wagner, D. Cofer, Konrad Slind, Cesare Tinelli +1 more
20174 citations
Semantic Scholar
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
2017UITP4 citations Open access
Semantic Scholar
Tezos: the OCaml Crypto-Ledger
Benjamin Canou, Grégoire Henry, P. Chambart, F. Le Fessant +6 more
20172 citations
Semantic Scholar
Software and Platforms - The Alt-Ergo theorem prover
Sylvain Conchon, Évelyne Contejean, Alain Mebsout, Mohamed Iguernelala
20132 citations
Semantic Scholar
Formally Documenting Tenderbake (Short Paper)
Sylvain Conchon, A. Korneva, Çagdas Bozman, Mohamed Iguernlala +1 more
2021FMBC@CAV0 citations
Semantic Scholar
SMTCoq Proof witness Certi fi cate Formula Coq goal Legend : Coq checker + Soundess Preprocessor SMT solver
Burak Ekici, Alain Mebsout, Cesare Tinelli, C. Keller +3 more
20180 citations
Semantic Scholar
Certified Satisfiability Modulo Theories (SMT) Solving for System Verification
Clark W. Barrett, Burak Ekici, Liana Hadarean, Guy Katz +4 more
20170 citations
Semantic Scholar
NASA / CR – 2017-219371 Formal Methods Tool Qualification
Lucas G. Wagner, D. Cofer, Cedar Rapids, Cesare Tinelli +1 more
20170 citations
Semantic Scholar
New Software and Platforms - The Cubicle model checker modulo theories
Sylvain Conchon, Alain Mebsout
20130 citations
Semantic Scholar
Other Grants and Activities - National initiatives
J. Filliâtre, C. Marché, G. Melquiond, Kalyan Krishnamani +12 more
20100 citations
Semantic Scholar
Contracts and Grants with Industry - System@tic: Hi-Lite
C. Marché, J. Filliâtre, Sylvain Conchon, Évelyne Contejean +3 more
20100 citations
Semantic Scholar
Mitten, A Scenario-Based Consensus Protocols Testing Tool
C. ̧agdasBozman, Mohamed Iguernlala, Michael Laporte, M. Levillain +2 more
0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

Sylvain Conchon×12
Invite
Sylvain Conchon — researcher profile on SciRah
Cesare Tinelli×9
Invite
Cesare Tinelli — researcher profile on SciRah
Mohamed Iguernelala×8
Invite
Mohamed Iguernelala — researcher profile on SciRah
Évelyne Contejean×5
Invite
Évelyne Contejean — researcher profile on SciRah

Invite

Burak Ekici — researcher profile on SciRah

Invite

Guy Katz — researcher profile on SciRah

Andrew Reynolds×4

Invite

Andrew Reynolds — researcher profile on SciRah

Invite

C. Keller — researcher profile on SciRah

Clark W. Barrett×3

Invite

Clark W. Barrett — researcher profile on SciRah

Lucas G. Wagner×3

Invite

Lucas G. Wagner — researcher profile on SciRah

Invite

D. Cofer — researcher profile on SciRah

Invite

A. Goel — researcher profile on SciRah