Nombre de documents

5

CV de Burak Ekici


Communication dans un congrès3 documents

  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud. Hilbert-Post completeness for the state and the exception effects. Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. 2015, LNCS. <hal-01121924v3>
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous. Formal verification in Coq of program properties involving the global state effect. JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17, 2014. <hal-00869230v2>
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud. Certified proofs in programs involving exceptions. Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16, 2014. <hal-00867237v3>

Pré-publication, Document de travail1 document

  • Burak Ekici. IMP with exceptions over decorated logic. 2015. <hal-01132831>

Thèse1 document

  • Burak Ekici. Certifications of programs with computational effects. Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English. <tel-01250842>