Celina G. Val

According to our database, Celina G. Val authored at least 4 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond.

Celina G. Val, Michael A. Enescu, Sam Bayless, William Aiello, Alan J. Hu

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.

An-Che Cheng, Chia-Chih Jack Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou

ACM Trans. Design Autom. Electr. Syst., 2014

2013

Formal co-validation of low-level hardware/software interfaces.

Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Efficient modular SAT solving for IC3.

Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu

Proceedings of the Formal Methods in Computer-Aided Design, 2013