Performances

Multi affine

Adaptive runtime verification_last_ezio

Slides cmsb13

On Temporal Logic and Signal Processing

Slide 1

Model Checking Biological Oscillators

BioWMS: a web-based Workflow Management System for bioinformatics

CellExcite: an efficient simulation environment for excitable cells