Publications for All Years (743 out of 743)

  • Querying Safety Cases

  • Published at: Conference: SafeComp 2014: Firenza, Italy
  • Date: 09/10/14
  • Authors: Ewen Denney, Dwight Naylor, Ganeshmadhav Pai
  • Feedback-driven Dynamic Invariant Discovery

  • Published at: Conference: ISSTA '14: International Symposium on Software Testing and Analysis; San Jose, CA
  • Date: 07/23/14
  • Authors: Neha Rungta, Lingming Zhang, Guowei Yang, Suzette Person, Sarfraz Khurshid
  • Hardware Design and Testing of SUPERball, a Modular Tensegrity Robot

  • Published at: Conference: 6th edition of the World Conference of the International Association for Structural Control and Monitoring (IACSM); Barcelona, Spain
  • Date: 07/15/14
  • Authors: Andrew Sabelhaus, Jonathan Bruce, Ken Caluwaerts, Yangxin Chen, Dizhou Lu, Yuejia Liu, Adrian Agogino, Vytas SunSpiral, Alice Agogino
  • Controlling Tenesgrity Robots through Evolution

  • Published at: Conference: Genetic and Evolutinary Algorithms Conference; Amsterdam, Holland, The Netherlands
  • Date: 07/11/14
  • Authors: Atil Iscen, Adrian Agogino, Vytas SunSpiral, Irem Tumer