ModelWriter: Text and model-synchronized document engineering platform

Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux
January, 2017 selected
PDF Cite DOI URL
Type
Conference paper
Publication
32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
Ferhat Erata
Ferhat Erata
PhD Candidate at Yale | Applied Scientist Intern at AWS

My research interests include automated reasoning, program analysis, formal verification, security, and property synthesis.