@comment{{Command line: bib2bib -c '$key="CompArch-tutorial" or $key="VTSA2023" or $key="Inria-30min" or $key="IMBSA19-RCBD-Tutorial" or $key="Inria-GRA" or $key="FMT-Twente" or $key="TeamPlay-invited" or $key="cargese14" or $key="AUTh-lecture" or 1=2' /Users/bliudze/Workspace/pubs-sb/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},
keywords = {invited,talk}
}
@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},
keywords = {tutorial}
}
@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},
keywords = {invited,talk}
}
@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},
keywords = {invited,talk}
}
@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},
url = {https://www.bliudze.me/simon/2019/10/auth-bip/},
keywords = {invited,talk}
}
@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},
url = {https://easyconferences.eu/imbsa2019/program/},
keywords = {tutorial}
}
@misc{FMT-Twente,
author = {Simon Bliudze},
title = {Correctness by Construction: Design of Concurrent
Software and Systems Using {BIP}},
month = mar,
year = 2021,
note = {Invited talk at the University of Twente Formal
Methods and Tools group},
url = {https://tinyurl.com/fmt-twente-talk},
keywords = {invited,talk}
}
@inproceedings{TeamPlay-invited,
author = {Simon Bliudze},
title = {Correctness by Construction: Design of Concurrent
Software and Systems Using {BIP}},
booktitle = {TeamPlay Final Workshop},
year = 2021,
month = may,
note = {Invited talk},
url = {https://www.teamplay-h2020.eu/index059c.html?mact=News,cntnt01,detail,0&cntnt01articleid=28&cntnt01returnid=44},
keywords = {invited,talk}
}
@inproceedings{VTSA2023,
author = {Simon Bliudze},
title = {Rigorous System Design using {BIP}: Correctness by All Means},
booktitle = {EuroProofNet Summer School on Verification Technology, Systems \& Applications},
month = aug,
year = 2023,
note = {Invited lecture},
url = {https://tinyurl.com/vtsa23-talk},
keywords = {tutorial}
}
This file was generated by bibtex2html 1.96.