Invited talks

[1] Simon Bliudze. Rigorous component-based design in BIP, October 2019. Tutorial at IMBSA 2019. [ bib | .pdf ]
[2] Simon Bliudze. Component-based design of concurrent software in BIP, October 2019. Invited lecture at the Aristotle University of Thessaloniki. [ bib | .pdf ]
[3] Simon Bliudze. Correctness by construction: Design of component-based systems using BIP, September 2018. Invited talk at the Inria Grenoble seminar. [ bib | .pdf ]
[4] Simon Bliudze. Correctness by construction: Design of component-based systems using BIP, May 2018. Invited talk at the Inria Lille seminar "30 minutes de science". [ bib | .pdf ]
[5] Simon Bliudze. Rigorous component-based design in BIP, July 2014. Tutorial at CompArch 2014. [ bib | .pdf ]
[6] Simon Bliudze and Sébastien Furic. On the soundness of behavioural abstraction in hybrid systems. In 2nd International Workshop on Simulation at the System Level, Cargese, Corsica., October 19-21, 2014, 2014. Invited talk. [ bib | .pdf ]

This file was generated by bibtex2html 1.96.