Publications for All Years (726 out of 726)

  • Property Inference for Deep Neural Networks

  • Published at: Conference: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019); San Diego, CA
  • Date: 11/12/19
  • Authors: Divya Gopinath, Hayes Converse, Corina Pasareanu, Ankur Taly
  • ISSA Conops

  • Published at: Other: ISSA ConOps Development
  • Date: 10/31/19
  • Authors: Kyle Ellis, Paul Krois, Misty Davies, John Koelling