SMT – Simon Bliudze

Symbolic verification of real-time design patterns

07/01/2021sbliudze

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/201912/11/2020sbliudze

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