Publications for All Years (744 out of 744)

  • Automated Analysis of Stateflow Models

  • Published at: Conference: LPAR-21; Maun, Botswana
  • Date: 05/07/17
  • Authors: Hamza Bourbouh, Pierre-Loic Garoche, Christophe Garion, Arie Gurfinkel, Temesghen KahsaiAzene
  • System-level Prognostics for the National Airspace

  • Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2016 (PHM 2016); Denver, CO
  • Date: 10/01/16
  • Authors: Matthew Daigle, Shankar Sankararaman, Indranil Roychoudhury