Browse Dept. of Computer Science by Subject "Monitoring"

  • Meredith, Patrick; Rosu, Grigore (2012-04-01)
    Early efforts in runtime verification and monitoring show that parametric regular and temporal logic specifications can be monitored efficiently. These approaches, however, have limited expressiveness, since their ...

    application/pdf

    application/pdfPDF (349kB)
  • Montanari, Mirko; Chaugule, Amey; Campbell, Roy H. (2011)
    Policies are used extensively in managing the security of large computer infrastructure systems. Many large organizations and several government entities such as the National Institute for Standards and Technology (NIST) ...

    application/pdf

    application/pdfPDF (193kB)
  • Erdogan, Cansu (2015-01-21)
    The Robot Operating System (ROS) is a widely used open-source framework for robot software development. Its increasing popularity, along with its renowned features, such as its dynamic and distributed nature, call for a ...

    application/pdf

    application/pdfPDF (2MB)