Browse Research and Tech Reports - Computer Science by Author "Jin, Dongyun"

  • Chen, Feng; Meredith, Patrick O'Neil; Jin, Dongyun; Rosu, Grigore (2009-05-12)

    application/pdf

    application/pdfPDF (3MB)
  • Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore (2008-09)
    Efficient monitoring of parametric properties, in spite of increasingly growing interest thanks to applications such as testing and security, imposes a highly non-trivial challenge on monitoring approaches due to the ...

    application/pdf

    application/pdfPDF (202kB)
  • Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore (2008-09)
    Efficient monitoring of parametric properties, in spite of increasingly growing interest thanks to applications such as testing and security, imposes a highly non-trivial challenge on monitoring approaches due to the ...

    application/pdf

    application/pdfPDF (202kB)
  • Meredith, Patrick O'Neil; Jin, Dongyun; Chen, Feng; Rosu, Grigore (2008-04)
    Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. However, these logics reduce to ordinary finite ...

    application/pdf

    application/pdfPDF (274kB)
  • Jin, Dongyun; Meredith, Patrick O'Neil; Griffith, Dennis; Rosu, Grigore (2011-03-15)
    Parametric properties are behavioral properties over program events that depend on one or more parameters. Parameters are bound to concrete data or objects at runtime, which makes parametric properties particularly suitable ...

    application/pdf

    application/pdfPDF (1MB)
  • Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore (2012-04-24)
    Runtime monitoring is an effective means to improve the reliability of systems. In recent years, parametric monitoring, which is highly suitable for object-oriented systems, has gained significant traction. Previous ...

    application/pdf

    application/pdfPDF (275kB)
  • Lee, Choonghwan; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore (2012-03-12)
    Formal specification of correct library usage is extremely useful, both for software developers and for the formal analysis tools they use, such as model checkers or runtime monitoring systems. Unfortunately, the process ...

    application/pdf

    application/pdfPDF (590kB)