Simon Bliudze

Share:

Publications

Journal Articles

[1]
R. Edelmann, S. Bliudze and J. Sifakis. Functional BIP: Embedding connectors in functional programming languages, in Journal of Logical and Algebraic Methods in Programming, vol. 92, p. 19-44, 2017.
[2]
S. Bliudze, A. Mavridou, R. Szymanek and A. Zolotukhina. Exogenous Coordination of Concurrent Software Components with JavaBIP, in Software Practice and Experience, 2017.
[3]
K. Dokter, S.-S. Jongmans, F. Arbab and S. Bliudze. Combine and conquer: Relating BIP and Reo, in Journal of Logical and Algebraic Methods in Programming, vol. 86, num. 1, p. 134-156, 2017.
[4]
A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Configuration logics: Modeling architecture styles, in Journal of Logical and Algebraic Methods in Programming, vol. 86, num. 1, p. 2-29, 2017.
[5]
P. Attie, E. Baranov, S. Bliudze, M. Jaber and J. Sifakis. A General Framework for Architecture Composability, in Formal Aspects of Computing, vol. 28, num. 2, p. 207-231, 2016.
[6]
B. Fernandez Adiego, D. Darvas, E. Blanco Vinuela, J.-C. Tournier and S. Bliudze et al. Applying model checking to industrial-sized PLC programs, in IEEE Transactions on Industrial Informatics, vol. 11, num. 6, p. 1400-1410, 2015.
[7]
E. Baranov and S. Bliudze. Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP, in Science of Computer Programming, vol. 109, p. 2-35, 2015.
[8]
S. Bliudze and J. Sifakis. Causal semantics for the algebra of connectors, in Formal Methods in System Design, vol. 36, num. 2, p. 167-194, 2010.
[9]
S. Bliudze and D. Krob. Modelling of Complex Systems: Systems as dataflow machines, in Fundamenta Informaticae, vol. 91, num. 2, p. 251-274, 2009.
[10]
S. Bliudze and J. Sifakis. The algebra of connectors - Structuring interaction in BIP, in IEEE Transactions on Computers, vol. 57, num. 10, p. 1315 - 1330, 2008.
[11]
S. Bliudze and D. Krob. A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity, in Electronic Journal of Combinatorics, vol. 13, num. 1, p. R2, 2006.
[12]
S. Bliudze and D. Krob. Towards a Functional Formalism for Modelling Complex Industrial Systems, in ComPlexUs, Special Issue: Complex Systems -- European Conference -- November 2005 -- Selected Papers -- Part 1, vol. 2, num. 3--4, p. 163-176, 2005.

Conference Papers

[1]
S. Bliudze, A. Simalatsar and A. Zolotukhina. Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. 19th International Conference on Coordination Languages and Models, Neuchâtel, Switzerland, Lecture Notes in Computer Science 10319, 2017.
[2]
W. Saab, M. M. Maaz, S. Bliudze and J.-Y. Le Boudec. Quarts: Quick Agreement for Real-Time Control Systems. 22nd IEEE International Conference on Emerging Technologies And Factory Automation, Limassol, Cyprus, 2017.
[3]
A. Ivanov and S. Bliudze. Robust Software Development for University-Built Satellites. IEEE Aerospace Conference, Big Sky, Montana, USA, 2017.
[4]
H. Guesmi, B. Ben Hedia, M. Jan, S. Bliudze and S. Bensalemz. POSTER ABSTRACT: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, AUSTRALIA, IEEE Real-Time and Embedded Technology and Applications Symposium, 2016.
[5]
E. Baranov and S. Bliudze. A Note on the Expressiveness of BIP. Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016), Québec, Canada, Electronic Proceedings in Theoretical Computer Science 222, 2016.
[6]
I. Konnov, T. Kotek, Q. Wang, H. Veith and S. Bliudze et al. Parameterized Systems in BIP: Design and Model Checking. 27th International Conference on Concurrency Theory (CONCUR 2016), Québec, Canada, Leibniz International Proceedings in Informatics (LIPIcs) 59, 2016.
[7]
A. Mavridou, E. Stachtiari, S. Bliudze, A. Ivanov and P. Katsaros et al. Architecture-based Design: A Satellite On-board Software Case Study. 13th International Conference on Formal Aspects of Component Software (FACS 2016), Besançon, France, Lecture Notes in Computer Science 10231, 2016.
[8]
A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Architecture Diagrams: A Graphical Language for Architecture Style Specification. 9th Interaction and Concurrency Experience, Herakleion, Greece, Electronic Proceedings in Theoretical Computer Science, 2016.
[9]
M. M. Maaz, W. Saab, S. Bliudze and J.-Y. Le Boudec. Axo: Masking Delay Faults in Real-Time Control Systems. The 42nd Annual Conference of IEEE Industrial Electronics Society, Florence, Italy, 2016.
[10]
M. M. Maaz, W. Saab, S. Bliudze and J.-Y. Le Boudec. Axo: Tolerating Delay Faults in Real-Time Systems. , 2016.
[11]
K. Dokter, S.-S. Jongmans, F. Arbab and S. Bliudze. Relating BIP and Reo. 8th Interaction and Concurrency Experience (ICE 2015), Grenoble, France, Electronic Proceedings in Theoretical Computer Science 189, 2015.
[12]
A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Configuration Logics: Modelling Architecture Styles. 12th International Conference on Formal Aspects of Component Software, Niterói, Rio de Janeiro, Brazil, Lecture Notes in Computer Science 9539, 2015.
[13]
Q. Wang and S. Bliudze. SeBip: a symbolic executor for BIP. 20th International Conference on Engineering of Complex Computer Systems, Gold Coast, Australia, 2015.
[14]
Q. Wang, S. Bliudze, Y. Lei and X. Mao. Automatic Fault Localization for BIP. 1st Symposium on Dependable Software Engineering Theories, Tools and Applications, Nanjing, China, Lecture Notes in Computer Science 9409, 2015.
[15]
Q. Wang and S. Bliudze. Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction. 10th International Symposium on Trustworthy Global Computing, Madrid, Spain, Lecture Notes in Computer Science 9533, 2015.
[16]
S. Bliudze, A. Cimatti, M. Jaber, S. Mover and M. Roveri et al. Formal verification of infinite-state BIP models. 13th International Symposium on Automated Technology for Verification and Analysis, Shanghai, China, Lecture Notes in Computer Science 9364, 2015.
[17]
J. Sifakis, S. Bensalem, S. Bliudze and M. Bozga. A Theory Agenda for Component-Based Design. , Lecture Notes in Computer Science, 2015.
[18]
M. Noureddine, M. Jaber, S. Bliudze and F. A. Zaraket. Reduction and Abstraction Techniques for BIP. 11th International Symposium on Formal Aspects of Component Software, Bertinoro, Italy, Lecture Notes in Computer Science 8997, 2014.
[19]
P. Attie, E. Baranov, S. Bliudze, M. Jaber and J. Sifakis. A General Framework for Architecture Composability. 12th International Conference on Software Engineering and Formal Methods, Grenoble, France, Lecture Notes in Computer Science 8702, 2014.
[20]
S. Bliudze and S. Furic. An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction. 10th International Modelica Conference, Lund, Sweden, Linköping Electronic Conference Proceedings 96, 2014.
[21]
S. Bliudze, M. Bozga, M. Jaber and J. Sifakis. Architecture Internalisation in BIP. 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, Lille, France, 2014.
[22]
S. Bliudze, A. Mavridou, R. Szymanek and A. Zolotukhina. Coordination of software components with BIP: application to OSGi. 6th International Workshop on Modeling in Software Engineering, Hyderabad, India, 2014.
[23]
E. Baranov and S. Bliudze. Extended Connectors: Structuring Glue Operators in BIP. 6th Interaction and Concurrency Experience, Florence, Italy, Electronic Proceedings in Theoretical Computer Science 131, 2013.
[24]
B. F. Adiego, E. B. Vinuela, V. M. Gonzalez Suarez, S. Bliudze and J.-C. Tournier. Model-based automated testing of critical PLC programs. 2013 IEEE 11th International Conference on Industrial Informatics (INDIN), Bochum, Germany, 2013.
[25]
S. Bliudze, X. Fornari and M. Jan. From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS. , ERTS2, 2012.
[26]
S. Bliudze. Towards a Theory of Glue. 5th Interaction and Concurrency Experience, Stockholm, Sweden, EPTCS 104, 2012.
[27]
S. Bliudze. Compositional timing analysis: power plant protection system case study. Proceedings of the 1st International Workshop on Worst-Case Traversal Time, New York, NY, USA, WCTT'11, 2011.
[28]
S. Bliudze and J. Sifakis. Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. 10th International Conference on Software Composition (SC 2011), Zurich, Switzerland, LNCS 6708, 2011.
[29]
M. Jaber, A. Basu and S. Bliudze. Symbolic Implementation of Connectors in BIP. , EPTCS, 2009.
[30]
S. Bliudze and J. Sifakis. Causal Semantics for the Algebra of Connectors (Extended abstract). FMCO 2007, Berlin Heidelberg, LNCS, 2008.
[31]
S. Bliudze and J. Sifakis. A Notion of Glue Expressiveness for Component-Based Systems. 19th International Conference on Concurrency Theory (CONCUR'08), Toronto, Canada, LNCS 5201, 2008.
[32]
S. Bliudze and J. Sifakis. The Algebra of Connectors — Structuring Interaction in BIP. 7th ACM & IEEE international conference on Embedded software (EMSOFT'07), Salzburg, Austria, 2007.
[33]
S. Bliudze and D. Krob. Performance evaluation of demodulation with diversity --- A combinatorial approach III: Threshold analysis. , 2005.
[34]
S. Bliudze, N. Billy and D. Krob. On Optimal Hybrid ARQ Control Schemes for HSDPA with 16QAM. , 2005.

PhD Theses

[1]
Q. Wang, V. Kuncak and S. Bliudze (Dirs.). Algorithmic Verification of Component-based Systems. EPFL, Lausanne, 2017.
[2]
E. Baranov, J. Sifakis and S. Bliudze (Dirs.). A Semantic Framework for Architecture Modelling. EPFL, Lausanne, 2017.
[3]
A. Mavridou, J. Sifakis and S. Bliudze (Dirs.). Modelling Architecture Styles. EPFL, Lausanne, 2016.

Technical Reports

[1]
W. Saab, M. M. Maaz, S. Bliudze and J.-Y. Le Boudec. Quarts: Quick Agreement for Real-Time Control Systems, 2017.
[2]
A. Mavridou, E. Stachtiari, S. Bliudze, A. Ivanov and P. Katsaros et al. Architecture-based Design: A Satellite On-Board Software Case Study, 2016.
[3]
S. Bliudze, A. Simalatsar and A. Zolotukhina. Modelling Resource Dependencies, 2016.
[4]
H. Guesmi, B. Ben Hedia, S. Bliudze, S. Bensalem and B. Lenabec et al. Correct Transformation of High-Level Models into Time-Triggered Implementations, 2016.
[5]
A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Architecture Diagrams - A Graphical Language for Architecture Style Specification, 2016.
[6]
A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Configuration Logics - Modelling Architecture Styles, 2015.
[7]
E. Baranov and S. Bliudze. Offer Semantics: Achieving Compositionality, Flattening and Full Expressiveness for the Glue Operators in BIP, 2014.
[8]
S. Bliudze, M. Bozga, M. Jaber and J. Sifakis. Architecture Internalisation in BIP, 2014.
[9]
P. Attie, E. Baranov, S. Bliudze, M. Jaber and J. Sifakis. A General Framework for Architecture Composability, 2014.
[10]
S. Bliudze, A. Mavridou, R. Szymanek and A. Zolotukhina. Integration of BIP into Connectivity Factory: Implementation, 2013.

Presentations

[1]
S. Bliudze. Architectures: Design patterns for component-based systems. 9th International Symposium on Trustworthy Global Computing, Rome, Italy, 2014.
[2]
S. Bliudze and S. Furic. On the Soundness of Behavioural Abstraction in Hybrid Systems. 2nd International Workshop on Simulation at the System Level, Cargese, Corsica., 2014.
[3]
S. Bliudze, A. Mavridou, R. Szymanek and A. Zolotukhina. For Coordination, State Component Transitions. EclipseCon Europe 2013, Ludwigsburg, Germany, 2013.

Student works

[1]
C. J. M. Nussbaumer and L. Kieliger, S. Bliudze and A. Ivanov (Dirs.). Bidirectional transformation between BIP and SysML for visualisation and editing. , 2017.
[2]
A. J. D. Sikiaridis, S. Bliudze, A. Ivanov and J.-Y. Le Boudec (Dirs.). A Framework for Automatic Generation of OSRA-compliant Applications in BIP. , 2017.
[3]
V. Rutz, A. Mavridou, S. Bliudze and J. Sifakis (Dirs.). Introducing dynamicity in JavaBIP. , 2016.
[4]
R. Edelmann, S. Bliudze and J. Sifakis (Dirs.). Behaviour-Interaction-Priority in Functional Programming Languages: Formalisation and Implementation of Concurrency Frameworks in Haskell and Scala. , 2015.
[5]
M. Pagnamenta, A. Ivanov and S. Bliudze (Dirs.). Rigorous software design for nano and micro satellites using BIP framework. , 2014.

Simon Bliudze