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