Humans of BSOE
All Events
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
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
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
