Journal publications

[1] Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, and Joseph Sifakis. Early validation of system requirements and design through correctness-by-construction. Journal of Systems and Software, 145:52–78, November 2018. [ bib | DOI | .pdf ]
[2] Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, and Briag Lenabec. TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innovations in Systems and Software Engineering, 14(2):117–142, June 2018. [ bib | DOI | .pdf ]
[3] 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, 14(7):3065–3075, July 2018. Open access. [ bib | DOI | http ]
[4] Simon Bliudze, Sébastien Furic, Joseph Sifakis, and Antoine Viel. Rigorous design of cyber-physical systems: Linking physicality and computation. International Journal on Software and System Modeling, 2017. [ bib | DOI | .pdf ]
[5] Romain Edelmann, Simon Bliudze, and Joseph Sifakis. Functional BIP: Embedding connectors in functional programming. J. Log. Algebr. Meth. Program., 92:19–44, 2017. [ bib | DOI | .pdf ]
[6] 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 | .pdf ]
[7] 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 | .pdf ]
[8] 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 ]
[9] 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 | DOI ]
[10] 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 ]
[11] 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. [ bib | DOI | .pdf ]
[12] 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 ]
[13] Simon Bliudze and Daniel Krob. Modelling of complex systems: Systems as dataflow machines. Fundamenta Informaticae, 91:1–24, 2009. [ bib | DOI | .pdf ]
[14] Simon Bliudze and Joseph Sifakis. The algebra of connectorsStructuring interaction in BIP. IEEE Transactions on Computers, 57(10):1315–1330, 2008. [ bib | DOI | .pdf ]
[15] 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 ]

This file was generated by bibtex2html 1.96.