Burak Ekici

Muğla Sıtkı Koçman University - Muğla / Türkiye

Others

AD Scientific Index ID: 5064582

Muğla Sıtkı Koçman Üniversitesi

Registration, Add Profile,
Premium Membership

Print Your Certificate

Burak Ekici's MOST POPULAR ARTICLES

1-) SMTCoq: A plug-in for integrating SMT solvers into Coq B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 952017

2-) 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 192016

3-) 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 132013

4-) Certified proofs in programs involving exceptionsJG Dumas, D Duval, B Ekici, JC ReynaudarXiv preprint arXiv:1310.2338, 201382013

5-) Procedural and Non-Procedural Implementation of Search Strategies in Control Network ProgrammingK Kratchanov, E Golemanova, T Golemanov, T Ercan, B EkiciarXiv preprint arXiv:1412.4184, 201452014

ARTICLES

Add your articles