| [1] | Simon Bliudze. Rigorous system design using BIP: Correctness by all means. In EuroProofNet Summer School on Verification Technology, Systems & Applications, August 2023. Invited lecture. [ bib | http ] |
| [2] | Simon Bliudze. Correctness by construction: Design of concurrent software and systems using BIP. In TeamPlay Final Workshop, May 2021. Invited talk. [ bib | http ] |
| [3] | Simon Bliudze. Correctness by construction: Design of concurrent software and systems using BIP, March 2021. Invited talk at the University of Twente Formal Methods and Tools group. [ bib | http ] |
| [4] | Simon Bliudze. Rigorous component-based design in BIP, October 2019. Tutorial at IMBSA 2019. [ bib | http | .pdf ] |
| [5] | Simon Bliudze. Component-based design of concurrent software in BIP, October 2019. Invited lecture at the Aristotle University of Thessaloniki. [ bib | http | .pdf ] |
| [6] | Simon Bliudze. Correctness by construction: Design of component-based systems using BIP, September 2018. Invited talk at the Inria Grenoble seminar. [ bib | .pdf ] |
| [7] | 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 ] |
| [8] | Simon Bliudze. Rigorous component-based design in BIP, July 2014. Tutorial at CompArch 2014. [ bib | .pdf ] |
| [9] | 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.