All Events

May 9

CPSRC Seminar Series - FRET: A Formal Requirements Elicitation Tool

Anastasia Mavridou
Computer Scientist

  Abstract Requirement formalization and verification tools are essential in designing safety-critical CPS and achieving a level of confidence in system correctness. In this talk, I present the FRET framework for the elicitation, formalization, and understanding of requirements. System... Read More

May 2

CPSRC Seminar: Bridging the Gap Between Requirements and Model Analysis: Evaluation on Ten Cyber-Physical Challenge Problems

Anastasia Mavridou
Computer Scientist

  Abstract   We present a framework for introducing high-level requirement  specifications in the automated analysis of dataflow models.  By integrating the Formal Requirements Elicitation Tool (FRET) with  the CoCoSim analyzer, our framework enables the analysis of... Read More

Apr 29

STAT Seminar Series: A Bayesian Nonparametric Regression Model for Survival Data

Valerie Poynor
Assistant Professor

  Title: A Bayesian Nonparametric Regression Model for Survival Data Abstract: In survival analysis, obtaining inference for the hazard rate and mean residual life functions are of key interest.  The mean residual life function, in particular,has received limited... Read More

Pages