Performance Evaluation of Demodulation with DiversityØA Combinatorial Approach III: Threshold Analysis. - Simon Bliudze; Daniel Krob (ALENEX/ANALCO, 2005)

On optimal hybrid ARQ control schemes for HSDPA with 16QAM. - Simon Bliudze; Nicolas Billy; Daniel Krob (WiMob (1), 2005)

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)

A Notion of Glue Expressiveness for Component-Based Systems. - Simon Bliudze; Joseph Sifakis (CONCUR, 2008)

The Algebra of Connectors - Structuring Interaction in BIP. - Simon Bliudze; Joseph Sifakis (IEEE Trans. Computers, 2008)

Symbolic Implementation of Connectors in BIP - Mohamad Jaber 001; Ananda Basu; Simon Bliudze (ICE, 2009)

Modelling of Complex Systems: Systems as Dataflow Machines. - Simon Bliudze; Daniel Krob (Fundam. Informaticae, 2009)

Causal semantics for the algebra of connectors. - Simon Bliudze; Joseph Sifakis (Formal Methods Syst. Des., 2010)

Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. - Simon Bliudze; Joseph Sifakis (SC@TOOLS, 2011)

Concurrency and Interaction in Complex Systems. - Sonia Ben Mokhtar; Simon Bliudze; Roberto Bruni 001; Alexandra Silva 001; Angelo Troina (Sci. Ann. Comput. Sci., 2011)

Towards a Theory of Glue - Simon Bliudze (ICE, 2012)

Towards Interaction Reliability in Concurrent Applications. - Simon Bliudze; Roberto Bruni 001; Marco Carbone; Alexandra Silva 001 (Sci. Ann. Comput. Sci., 2012)

Model-based automated testing of critical PLC programs. - Borja Fernandez Adiego; Enrique Blanco Viñuela; Víctor M. González Suárez; Simon Bliudze (INDIN, 2013)

Extended Connectors: Structuring Glue Operators in BIP. - Eduard Baranov; Simon Bliudze (ICE, 2013)

Rigorous component-based design in BIP: half-day tutorial. - Simon Bliudze (CBSE, 2014)

Architecture internalisation in BIP. - Simon Bliudze; Joseph Sifakis; Marius Bozga; Mohamad Jaber 001 (CBSE, 2014)

Reduction and Abstraction Techniques for BIP. - Mohamad Noureddine; Mohamad Jaber 001; Simon Bliudze; Fadi A. Zaraket (FACS, 2014)

Coordination of software components with BIP: application to OSGi. - Simon Bliudze; Anastasia Mavridou; Radoslaw Szymanek; Alina Zolotukhina (MiSE, 2014)

Formal Verification of Infinite-State BIP Models. - Simon Bliudze; Alessandro Cimatti; Mohamad Jaber 001; Sergio Mover; Marco Roveri; Wajeb Saab; Qiang Wang 020 (ATVA, 2015)

A Theory Agenda for Component-Based Design. - Joseph Sifakis; Saddek Bensalem; Simon Bliudze; Marius Bozga (Software, Services, and Systems, 2015)

Configuration Logics: Modelling Architecture Styles. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (FACS, 2015)

SeBip: A Symbolic Executor for BIP. - Qiang Wang 020; Simon Bliudze (ICECCS, 2015)

Automatic Fault Localization for BIP. - Qiang Wang 020; Yan Lei; Simon Bliudze; Xiaoguang Mao (SETTA, 2015)

Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. - Qiang Wang 020; Simon Bliudze (TGC, 2015)

Relating BIP and Reo. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze (ICE, 2015)

Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. - Eduard Baranov; Simon Bliudze (Sci. Comput. Program., 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)

Parameterized Systems in BIP: Design and Model Checking. - Igor V. Konnov 001; Tomer Kotek; Qiang Wang 020; Helmut Veith; Simon Bliudze; Joseph Sifakis (CONCUR, 2016)

Architecture-Based Design: A Satellite On-Board Software Case Study. - Anastasia Mavridou; Emmanouela Stachtiari; Simon Bliudze; Anton B. Ivanov; Panagiotis Katsaros; Joseph Sifakis (FACS, 2016)

Axo: Masking delay faults in real-time control systems. - Maaz Mohiuddin; Wajeb Saab; Simon Bliudze; Jean-Yves Le Boudec (IECON, 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 (RTAS, 2016)

A Note on the Expressiveness of BIP. - Eduard Baranov; Simon Bliudze (EXPRESS/SOS, 2016)

Architecture Diagrams: A Graphical Language for Architecture Style Specification. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (ICE, 2016)

A general framework for architecture composability. - Paul C. Attie; Eduard Baranov; Simon Bliudze; Mohamad Jaber 001; Joseph Sifakis (Formal Aspects Comput., 2016)

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. - Simon Bliudze; Alena Simalatsar; Alina Zolotukhina (COORDINATION, 2017)

Quarts: Quick agreement for real-time control systems. - Wajeb Saab; Maaz Mohiuddin; Simon Bliudze; Jean-Yves Le Boudec (ETFA, 2017)

Coordination of Dynamic Software Components with JavaBIP. - Anastasia Mavridou; Valentin Rutz; Simon Bliudze (FACS, 2017)

Combine and conquer: Relating BIP and Reo. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze (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)

Configuration logics: Modeling architecture styles. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (J. Log. Algebraic Methods Program., 2017)

Exogenous coordination of concurrent software components with JavaBIP. - Simon Bliudze; Anastasia Mavridou; Radoslaw Szymanek; Alina Zolotukhina (Softw. Pract. Exp., 2017)

Ordering events based on intentionality in cyber-physical systems. - Wajeb Saab; Maaz Mohiuddin; Simon Bliudze; Jean-Yves Le Boudec (ICCPS, 2018)

Using SMT Engine to Generate Symbolic Automata. - Eric Madelaine; Xudong Qin; Min Zhang 002; Simon Bliudze (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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)

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)

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)

Verification of Concurrent Design Patterns with Data. - Simon Bliudze; Ludovic Henrio; Eric Madelaine (COORDINATION, 2019)

Rigorous design of cyber-physical systems - Linking physicality and computation. - Simon Bliudze; Sébastien Furic; Joseph Sifakis; Antoine Viel (Softw. Syst. Model., 2019)

Expressiveness of component-based frameworks: a study of the expressiveness of BIP. - Eduard Baranov; Simon Bliudze (Acta Informatica, 2020)

Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. - Eduard Baranov; Simon Bliudze (Acta Informatica, 2020)

SMT-based generation of symbolic automata. - Xudong Qin; Simon Bliudze; Eric Madelaine; Zechen Hou; Yuxin Deng; Min Zhang 002 (Acta Informatica, 2020)

Robust Software Development for University-Built Satellites. - Anton B. Ivanov; Simon Bliudze (CoRR, 2020)

Preface to the VECoS 2018 special issue of ISSE. - Mohamed Faouzi Atig; Simon Bliudze (Innov. Syst. Softw. Eng., 2020)

On methods and tools for rigorous system design. - Simon Bliudze; Panagiotis Katsaros; Saddek Bensalem; Martin Wirsing (Int. J. Softw. Tools Technol. Transf., 2021)

Safe Dynamic Reconfiguration of Concurrent Component-based Applications. - Salman Farhat; Simon Bliudze; Laurence Duchien (ICSA Companion, 2022)

SAT-Based Extraction of Behavioural Models for Java Libraries with Collections. - Larisa Safina; Simon Bliudze (CoRR, 2022)

Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. - Salman Farhat; Simon Bliudze; Laurence Duchien; Olga Kouchnarenko (COORDINATION, 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 (FASE, 2023)

Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP. - Simon Bliudze (2024)

Enabling Behaviour Tree Verification via a Translation to BIP. - Qiang Wang 020; Huadong Dai; Yongxin Zhao; Min Zhang 002; Simon Bliudze (FACS, 2024)

Composing Run-Time Variability Models. - Salman Farhat; Simon Bliudze; Laurence Duchien; Olga Kouchnarenko (SEFM, 2024)

Adaptable TeaStore. - Simon Bliudze; Giuseppe De Palma; Saverio Giallorenzo; Ivan Lanese; Gianluigi Zavattaro; Brice Arleon Zemtsop Ndadji (CoRR, 2024)

Towards Exogenous Coordination of Concurrent Cloud Applications. - Trinh Le-Khanh; Hoang-Gia Nguyen; Simon Bliudze; Philippe Merle (Int. J. Softw. Eng. Knowl. Eng., 2024)