| 2026 | Coordination | Motif Refinement for the Hierarchical Control of Structured CPSs. | Simon Bliudze, Sophie Cerf, Olga Kouchnarenko |
| 2024 | SEFM | Composing Run-Time Variability Models. | Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
| 2023 | Coordination | Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. | Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
| 2023 | FASE | JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. | Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina |
| 2022 | ICSA | Safe Dynamic Reconfiguration of Concurrent Component-based Applications. | Salman Farhat, Simon Bliudze, Laurence Duchien |
| 2019 | Coordination | Verification of Concurrent Design Patterns with Data. | Simon Bliudze, Ludovic Henrio, Eric Madelaine |
| 2017 | Coordination | Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. | Simon Bliudze, Alena Simalatsar, Alina Zolotukhina |
| 2017 | ETFA | Quarts: Quick agreement for real-time control systems. | Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec |
| 2017 | VECoS | 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 |
| 2016 | CONCUR | Parameterized Systems in BIP: Design and Model Checking. | Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis |
| 2016 | IECON | Axo: Masking delay faults in real-time control systems. | Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec |
| 2016 | RTAS | Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. | Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem |
| 2015 | ATVA | Formal Verification of Infinite-State BIP Models. | Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang |
| 2015 | ICECCS | SeBip: A Symbolic Executor for BIP. | Qiang Wang, Simon Bliudze |
| 2015 | SETTA | Automatic Fault Localization for BIP. | Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao |
| 2014 | ICSE | Coordination of software components with BIP: application to OSGi. | Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina |
| 2014 | SEFM | A General Framework for Architecture Composability. | Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis |
| 2013 | INDIN | Model-based automated testing of critical PLC programs. | Borja Fernandez Adiego, Enrique Blanco Viuela, Vctor M. Gonzlez Surez, Simon Bliudze |
| 2008 | CONCUR | A Notion of Glue Expressiveness for Component-Based Systems. | Simon Bliudze, Joseph Sifakis |
| 2007 | EMSOFT | The algebra of connectors: structuring interaction in BIP. | Simon Bliudze, Joseph Sifakis |
| 2005 | ALENEX | Performance Evaluation of Demodulation with DiversityA Combinatorial Approach III: Threshold Analysis. | Simon Bliudze, Daniel Krob |
| 2005 | WiMob | On optimal hybrid ARQ control schemes for HSDPA with 16QAM. | Simon Bliudze, Nicolas Billy, Daniel Krob |