@comment{{Command line: bib2bib -c '$key="fernandez15-plc" or $key="JavaBIP-spe" or $key="BK-ribbon-long" or $key="cps-sosym" or $key="KJAB16-bip2reo" or $key="BKBW21-metrid" or $key="SMKBS18-Early-JSS" or $key="BliSif08-acp-tc" or $key="EBS17-functional" or $key="BarBliu18-express" or $key="bk09-systems-fundamenta" or $key="TTBIP-journal" or $key="MBBS16-logics" or $key="QBMHDZ19-acta" or $key="Casino" or $key="AttieBBJS16-architectures-faoc" or $key="axo:ieee-tii" or $key="BarBliu15-offer-scico" or $key="BliSif10-causal-fmsd" or 1=2' /Users/bliudze/Workspace/pubs-sb/pubs-sb.bib}}
@article{BK-ribbon-long,
author = {Simon Bliudze and Daniel Krob},
title = {A combinatorial approach to evaluation of
reliability of the receiver output for {BPSK}
modulation with spatial diversity},
journal = {Electronic Journal of Combinatorics},
volume = 13,
number = 1,
pages = {31 pages},
year = 2006,
month = jan,
pdf = {http://www.bliudze.me/simon/articles/ribbon_long.pdf},
keywords = {journal}
}
@article{BliSif08-acp-tc,
author = {Simon Bliudze and Joseph Sifakis},
title = {The Algebra of Connectors---{S}tructuring
Interaction in {BIP}},
journal = {{IEEE} Transactions on Computers},
volume = 57,
number = 10,
year = 2008,
issn = {0018-9340},
pages = {1315--1330},
doi = {10.1109/TC.2008.26},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
url = {http://www.bliudze.me/simon/articles/acp-bliudze-sifakis-tc.pdf},
keywords = {journal}
}
@article{bk09-systems-fundamenta,
author = {Simon Bliudze and Daniel Krob},
title = {Modelling of Complex Systems: Systems as dataflow
machines},
journal = {Fundamenta Informaticae},
year = 2009,
volume = 91,
pages = {1--24},
publisher = {IOS Press},
doi = {10.3233/FI-2009-0001},
pdf = {http://www.bliudze.me/simon/articles/systems-fondamenta.pdf},
keywords = {journal}
}
@article{BliSif10-causal-fmsd,
author = {Simon Bliudze and Joseph Sifakis},
title = {Causal semantics for the algebra of connectors},
journal = {Formal Methods in System Design},
year = 2010,
volume = 36,
number = 2,
pages = {167--194},
month = jun,
publisher = {Springer},
doi = {10.1007/s10703-010-0091-z},
pdf = {http://www.bliudze.me/simon/articles/causal-bliudze-sifakis-fmsd.pdf},
keywords = {journal}
}
@article{BarBliu15-offer-scico,
author = {Eduard Baranov and Simon Bliudze},
title = {Offer semantics: {A}chieving compositionality,
flattening and full expressiveness for the glue
operators in {BIP}},
journal = {Science of Computer Programming},
volume = 109,
number = 0,
pages = {2--35},
year = 2015,
issn = {0167-6423},
doi = {10.1016/j.scico.2015.05.011},
pdf = {http://www.bliudze.me/simon/articles/BarBliu15-offer-scico.pdf},
keywords = {journal}
}
@article{fernandez15-plc,
author = {
Fern\'andez Adiego, Borja
and
Darvas, D\'aniel
and
Blanco Vi\~nuela, Enrique
and
Tournier, Jean-Charles
and
Bliudze, Simon
and
Blech, Jan Olaf
and
Gonz\'alez Su\'arez, Victor Manuel
},
title = {Applying model checking to industrial-sized {PLC} programs},
journal = {IEEE Transactions on Industrial Informatics},
month = oct,
year = 2015,
volume = 11,
number = 6,
pages = {1400--1410},
doi = {10.1109/TII.2015.2489184},
keywords = {journal}
}
@article{AttieBBJS16-architectures-faoc,
author = {Attie, Paul and
Baranov, Eduard and
Bliudze, Simon and
Jaber, Mohamad and
Sifakis, Joseph},
title = {A General Framework for Architecture Composability},
journal = {Formal Aspects of Computing},
volume = 18,
number = 2,
year = 2016,
month = apr,
pages = {207--231},
doi = {10.1007/s00165-015-0349-8},
keywords = {journal}
}
@article{KJAB16-bip2reo,
author = {Kasper Dokter and
Sung{-}Shik T. Q. Jongmans and
Farhad Arbab and
Simon Bliudze},
title = {Combine and conquer: Relating {BIP} and {Reo}},
journal = {J. Log. Algebr. Meth. Program.},
volume = 86,
number = 1,
pages = {134--156},
year = 2017,
doi = {10.1016/j.jlamp.2016.09.008},
keywords = {journal}
}
@article{MBBS16-logics,
author = {Anastasia Mavridou and
Eduard Baranov and
Simon Bliudze and
Joseph Sifakis},
title = {Configuration logics: Modeling architecture styles},
journal = {J. Log. Algebr. Meth. Program.},
volume = 86,
number = 1,
pages = {2--29},
year = 2017,
doi = {10.1016/j.jlamp.2016.05.002},
pdf = {http://www.bliudze.me/simon/articles/ConfigurationLogic.pdf},
keywords = {journal}
}
@article{JavaBIP-spe,
author = {Simon Bliudze and Anastasia Mavridou and Radoslaw
Szymanek and Alina Zolotukhina},
title = {Exogenous coordination of concurrent software
components with {JavaBIP}},
journal = {Software: Practice and Experience},
issn = {1097-024X},
doi = {10.1002/spe.2495},
pages = {1801--1836},
year = 2017,
volume = 47,
number = 11,
month = nov,
pdf = {http://www.bliudze.me/simon/articles/javabip-spe.pdf},
keywords = {journal}
}
@article{EBS17-functional,
author = {Romain Edelmann and Simon Bliudze and Joseph
Sifakis},
title = {Functional {BIP}: Embedding Connectors in Functional
Programming},
journal = {J. Log. Algebr. Meth. Program.},
year = 2017,
volume = 92,
pages = {19--44},
doi = {10.1016/j.jlamp.2017.06.003},
pdf = {http://www.bliudze.me/simon/articles/EdelmanBS17-FunctionalBIP.pdf},
keywords = {journal}
}
@article{cps-sosym,
author = {Bliudze, Simon and Furic, S\'ebastien and Sifakis,
Joseph and Viel, Antoine},
title = {Rigorous Design of Cyber-Physical Systems: Linking
Physicality and Computation},
journal = {Int. J. on Software and System Modeling},
volume = 18,
number = 3,
pages = {1613--1636},
year = 2019,
doi = {10.1007/s10270-017-0642-5},
pdf = {http://www.bliudze.me/simon/articles/BFSV17-RigDesign-CPS.pdf},
keywords = {journal}
}
@article{axo:ieee-tii,
author = {Mohiuddin, Maaz Mashood and Saab, Wajeb and Bliudze,
Simon and Le Boudec, Jean-Yves},
title = {Axo: Detection and Recovery for Delay and Crash
Faults in Real-Time Control Systems},
journal = {IEEE Transactions on Industrial Informatics},
year = 2018,
month = jul,
volume = 14,
number = 7,
pages = {3065--3075},
doi = {10.1109/TII.2017.2772219},
note = {Open access},
pdf = {https://ieeexplore.ieee.org/document/8106729/},
keywords = {journal}
}
@article{TTBIP-journal,
author = {Guesmi, Hela and Ben Hedia, Belgacem and Bliudze,
Simon and Bensalem, Saddek and Lenabec, Briag},
title = {{TT-BIP}: using correct-by-design {BIP} approach for
modelling real-time system with time-triggered
paradigm},
journal = {Innovations in Systems and Software Engineering},
year = 2018,
month = jun,
day = 01,
volume = 14,
number = 2,
pages = {117--142},
issn = {1614-5054},
doi = {10.1007/s11334-018-0312-y},
pdf = {http://www.bliudze.me/simon/articles/TTBIP-journal-version.pdf},
keywords = {journal}
}
@article{SMKBS18-Early-JSS,
title = {Early validation of system requirements and design
through correctness-by-construction},
journal = {Journal of Systems and Software},
volume = 145,
pages = {52--78},
year = 2018,
issn = {0164-1212},
doi = {https://doi.org/10.1016/j.jss.2018.07.053},
pdf = {http://www.bliudze.me/simon/articles/JSS2018-EarlyValidation.pdf},
author = {Emmanouela~Stachtiari and Anastasia Mavridou and
Panagiotis Katsaros and Simon Bliudze and Joseph
Sifakis},
month = nov,
keywords = {journal}
}
@article{BarBliu18-express,
author = {Eduard Baranov and Simon Bliudze},
title = {Expressiveness of component-based frameworks: {A}
study of the expressiveness of {BIP}},
journal = {Acta Informatica},
year = 2020,
month = dec,
volume = 57,
number = 6,
pages = {761--800},
doi = {10.1007/s00236-019-00337-7},
url = {http://www.bliudze.me/simon/articles/Baranov-Bliudze2019_Article_ExpressivenessOfComponent-base.pdf},
keywords = {journal}
}
@article{QBMHDZ19-acta,
author = {Xudong Qin and Simon Bliudze and Eric Madelaine and
Zechen Hou and Yuxin Deng and Min Zhang},
title = {{SMT}-Based Generation of Symbolic Automata},
journal = {Acta Informatica},
year = 2020,
volume = 57,
number = {3--5},
pages = {627--656},
month = oct,
doi = {10.1007/s00236-020-00367-6},
pdf = {http://www.bliudze.me/simon/articles/QBMHDZ20-SMT-Symb-Automata.pdf},
keywords = {journal}
}
@article{BKBW21-metrid,
author = {Simon Bliudze and Panagiotis Katsaros and Saddek
Bensalem and Martin Wirsing},
title = {On methods and tools for rigorous system design},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = 23,
number = 5,
pages = {679--684},
year = 2021,
doi = {10.1007/s10009-021-00632-0},
url = {https://inria.hal.science/hal-03720402},
pdf = {https://inria.hal.science/hal-03720402v1/file/STTT-SI-MeTRiD-Preface.pdf},
keywords = {preface}
}
@article{Casino,
author = {Wolfgang Ahrendt and
Jonas Becker-Kupczok and
Simon Bliudze and
Petra van den Bos and
Marco Eilers and
Gidon Ernst and
Martin Fabian and
Paula Herber and
Marieke Huisman and
Raúl E. Monti and
Robert Rubbens and
Larisa Safina and
Jonas Schiffl and
Alexander J. Summers and
Mattias Ulbrich and
Alexander Weigl},
title = {From Model Checking to Deductive Verification:
Results from a Smart Contract Community Challenge},
journal = {International Journal on Software Tools for
Technology Transfer (STTT)},
year = 2025,
note = {Under review},
keywords = {journal}
}
This file was generated by bibtex2html 1.96.