BIP – Simon Bliudze

Symbolic verification of real-time design patterns

09/11/201912/09/2020sbliudze

This proposal focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.

Composability & verification of BIP design patterns

31/10/201909/11/2019sbliudze

This proposal focusses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.