journals_bib

@comment{{This file has been generated by bib2bib 1.96}}
@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.