Browse Dept. of Computer Science by Subject "model checking"

  • Yasmeen, Ayesha (2011-08-25)
    Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously ...

    application/pdf

    application/pdfPDF (2MB)
  • Bak, Stanley (2009-09-24)
    Cyberphysical systems differ from traditional computer programming applications in that software bugs and mistakes have immediate, possibly dangerous, physical-world consequences. Rather than requiring all control software ...

    application/pdf

    application/pdfPDF (1MB)
  • Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José (2011-05-31)
    Distributed Real-Time Systems (DRTS), such as avionics systems and distributed control systems in motor vehicles, are very hard to design because of asynchronous communication, network delays, and clock skews. Furthermore, ...

    application/pdf

    application/pdfPDF (680kB)
  • Lauterburg, Steven T. (2011-08-26)
    The growing use of multicore and networked computing systems is increasing the importance of developing reliable parallel and distributed code. Testing such code is notoriously difficult, especially for shared-memory models ...

    application/pdf

    application/pdfPDF (701kB)