[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.