Simon Bliudze

Scientific Collaborator at the Rigorous System Design Laboratory (RiSD), EPFL.
Research Engineer (on leave of absence) at the Commissariat à l'énergie atomique et aux énergies alternatives (CEA LIST).

Photo St. Peter & Paul's fortress, St. Petersburg, Russia


March 06–08, 2017 4PAD special session at PDP 2017 — St. Petersburg, Russia 4PAD organiser
October 19–21, 2016 Int. Conference on Formal Aspects of Component Software (FACS 2016) — Besançon, France PC member
June 06–09, 2016: Coordination 2016 — Heraklion, Crete PC member
June 08–09, 2016: ICE 2016 — Heraklion, Crete PC&SC member
2015–2016: Int. Conference on Architecture of Computing Systems (ARCS 2016) PC member
2015–2016: Int. Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016) PC member
2014–2015: Int. Workshop on Embedded Multicore Systems (ICPP-EMS 2015) PC member
2012–2013: Nano-Tera/Artist International Summer School — Aix-les-Bains, France Organiser
September 5, 2011: SOS 2011 — Aachen, Germany PC member
2008–2015: Interaction and Concurrency Experience (ICE)
(A link to ICE 2015)
PC member, PC chair (2010–2011),
SC member (since 2012)


At present, my main research interests lay in the field of component-based systemic modelling, analysis and synthesis. Component-based development is characterised by a hierarchical approach to system modelling, where each system is recursively built from sub-systems of the same organic "nature". Thus, one speaks of atomic or composite components. A component is charachterised by a pair consisting of its interface and behaviour. The latter is mostly used for the development of atomic components and analysis of the resulting system, whereas the former specifies the capability of the component to interact with other components. Each component-based approach has a fixed set of composition operators (sometimes called glue) with formal semantics associating to a set of atomic components and an instance of glue the resulting component in the same formalism.

My PhD dissertation was prepared at LIX under the supervision of Daniel Krob, and is entitled

A Framework for Studying Complex Industrial Systems: An Example Based on the UMTS Infrastructure.

Here is the up-to-date version of the dissertation: [PS] [PDF]

Since then I have stayed for two years at VERIMAG, working as a post-doc with Joseph Sifakis on the formal semantics for BIP.

Keywords: (in chronological order)

Additional information

A CV can be made available on request. Some information can be found on my LinkedIn profile.

I have also some time ago started a LinkedIn group for MPRI.


The most up-to-date list is available on my EPFL page.

Download the list: [PDF]
(last updated on January 07, 2016)


  1. P. Attie, E. Baranov, S.B., M. Jaber and J. Sifakis. A General Framework for Architecture Composability. In Formal Aspects of Computing, pp. 1–25, 2015.
    [Springer Open Access]
  2. E. Baranov, S.B. Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. In Science of Computer Programming, vol. 109, pp. 2–35, 2015.
    [PDF] [BibTex] [DOI]
  3. S.B., J. Sifakis. Causal semantics for the algebra of connectors. In Formal Methods in System Design, vol. 36(2), pp. 167–194, 2010.
    [PS] [PDF] [BibTex] [SpringerLink]
  4. S.B., D. Krob. Modelling of Complex Systems: Systems as dataflow machines. In Fundamenta Informaticae (special issue on Machines, Computations and Universality), vol. 91, pp. 1–24, 2009.
    [PS] [PDF] [BibTex]
  5. S.B., J. Sifakis. The Algebra of Connectors—Structuring Interaction in BIP. IEEE Transactions on Computers, vol. 57, no. 10, pp. 1315–1330, October, 2008.
    [PS] [PDF] [BibTex] [IEEE Link]
  6. S.B., D. Krob. A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity. Electronic Journal of Combinatorics, 13(1), paper #R2, 31 pages, 2006
    [PS] [PDF] [BibTeX]

Conference and workshop proceedings

  1. Paul Attie, Eduard Baranov, S.B., Mohamad Jaber, Joseph Sifakis. A General Framework for Architecture Composability. In Proc. of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), LNCS 8702, 128–143, Springer, 2014.
    [PDF] [BibTex] [Slides] [SpringerLink]
  2. S.B., Marius Bozga, Mohamad Jaber, Joseph Sifakis. Architecture Internalisation in BIP. In Proc. of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), ACM, pp. 169–178, 2014.
    [PDF] [BibTex] [Slides] [ACM Digital Library]
  3. S.B., Sébastien Furic. An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction. In Proc. of the 10th International Modelica Conference (Modelica 2014), pp. 693–706, 2014.
    [PDF] [BibTex] [DOI]
  4. E. Baranov, S.B. Extended Connectors: Structuring Glue Operators in BIP. In Proc. of the 6th Interaction and Concurrency Experience (ICE 2013), EPTCS 131, pp. 20–35, 2013.
    [PDF] [BibTex] [Slides] [arXiv]
  5. S.B. Towards a Theory of Glue. In Proc. of the 5th Interaction and Concurrency Experience (ICE 2012), EPTCS 104, pp. 48–66, 2012.
    [PDF] [BibTex] [Slides] [arXiv]
  6. S.B., Mathieu Jan, Xavier Fornari. From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling Scade with OASIS. In Proc. of ERTS² 2012, 2012.
    [PDF] [BibTex] [@ERTS² 2012]
  7. S.B. Compositional Timing Analysis: Power Plant Protection System Case Study. In Proc. of the 1st International Workshop on Worst-Case Traversal Time (WCTT 2011), 27–34, ACM, 2011.
    [PDF] [BibTex] [Slides] [ACM Digital Library]
  8. S.B., J. Sifakis. Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. In Proc. of the 10th International Conference on Software Composition (SC 2011), LNCS 6708, 51–67, Springer, 2011.
    [PDF] [BibTex] [Slides] [SpringerLink]
  9. M. Jaber, A. Basu, S.B. Symbolic Implementation of Connectors in BIP. In Proc. of the 2nd Interaction and Concurrency Experience (ICE'09), EPTCS 12, pp. 41–55, 2009.
    [PDF] [BibTex] [Slides] [arXiv]
  10. S.B., J. Sifakis. A Notion of Glue Expressiveness for Component-Based Systems. In Proc. of the 19th International Conference on Concurrency Theory (CONCUR'08), LNCS 5201, 508–522, Springer, 2008.
    [PS] [PDF] [BibTex] [SpringerLink]
  11. S.B., J. Sifakis. Causal semantics for the algebra of connectors. (Extended abstract) In Proc. of the Software Technologies Concertation on Formal Methods for Components and Objects (FMCO 2007), LNCS 5382, 179–199, Springer, 2008.
    [BibTex] (See the journal version above)
  12. S.B., J. Sifakis. The Algebra of Connectors — Structuring Interaction in BIP. In Proc. of the 7th ACM & IEEE International Conference on Embedded Software (EMSOFT'07), 11–20, 2007.
    [PS] [PDF] [BibTex] (See the journal version above)
  13. S.B., D. Krob. Towards a Functional Formalism for Modelling Complex Industrial Systems. In ComPlexUs, Special Issue: Complex Systems – European Conference – November 2005 – Selected Papers – Part 1, (ECCS'05) 2(3–4):163–176, 2004/2005
    [PS] [PDF] [BibTeX]
  14. S.B., N. Billy, D. Krob. On the Optimal H-ARQ Control Schemes for HSDPA with 16QAM. In Proc. of the IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2005), 1, 121–127, 2005
    [PS] [PDF] [BibTeX]
  15. S.B., D. Krob. Performance Evaluation of Demodulation with Diversity — A Combinatorial Approach III : Threshold analysis. In Proc. of the 2nd Workshop on Analytic Algorithmics and Combinatorics (ANALCO 2005), 195–205, 2005
    [PS] [PDF] [BibTeX]

Technical reports

  1. S.B., M. Bozga, M. Jaber and J. Sifakis. Architecture Internalisation in BIP. RiSD Technical Report, 2014
    [PDF] [Infoscience] [BibTeX]
  2. P. Attie, E. Baranov, S.B., M. Jaber and J. Sifakis. A General Framework for Architecture Composability. RiSD Technical Report, 2014
    [PDF] [Infoscience] [BibTeX]
  3. S.B., J. Sifakis. Causal Semantics for The Algebra of Connectors. VERIMAG Technical Report, 2008.
    [VERIMAG TR page] [BibTeX]
  4. S.B., J. Sifakis. The Algebra of Connectors — Structuring Interaction in BIP. VERIMAG Technical Report, 2007.
    [VERIMAG TR page] [BibTeX]
  5. S.B., D. Krob. Modelling of complex systems I — A functional approach: Time, data, and systems. Technical report, LIX, École Polytechnique, 2007
    [PDF] [BibTeX]
  6. S.B. Analysis of Algorithms for Outer Loop Power Control (Uplink) in UMTS. Internship report (Alcatel internal), 2001