Registered user since Tue 13 Dec 2016
Name:Masoud Ebrahimi
Country:Austria
Affiliation:Institute of Applied Information Processing and Communications, Graz University of Technology
Personal website:https://www.iaik.tugraz.at/ebrahimi_masoud/
Research interests:Synthesis, Model Checking, Verification, Automata Learning
Contributions
| VMCAI 2017 | Synthesizing Non-Vacuous Systems | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile