Simon Bliudze

Simon Bliudze

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4421846
French National Institute for Research in Computer Science and Control
person_outline Simon Bliudze's MOST POPULAR ARTICLES
1-) The algebra of connectors: structuring interaction in BIPS Bliudze, J SifakisProceedings of the 7th ACM & IEEE international conference on Embedded …, 20072562007
2-) A notion of glue expressiveness for component-based systemsS Bliudze, J SifakisInternational Conference on Concurrency Theory, 508-522, 20081302008
3-) Applying model checking to industrial-sized PLC programsBF Adiego, D Darvas, EB Viñuela, JC Tournier, S Bliudze, JO Blech, ...IEEE Transactions on Industrial Informatics 11 (6), 1400-1410, 2015792015
4-) A general framework for architecture composabilityP Attie, E Baranov, S Bliudze, M Jaber, J SifakisFormal Aspects of Computing 28 (2), 207-231, 2016582016
5-) Modelling of complex systems: Systems as dataflow machinesS Bliudze, D KrobFundamenta Informaticae 91 (2), 251-274, 2009542009