It wasn’t closing in fast on a tree as my driver made a last-ditch yank of the handbrake or going flat out on a macerated tire that made me question my bucket-list idea to become a rally co-driver.

A predictive biophysical model that integrates protein-DNA structures and sequences to accurately determine genomic binding sites and affinities of DNA-binding proteins.

A sequence diagram is a modeling approach for visualizing the behavioral execution of a system. The objective of this research is to investigate the problem of security in a behavioral model (sequence ...

In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the ...

Perform secure design review and threat modeling Our computer systems operate in a hostile threat landscape with well-funded, technically capable adversaries continually probing for and exploiting ...

This repository contains a course project for Software Specification and Modeling, focused on the analysis and design of a software system. It includes functional and non-functional requirements, use ...