Burak Ekici
Title
Cited by
Cited by
Year
SMTCoq: A plug-in for integrating SMT solvers into Coq
B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett
International Conference on Computer Aided Verification, 126-133, 2017
482017
Extending SMTCoq, a certified checker for SMT
B Ekici, G Katz, C Keller, A Mebsout, AJ Reynolds, C Tinelli
arXiv preprint arXiv:1606.05947, 2016
132016
Formal verification in Coq of program properties involving the global state effect
JG Dumas, D Duval, B Ekici, D Pous
arXiv preprint arXiv:1310.0794, 2013
122013
Certified proofs in programs involving exceptions
JG Dumas, D Duval, B Ekici, JC Reynaud
arXiv preprint arXiv:1310.2338, 2013
92013
Relative hilbert-post completeness for exceptions
JG Dumas, D Duval, B Ekici, D Pous, JC Reynaud
International Conference on Mathematical Aspects of Computer and Informationá…, 2015
42015
Certified proofs in programs involving exceptions. CICM 2014
JG Dumas, D Duval, B Ekici, JC Reynaud
CEUR Workshop Proceedings 1186, 2014
42014
Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming
K Kratchanov, E Golemanova, T Golemanov, T Ercan, B Ekici
arXiv preprint arXiv:1412.4184, 2014
32014
Verifying bit-vector invertibility conditions in coq
B Ekici, A Viswanathan, Y Zohar, C Barrett, C Tinelli
arXiv preprint arXiv:1908.09478, 2019
22019
Certification de programmes avec des effets calculatoires
B Ekici
UniversitÚ Grenoble Alpes (ComUE), 2015
22015
IMP with exceptions over decorated logic
B Ekici
arXiv preprint arXiv:1503.05496, 2015
22015
Concrete Semantics with Coq and CoqHammer
Ł Czajka, B Ekici, C Kaliszyk
International Conference on Intelligent Computer Mathematics, 53-59, 2018
12018
Towards Mac Lane's Comparison Theorem for the (co) Kleisli Construction in Coq.
B Ekici
CICM Workshops, 2018
12018
Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq
B Ekici, C Kaliszyk
Mathematics in Computer Science, 1-17, 2020
2020
CASYS team activities 2014-2018
N Bordes, A Breust, CC EC, R Coleman, JG Dumas, D Duval, B Ekici, ...
2019
Certified Satisfiability Modulo Theories (SMT) Solving for System Verification
C Barrett, B Ekici, L Hadarean, G Katz, C Keller, A Mebsout, A Reynolds, ...
New York University New York United States, 2017
2017
IMP+ Exc over decorated logic
B Ekici
arXiv preprint arXiv:1503.05496, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–16