Edit Profile (opens in new tab) Bliudze, Simon Co-Author Distance Author ID: bliudze.simon Published as: Bliudze, Simon; Bliudze, S. Documents Indexed: 22 Publications since 2006 2 Contributions as Editor Co-Authors: 33 Co-Authors with 23 Joint Publications 802 Co-Co-Authors all top 5 Co-Authors 1 single-authored 10 Sifakis, Joseph 6 Baranov, Eduard 3 Bruni, Roberto 3 Jaber, Mohamad Y. 2 Arbab, Farhad 2 Dokter, Kasper 2 Jongmans, Sung-Shik T. Q. 2 Krob, Daniel 2 Mavridou, Anastasia 2 Silva, Alexandra 2 Wang, Qiang 1 Attie, Paul C. 1 Basu, Ananda 1 Ben Mokhtar, Sonia 1 Bensalem, Saddek 1 Bozga, Marius 1 Carbone, Marco 1 Cimatti, Alessandro 1 Deng, Yuxin 1 Edelmann, Romain 1 Grohmann, Davide 1 Hou, Zechen 1 Konnov, Igor V. 1 Kotek, Tomer 1 Madelaine, Eric 1 Mover, Sergio 1 Qin, Xudong 1 Roveri, Marco 1 Saab, Wajeb 1 Silva, Alexandru 1 Troina, Angelo 1 Veith, Helmut 1 Zhang, Min all top 5 Serials 3 Journal of Logical and Algebraic Methods in Programming 2 Acta Informatica 2 Scientific Annals of Computer Science 1 IEEE Transactions on Computers 1 Formal Aspects of Computing 1 Formal Methods in System Design 1 The Electronic Journal of Combinatorics 1 Fundamenta Informaticae 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 24 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 86 times in 51 Documents Cited by ▼ Year ▼ The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031 Bliudze, Simon; Sifakis, Joseph 19 2008 A notion of glue expressiveness for component-based systems. Zbl 1160.68458 Bliudze, Simon; Sifakis, Joseph 14 2008 Causal semantics for the algebra of connectors. Zbl 1207.68203 Bliudze, Simon; Sifakis, Joseph 11 2010 Modelling of complex systems: systems as dataflow machines. Zbl 1176.68081 Bliudze, Simon; Krob, Daniel 9 2009 Configuration logics: modeling architecture styles. Zbl 1353.68055 Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 8 2017 Parameterized systems in BIP: design and model checking. Zbl 1392.68254 Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph 6 2016 A general framework for architecture composability. Zbl 1342.68029 Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph 6 2016 Relating BIP and Reo. Zbl 1433.68093 Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon 4 2015 Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100 Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 4 2016 Combine and conquer: relating BIP and Reo. Zbl 1353.68201 Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon 1 2017 A theory agenda for component-based design. Zbl 1454.68019 Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius 1 2015 Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123 Bliudze, Simon; Sifakis, Joseph 1 2008 A note on the expressiveness of BIP. Zbl 1477.68175 Baranov, Eduard; Bliudze, Simon 1 2016 SMT-based generation of symbolic automata. Zbl 1443.68114 Qin, Xudong; Bliudze, Simon; Madelaine, Eric; Hou, Zechen; Deng, Yuxin; Zhang, Min 1 2020 SMT-based generation of symbolic automata. Zbl 1443.68114 Qin, Xudong; Bliudze, Simon; Madelaine, Eric; Hou, Zechen; Deng, Yuxin; Zhang, Min 1 2020 Configuration logics: modeling architecture styles. Zbl 1353.68055 Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 8 2017 Combine and conquer: relating BIP and Reo. Zbl 1353.68201 Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon 1 2017 Parameterized systems in BIP: design and model checking. Zbl 1392.68254 Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph 6 2016 A general framework for architecture composability. Zbl 1342.68029 Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph 6 2016 Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100 Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 4 2016 A note on the expressiveness of BIP. Zbl 1477.68175 Baranov, Eduard; Bliudze, Simon 1 2016 Relating BIP and Reo. Zbl 1433.68093 Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon 4 2015 A theory agenda for component-based design. Zbl 1454.68019 Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius 1 2015 Causal semantics for the algebra of connectors. Zbl 1207.68203 Bliudze, Simon; Sifakis, Joseph 11 2010 Modelling of complex systems: systems as dataflow machines. Zbl 1176.68081 Bliudze, Simon; Krob, Daniel 9 2009 The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031 Bliudze, Simon; Sifakis, Joseph 19 2008 A notion of glue expressiveness for component-based systems. Zbl 1160.68458 Bliudze, Simon; Sifakis, Joseph 14 2008 Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123 Bliudze, Simon; Sifakis, Joseph 1 2008 all cited Publications top 5 cited Publications all top 5 Cited by 93 Authors 11 Bliudze, Simon 9 Sifakis, Joseph 6 Bozga, Marius 4 Baranov, Eduard 4 Jaber, Mohamad Y. 3 Bensalem, Saddek 3 Bruni, Roberto 3 Falcone, Yliès 3 Melgratti, Hernán 3 Montanari, Ugo G. 3 Pittou, Maria 3 Rahonis, George 2 Arbab, Farhad 2 Cimatti, Alessandro 2 Graf, Susanne 2 Iosif, Radu 2 Jongmans, Sung-Shik T. Q. 2 Paraponiari, Paulina 2 Quinton, Sophie 2 Shaver, Chris 2 Suenaga, Kohei 2 Tripakis, Stavros 1 Aceto, Luca 1 Ames, Aaron D. 1 Attie, Paul C. 1 Bartha, Ferenc Ágoston 1 Ben-Hafaiedh, Imene 1 Benveniste, Albert 1 Bernardeschi, Cinzia 1 Bodeveix, Jean-Paul 1 Bonakdarpour, Borzoo 1 Bonsangue, Marcello Maria 1 Bourke, Timothy 1 Bozzano, Marco 1 Broy, Manfred 1 Bueri, Lucas 1 Caillaud, Benoît 1 Clarke, Dave 1 Delahaye, Benoît 1 Deng, Yuxin 1 Dierl, Simon 1 Dokter, Kasper 1 Domenici, Andrea 1 Doucet, Frederic 1 Duracz, Adam 1 Duracz, Jan 1 Dworzański, Leonid W. 1 Edelmann, Romain 1 Efstathiadis, Leonidas 1 El-Hokayem, Antoine 1 Evrard, Hugues 1 Fares, Elie 1 Ferrucci, Luca 1 Fiadeiro, José Luiz 1 Filali, Mamoun 1 Fountoukidou, Christina Chrysovalanti 1 Goriac, Eugen-Ioan 1 Hasuo, Ichiro 1 Hou, Zechen 1 Howar, Falk 1 Igarashi, Atsushi 1 Ingólfsdóttir, Anna 1 Kojima, Kensuke 1 Konečný, Michal 1 Krob, Daniel 1 Kurshan, Robert P. 1 Lang, Frédéric 1 Lee, Edward Ashford 1 Legay, Axel 1 Lomazova, Irina A. 1 Lopes, Antónia 1 Madelaine, Eric 1 Mandrioli, Dino 1 Marmsoler, Diego 1 Mattarei, Cristian 1 Mavridou, Anastasia 1 Morzenti, Angelo 1 Nakamura, Hirofumi 1 Nazarpour, Hosein 1 Nguyen, Thanh-Hung 1 Nyberg, Mattias 1 Petrovska, Ana 1 Pouzet, Marc 1 Qin, Xudong 1 Quilbeuf, Jean 1 Rossi, Matteo A. C. 1 Silva, Alexandra 1 Stergiou, Christos 1 Stojic, Ivan 1 Taha, Walid 1 Tonetta, Stefano 1 Westman, Jonas 1 Zhang, Min all top 5 Cited in 16 Serials 6 Journal of Logical and Algebraic Methods in Programming 4 Formal Methods in System Design 3 Acta Informatica 3 Formal Aspects of Computing 2 Information Processing Letters 2 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 2 International Journal of Foundations of Computer Science 2 Logical Methods in Computer Science 1 Journal of Computer and System Sciences 1 Programming and Computer Software 1 Science of Computer Programming 1 Information and Computation 1 Distributed Computing 1 The Journal of Logic and Algebraic Programming 1 Nonlinear Analysis. Hybrid Systems Cited in 4 Fields 50 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 Dynamical systems and ergodic theory (37-XX) Citations by Year