Journal publications

[1] Maaz Mashood Mohiuddin, Wajeb Saab, Simon Bliudze, and Jean-Yves Le Boudec. Axo: Detection and recovery for delay and crash faults in real-time control systems. IEEE Transactions on Industrial Informatics, PP(99):1–1, 2017. Open access. [ bib | DOI | http ]
[2] Romain Edelmann, Simon Bliudze, and Joseph Sifakis. Functional BIP: Embedding connectors in functional programming. J. Log. Algebr. Meth. Program., 92:19–44, 2017. [ bib ]
[3] Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, and Alina Zolotukhina. Exogenous coordination of concurrent software components with JavaBIP. Software: Practice and Experience, 47(11):1801–1836, November 2017. [ bib | DOI ]
[4] Anastasia Mavridou, Eduard Baranov, Simon Bliudze, and Joseph Sifakis. Configuration logics: Modeling architecture styles. J. Log. Algebr. Meth. Program., 86(1):2–29, 2017. [ bib | DOI ]
[5] Kasper Dokter, Sung-Shik T. Q. Jongmans, Farhad Arbab, and Simon Bliudze. Combine and conquer: Relating BIP and reo. J. Log. Algebr. Meth. Program., 86(1):134–156, 2017. [ bib | DOI ]
[6] Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, and Joseph Sifakis. A general framework for architecture composability. Formal Aspects of Computing, 18(2):207–231, April 2016. Open access. [ bib | http ]
[7] Borja Fernández Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, and Víctor Manuel González Suárez. Applying model checking to industrial-sized PLC programs. IEEE Transactions on Industrial Informatics, 11(6):1400–1410, October 2015. [ bib | DOI ]
[8] Eduard Baranov and Simon Bliudze. Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Science of Computer Programming, 109(0):2–35, 2015. Selected Papers of the 6th Interaction and Concurrency Experience (ICE 2013). [ bib | DOI | .pdf ]
[9] Simon Bliudze and Joseph Sifakis. Causal semantics for the algebra of connectors. Formal Methods in System Design, 36(2):167–194, June 2010. [ bib | DOI | .pdf ]
[10] Simon Bliudze and Daniel Krob. Modelling of complex systems: Systems as dataflow machines. Fundamenta Informaticae, 91:1–24, 2009. [ bib | DOI | .pdf ]
[11] Simon Bliudze and Joseph Sifakis. The algebra of connectors—Structuring interaction in BIP. IEEE Transactions on Computers, 57(10):1315–1330, 2008. [ bib | DOI | .pdf ]
[12] Simon Bliudze and Daniel Krob. A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity. Electronic Journal of Combinatorics, 13(1):31 pages, January 2006. Paper #R2. [ bib | .pdf ]
[13] Simon Bliudze and Daniel Krob. Towards a functional formalism for modelling complex industrial systems. ComPlexUs, Special Issue: Complex Systems – European Conference – November 2005 – Selected Papers – Part 1, 2(3–4):163–176, 2004/2005. [ bib | DOI | .pdf ]

This file was generated by bibtex2html 1.98.