@comment{{Command line: bib2bib -c '$key="IMBSA19-RCBD-Tutorial" or $key="CompArch-tutorial" or $key="Inria-30min" or $key="AUTh-lecture" or $key="Inria-GRA" or $key="cargese14" or 1=2' ../pubs-sb.bib}}
@inproceedings{cargese14, author = {Bliudze, Simon and Furic, S\'ebastien}, location = {Cargese, Corsica.}, booktitle = {2nd International Workshop on Simulation at the System Level, Cargese, Corsica., October 19-21, 2014}, title = {On the Soundness of Behavioural Abstraction in Hybrid Systems}, year = 2014, note = {Invited talk}, pdf = {http://www.bliudze.me/simon/articles/20141019-singal-abstraction-cargese.pdf} }
@misc{CompArch-tutorial, author = {Simon Bliudze}, title = {Rigorous Component-Based Design in {BIP}}, month = jul, year = 2014, note = {Tutorial at CompArch 2014}, pdf = {http://www.bliudze.me/simon/articles/.pdf} }
@misc{Inria-30min, author = {Simon Bliudze}, title = {Correctness by Construction: Design of Component-Based Systems Using {BIP}}, month = may, year = 2018, note = {Invited talk at the Inria Lille seminar "30 minutes de science"}, pdf = {http://www.bliudze.me/simon/articles/20180518-INRIA-30min.pdf} }
@misc{Inria-GRA, author = {Simon Bliudze}, title = {Correctness by Construction: Design of Component-Based Systems Using {BIP}}, month = sep, year = 2018, note = {Invited talk at the Inria Grenoble seminar}, pdf = {http://www.bliudze.me/simon/articles/20180928-RSD-InriaGrenoble.pdf} }
@misc{AUTh-lecture, author = {Simon Bliudze}, title = {Component-Based Design of Concurrent Software in {BIP}}, month = oct, year = 2019, note = {Invited lecture at the Aristotle University of Thessaloniki}, pdf = {http://www.bliudze.me/simon/articles/20191016-AUTh-Lecture.pdf} }
@misc{IMBSA19-RCBD-Tutorial, author = {Simon Bliudze}, title = {Rigorous Component-based Design in {BIP}}, month = oct, year = 2019, note = {Tutorial at IMBSA 2019}, pdf = {http://www.bliudze.me/simon/articles/20191018-RSD-Tutorial-IMBSA.pdf} }
This file was generated by bibtex2html 1.96.