×

zbMATH — the first resource for mathematics

Bliudze, Simon

Compute Distance To:
Author ID: bliudze.simon Recent zbMATH articles by "Bliudze, Simon"
Published as: Bliudze, Simon; Bliudze, S.
Documents Indexed: 23 Publications since 2006, including 1 Book

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 54 times in 35 Documents Cited by Year
The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031
Bliudze, Simon; Sifakis, Joseph
14
2008
A notion of glue expressiveness for component-based systems. Zbl 1160.68458
Bliudze, Simon; Sifakis, Joseph
12
2008
Causal semantics for the algebra of connectors. Zbl 1207.68203
Bliudze, Simon; Sifakis, Joseph
10
2010
Modelling of complex systems: systems as dataflow machines. Zbl 1176.68081
Bliudze, Simon; Krob, Daniel
7
2009
A general framework for architecture composability. Zbl 1342.68029
Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph
4
2016
Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph
2
2016
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
2
2016
Combine and conquer: relating BIP and Reo. Zbl 1353.68201
Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon
1
2017
Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123
Bliudze, Simon; Sifakis, Joseph
1
2008
Relating BIP and Reo. Zbl 1433.68093
Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon
1
2015
Combine and conquer: relating BIP and Reo. Zbl 1353.68201
Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon
1
2017
A general framework for architecture composability. Zbl 1342.68029
Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph
4
2016
Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph
2
2016
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
2
2016
Relating BIP and Reo. Zbl 1433.68093
Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon
1
2015
Causal semantics for the algebra of connectors. Zbl 1207.68203
Bliudze, Simon; Sifakis, Joseph
10
2010
Modelling of complex systems: systems as dataflow machines. Zbl 1176.68081
Bliudze, Simon; Krob, Daniel
7
2009
The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031
Bliudze, Simon; Sifakis, Joseph
14
2008
A notion of glue expressiveness for component-based systems. Zbl 1160.68458
Bliudze, Simon; Sifakis, Joseph
12
2008
Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123
Bliudze, Simon; Sifakis, Joseph
1
2008

Citations by Year