Celina G. Val
According to our database1,
Celina G. Val
authored at least 4 papers
between 2013 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
0
1
2
3
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the IEEE European Symposium on Security and Privacy, 2016
2014
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog.
ACM Trans. Design Autom. Electr. Syst., 2014
2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013