@comment{{Command line: bib2bib -c '$key="BarBliu15-offer-scico" or $key="cps-sosym" or $key="fernandez15-plc" or $key="BliSif08-acp-tc" or $key="TTBIP-journal" or $key="AttieBBJS16-architectures-faoc" or $key="EBS17-functional" or $key="JavaBIP-spe" or $key="BK-ribbon-long" or $key="BliSif10-causal-fmsd" or $key="QBMHDZ19-acta" or $key="axo:ieee-tii" or $key="KJAB16-bip2reo" or $key="MBBS16-logics" or $key="bk09-systems-fundamenta" or $key="BarBliu18-express" or $key="SMKBS18-Early-JSS" or 1=2' ../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, note = {Paper {\#}R2}, pdf = {http://www.bliudze.me/simon/articles/ribbon_long.pdf} }
@article{BliSif08-acp-tc, author = {Simon Bliudze and Joseph Sifakis}, title = {The Algebra of Connectors\mdash {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}, note = {}, pdf = {http://www.bliudze.me/simon/articles/acp-bliudze-sifakis-tc.pdf} }
@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}, note = {}, pdf = {http://www.bliudze.me/simon/articles/systems-fondamenta.pdf} }
@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}, note = {}, pdf = {http://www.bliudze.me/simon/articles/causal-bliudze-sifakis-fmsd.pdf} }
@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, note = {}, issn = {0167-6423}, doi = {10.1016/j.scico.2015.05.011}, pdf = {http://www.bliudze.me/simon/articles/BarBliu15-offer-scico.pdf} }
@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, V{\'\i}ctor 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}, note = {} }
@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}, note = {Open access} }
@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}, note = {} }
@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}, note = {}, pdf = {http://www.bliudze.me/simon/articles/ConfigurationLogic.pdf} }
@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, note = {}, pdf = {http://www.bliudze.me/simon/articles/javabip-spe.pdf} }
@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}, note = {}, pdf = {http://www.bliudze.me/simon/articles/EdelmanBS17-FunctionalBIP.pdf} }
@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 = {International Journal on Software and System Modeling}, volume = 18, number = 3, pages = {1613--1636}, year = 2019, doi = {10.1007/s10270-017-0642-5}, note = {}, pdf = {http://www.bliudze.me/simon/articles/BFSV17-RigDesign-CPS.pdf} }
@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/} }
@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}, note = {} }
@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, note = {} }
@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 = 2019, month = jun, pages = 40, doi = {10.1007/s00236-019-00337-7}, pdf = {http://www.bliudze.me/simon/articles/Baranov-Bliudze2019_Article_ExpressivenessOfComponent-base.pdf}, note = {} }
@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, note = {}, volume = 57, pages = {627--656}, month = may, doi = {10.1007/s00236-020-00367-6}, pdf = {http://www.bliudze.me/simon/articles/QBMHDZ20-SMT-Symb-Automata.pdf} }
This file was generated by bibtex2html 1.96.