| The algebra of connectors: structuring interaction in BIP S Bliudze, J Sifakis Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007 | 257 | 2007 |
| A notion of glue expressiveness for component-based systems S Bliudze, J Sifakis Lecture Notes in Computer Science 5201, 508-522, 2008 | 128 | 2008 |
| 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 | 82 | 2015 |
| Causal semantics for the algebra of connectors S Bliudze, J Sifakis Formal methods in system design 36 (2), 167-194, 2010 | 65 | 2010 |
| 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 | 56 | 2016 |
| Modelling of complex systems: Systems as dataflow machines S Bliudze, D Krob Fundamenta Informaticae 91 (2), 251-274, 2009 | 54 | 2009 |
| 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 | 47 | 2017 |
| 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 | 42 | 2017 |
| 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 | 41 | 2015 |
| 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 | 32 | 2018 |
| Synthesizing glue operators from glue constraints for the construction of component-based systems S Bliudze, J Sifakis Software Composition: 10th International Conference, SC 2011, Zurich …, 2011 | 29 | 2011 |
| 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 | 27 | 2016 |
| 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 | 25 | 2019 |
| 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 | 20 | 2017 |
| Architecture Internalisation in BIP S Bliudze, M Bozga, M Jaber, J Sifakis 17th International ACM SIGSOFT Symposium on Component-Based Software …, 2014 | 20 | 2014 |
| Architecture diagrams: A graphical language for architecture style specification A Mavridou, E Baranov, S Bliudze, J Sifakis arXiv preprint arXiv:1608.03324, 2016 | 18 | 2016 |
| Relating BIP and reo K Dokter, SS Jongmans, F Arbab, S Bliudze arXiv preprint arXiv:1508.04848, 2015 | 16 | 2015 |
| Reduction and abstraction techniques for BIP M Noureddine, M Jaber, S Bliudze, FA Zaraket Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015 | 15 | 2015 |
| An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction S Bliudze, S Furic 10th International Modelica Conference (Lund, Sweden, 2014), 693-706, 2014 | 14 | 2014 |
| 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 | 14 | 2013 |
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
