Simon Bliudze

According to our database, Simon Bliudze authored at least 61 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Towards Exogenous Coordination of Concurrent Cloud Applications.

Trinh Le-Khanh, Hoang-Gia Nguyen, Simon Bliudze, Philippe Merle

Int. J. Softw. Eng. Knowl. Eng., January, 2024

Enabling Behaviour Tree Verification via a Translation to BIP.

Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP.

Simon Bliudze

, 2024

2023

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.

Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina

Proceedings of the Fundamental Approaches to Software Engineering, 2023

Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems.

Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko

Proceedings of the Coordination Models and Languages, 2023

2022

SAT-Based Extraction of Behavioural Models for Java Libraries with Collections.

Larisa Safina, Simon Bliudze

CoRR, 2022

Safe Dynamic Reconfiguration of Concurrent Component-based Applications.

Salman Farhat, Simon Bliudze, Laurence Duchien

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

2021

On methods and tools for rigorous system design.

Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing

Int. J. Softw. Tools Technol. Transf., 2021

2020

Preface to the VECoS 2018 special issue of ISSE.

Mohamed Faouzi Atig, Simon Bliudze

Innov. Syst. Softw. Eng., 2020

Robust Software Development for University-Built Satellites.

Anton B. Ivanov, Simon Bliudze

CoRR, 2020

SMT-based generation of symbolic automata.

Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang

Acta Informatica, 2020

Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.

Eduard Baranov, Simon Bliudze

Acta Informatica, 2020

Expressiveness of component-based frameworks: a study of the expressiveness of BIP.

Eduard Baranov, Simon Bliudze

Acta Informatica, 2020

2019

Rigorous design of cyber-physical systems - Linking physicality and computation.

Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel

Softw. Syst. Model., 2019

Verification of Concurrent Design Patterns with Data.

Simon Bliudze, Ludovic Henrio, Eric Madelaine

Proceedings of the Coordination Models and Languages, 2019

2018

Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems.

Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec

IEEE Trans. Ind. Informatics, 2018

Early validation of system requirements and design through correctness-by-construction.

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis

J. Syst. Softw., 2018

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm.

Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec

Innov. Syst. Softw. Eng., 2018

Using SMT Engine to Generate Symbolic Automata.

Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Ordering events based on intentionality in cyber-physical systems.

Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Exogenous coordination of concurrent software components with JavaBIP.

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

Softw. Pract. Exp., 2017

Configuration logics: Modeling architecture styles.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

J. Log. Algebraic Methods Program., 2017

Functional BIP: Embedding connectors in functional programming languages.

Romain Edelmann, Simon Bliudze, Joseph Sifakis

J. Log. Algebraic Methods Program., 2017

Combine and conquer: Relating BIP and Reo.

Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze

J. Log. Algebraic Methods Program., 2017

Coordination of Dynamic Software Components with JavaBIP.

Anastasia Mavridou, Valentin Rutz, Simon Bliudze

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Quarts: Quick agreement for real-time control systems.

Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies.

Simon Bliudze, Alena Simalatsar, Alina Zolotukhina

Proceedings of the Coordination Models and Languages, 2017

2016

A general framework for architecture composability.

Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis

Formal Aspects Comput., 2016

Architecture Diagrams: A Graphical Language for Architecture Style Specification.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

A Note on the Expressiveness of BIP.

Eduard Baranov, Simon Bliudze

Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016

Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations.

Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Axo: Masking delay faults in real-time control systems.

Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec

Proceedings of the IECON 2016, 2016

Architecture-Based Design: A Satellite On-Board Software Case Study.

Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Parameterized Systems in BIP: Design and Model Checking.

Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Applying Model Checking to Industrial-Sized PLC Programs.

Borja Fernandez Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, Víctor Manuel González Suárez

IEEE Trans. Ind. Informatics, 2015

Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.

Eduard Baranov, Simon Bliudze

Sci. Comput. Program., 2015

Relating BIP and Reo.

Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction.

Qiang Wang, Simon Bliudze

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Automatic Fault Localization for BIP.

Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

SeBip: A Symbolic Executor for BIP.

Qiang Wang, Simon Bliudze

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Configuration Logics: Modelling Architecture Styles.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

A Theory Agenda for Component-Based Design.

Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga

Proceedings of the Software, 2015

Formal Verification of Infinite-State BIP Models.

Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Coordination of software components with BIP: application to OSGi.

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Reduction and Abstraction Techniques for BIP.

Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Architecture internalisation in BIP.

Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Rigorous component-based design in BIP: half-day tutorial.

Simon Bliudze

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013

Extended Connectors: Structuring Glue Operators in BIP.

Eduard Baranov, Simon Bliudze

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

Model-based automated testing of critical PLC programs.

Borja Fernandez Adiego, Enrique Blanco Viñuela, Víctor M. González Suárez, Simon Bliudze

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012

Towards Interaction Reliability in Concurrent Applications.

Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva

Sci. Ann. Comput. Sci., 2012

Towards a Theory of Glue

Simon Bliudze

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

2011

Concurrency and Interaction in Complex Systems.

Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina

Sci. Ann. Comput. Sci., 2011

Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems.

Simon Bliudze, Joseph Sifakis

Proceedings of the Software Composition - 10th International Conference, 2011

2010

Causal semantics for the algebra of connectors.

Simon Bliudze, Joseph Sifakis

Formal Methods Syst. Des., 2010

2009

Modelling of Complex Systems: Systems as Dataflow Machines.

Simon Bliudze, Daniel Krob

Fundam. Informaticae, 2009

Symbolic Implementation of Connectors in BIP

Mohamad Jaber, Ananda Basu, Simon Bliudze

Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

2008

The Algebra of Connectors - Structuring Interaction in BIP.

Simon Bliudze, Joseph Sifakis

IEEE Trans. Computers, 2008

A Notion of Glue Expressiveness for Component-Based Systems.

Simon Bliudze, Joseph Sifakis

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2006

A Combinatorial Approach to Evaluation of Reliability of the Receiver Output for BPSK Modulation with Spatial Diversity.

Simon Bliudze, Daniel Krob

Electron. J. Comb., 2006

2005

On optimal hybrid ARQ control schemes for HSDPA with 16QAM.

Simon Bliudze, Nicolas Billy, Daniel Krob

Proceedings of the 2005 IEEE International Conference on Wireless And Mobile Computing, 2005

Performance Evaluation of Demodulation with DiversityØA Combinatorial Approach III: Threshold Analysis.

Simon Bliudze, Daniel Krob

Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithmics and Combinatorics, 2005