Seguir
Simon Bliudze
Simon Bliudze
Computer Science researcher, University of Lille Inria Research Centre
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
The algebra of connectors: structuring interaction in BIP
S Bliudze, J Sifakis
Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007
2802007
A notion of glue expressiveness for component-based systems
S Bliudze, J Sifakis
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
1282008
Applying model checking to industrial-sized PLC programs
BF Adiego, D Darvas, EB Viñuela, JC Tournier, S Bliudze, JO Blech, ...
IEEE Transactions on Industrial Informatics 11 (6), 1400-1410, 2015
1122015
A general framework for architecture composability
P Attie, E Baranov, S Bliudze, M Jaber, J Sifakis
Formal Aspects of Computing 28 (2), 207-231, 2016
612016
Modelling of complex systems: Systems as dataflow machines
S Bliudze, D Krob
Fundamenta Informaticae 91 (2), 251-274, 2009
552009
Formal verification of infinite-state BIP models
S Bliudze, A Cimatti, M Jaber, S Mover, M Roveri, W Saab, Q Wang
Automated Technology for Verification and Analysis, 326-343, 2015
522015
Configuration logics: Modeling architecture styles
A Mavridou, E Baranov, S Bliudze, J Sifakis
Journal of Logical and Algebraic Methods in Programming 86 (1), 2-29, 2017
512017
Architecture-based design: A satellite on-board software case study
A Mavridou, E Stachtiari, S Bliudze, A Ivanov, P Katsaros, J Sifakis
Formal Aspects of Component Software: 13th International Conference, FACS …, 2017
502017
Causal semantics for the algebra of connectors
S Bliudze, J Sifakis
Formal methods in system design 36 (2), 167-194, 2010
502010
Early validation of system requirements and design through correctness-by-construction
E Stachtiari, A Mavridou, P Katsaros, S Bliudze, J Sifakis
Journal of Systems and Software 145, 52-78, 2018
492018
Exogenous coordination of concurrent software components with JavaBIP
S Bliudze, A Mavridou, R Szymanek, A Zolotukhina
Software: Practice and Experience 47 (11), 1801-1836, 2017
402017
Parameterized systems in BIP: design and model checking
I Konnov, T Kotek, Q Wang, H Veith, S Bliudze, J Sifakis
27th International conference on concurrency theory (CONCUR 2016), 2016
362016
Rigorous design of cyber-physical systems: Linking physicality and computation
S Bliudze, S Furic, J Sifakis, A Viel
Software & Systems Modeling 18, 1613-1636, 2019
302019
Synthesizing glue operators from glue constraints for the construction of component-based systems
S Bliudze, J Sifakis
International Conference on Software Composition, 51-67, 2011
302011
Relating BIP and reo
K Dokter, SS Jongmans, F Arbab, S Bliudze
arXiv preprint arXiv:1508.04848, 2015
24*2015
Architecture diagrams: A graphical language for architecture style specification
A Mavridou, E Baranov, S Bliudze, J Sifakis
arXiv preprint arXiv:1608.03324, 2016
232016
Architecture Internalisation in BIP
S Bliudze, M Bozga, M Jaber, J Sifakis
17th International ACM SIGSOFT Symposium on Component-Based Software …, 2014
212014
Reduction and abstraction techniques for BIP
M Noureddine, M Jaber, S Bliudze, FA Zaraket
Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015
182015
Causal semantics for the algebra of connectors
S Bliudze, J Sifakis
Formal Methods for Components and Objects: 6th International Symposium, FMCO …, 2008
172008
Model-based automated testing of critical PLC programs
BF Adiego, EB Vinuela, JC Tournier, VMG Suárez, S Bliudze
2013 11th IEEE International Conference on Industrial Informatics (INDIN …, 2013
162013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20