Simon Bliudze

35
Documents

Publications

Publications

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices

Arléon Brice Zemtsop , Simon Bliudze , Clément Quinton
WACA'25 - Workshop on Adaptable Cloud Architectures, Jun 2025, Lille, France
Communication dans un congrès hal-05074243 v1
Image document

Composing Run-Time Variability Models

Salman Farhat , Simon Bliudze , Laurence Duchien , Olga Kouchnarenko
Software Engineering and Formal Methods. SEFM 2024, Alexandre Madeira; Alexander Knapp, Nov 2024, Aveiro, Portugal. pp.234-252, ⟨10.1007/978-3-031-77382-2_14⟩
Communication dans un congrès hal-04855648 v1
Image document

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 - 26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.143-150, ⟨10.1007/978-3-031-30826-0_8⟩
Communication dans un congrès hal-03911393 v1
Image document

Verification of concurrent design patterns with data

Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Communication dans un congrès hal-02143782 v1
Image document

Ordering Events Based on Intentionality in Cyber-Physical Systems

Wajeb Saab , Maaz Mohiuddin , Simon Bliudze , Jean-Yves Le Boudec
ICCPS 2018 - 9th ACM/IEEE International Conference on Cyber-Physical Systems, Apr 2018, Porto, Portugal. ⟨10.1109/ICCPS.2018.00019⟩
Communication dans un congrès hal-01889067 v1
Image document

Using SMT engine to generate Symbolic Automata

Xudong Qin , Simon Bliudze , Eric Madelaine , Min Zhang
18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. Electronic Communications of the EASST Open Access Journal, Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-01962971 v1
Image document

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

Simon Bliudze , Alena Simalatsar , Alina Zolotukhina
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.197-216, ⟨10.1007/978-3-319-59746-1_11⟩
Communication dans un congrès hal-01657340 v1
Image document

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

Hela Guesmi , Belgacem Ben Hedia , Simon Bliudze , Mathieu Jan , Saddek Bensalem
RTAS, Apr 2016, Vienna, Austria. pp.13
Communication dans un congrès hal-01306466 v1
Image document

Towards Time-triggered Component-based System Models

Hela Guesmi , Belgacem Ben Hedia , Simon Bliudze , Saddek Bensalem , Jacques Combaz
ICSEA15, The Tenth International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.157-169
Communication dans un congrès hal-01242605 v1
Image document

Architecture internalisation in BIP

Simon Bliudze , Joseph Sifakis , Marius Bozga , Mohamad Jaber
17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, Jun 2014, Lille, France. pp.169-178, ⟨10.1145/2602458.2602477⟩
Communication dans un congrès hal-01213681 v1
Image document

Externalisation of Time-Triggered communication system in BIP high level models

Hela Guesmi , Belgacem Ben Hedia , Simon Bliudze , Saddek Bensalem
8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014), Oct 2014, Versailles, France. pp.47-50
Communication dans un congrès hal-01242608 v1
Image document

From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS

Simon Bliudze , Xavier Fornari , Mathieu Jan
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès hal-02191848 v1
Image document

The Algebra of Connectors — Structuring Interaction in BIP

Simon Bliudze , Joseph Sifakis
International Conference On Embedded Software (EMSOFT), Oct 2007, Salzbourg, Austria. pp.11-20, ⟨10.1145/1289927.1289935⟩
Communication dans un congrès hal-00282866 v1

Towards a Functional Formalism for Modelling Complex Industrial Systems

Simon Bliudze , Daniel Krob
European Conference on Complex Systems, Nov 2005, Paris, France. pp.163-176, ⟨10.1159/000093688⟩
Communication dans un congrès hal-00282877 v1

On optimal hybrid ARQ control schemes for HSDPA with 16QAM

Simon Bliudze , Nicolas Billy , Daniel Krob
International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2005), Aug 2005, Montreal, Canada. pp.121- 127, ⟨10.1109/WIMOB.2005.1512826⟩
Communication dans un congrès hal-00283000 v1
Image document

Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems

Salman Farhat , Simon Bliudze , Laurence Duchien , Olga Kouchnarenko
RR-9504, Inria. 2023
Rapport (rapport de recherche) hal-04085278 v2
Image document

Using SMT engine to generate Symbolic Automata -Extended version

Xudong Qin , Simon Bliudze , Eric Madelaine , Min Zhang
[Research Report] RR-9177, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; inria. 2018
Rapport (rapport de recherche) hal-01823507 v1
Image document

Safe Dynamic Reconfiguration of Concurrent Component-based Applications

Salman Farhat , Simon Bliudze , Laurence Duchien
ICSA 2022 - 19th IEEE International Conference on Software Architecture, Mar 2022, Honolulu, United States
Poster de conférence hal-03585767 v1

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)

Simon Bliudze , Laura Semini
Simon Bliudze; Laura Semini. 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2021, Madrid, IEEE, 2021, ⟨10.1109/FormaliSE52586.2021⟩
Proceedings/Recueil des communications hal-03321958 v1

VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems

Mohamed Faouzi Atig , Saddek Bensalem , Simon Bliudze , Bruno Monsuez
Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. ⟨10.1007/978-3-030-00359-3⟩
Proceedings/Recueil des communications hal-03322041 v1
Image document

On methods and tools for rigorous system design

Simon Bliudze , Panagiotis Katsaros , Saddek Bensalem , Martin Wirsing
International Journal on Software Tools for Technology Transfer, 2021, 23 (5), pp.679-684. ⟨10.1007/s10009-021-00632-0⟩
Article dans une revue hal-03720402 v1
Image document

Expressiveness of component-based frameworks: A study of the expressiveness of BIP

Eduard Baranov , Simon Bliudze
Acta Informatica, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩
Article dans une revue hal-02149934 v2
Image document

Rigorous Design of Cyber-Physical Systems

Simon Bliudze , Sébastien Furic , Joseph Sifakis , Antoine Viel
Software and Systems Modeling, 2019, Software and System Modeling, 18 (3), pp.1613--1636. ⟨10.1007/s10270-017-0642-5⟩
Article dans une revue hal-01636392 v1
Image document

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 Transactions on Industrial Informatics, 2018, 14 (7), pp.3065 - 3075. ⟨10.1109/TII.2017.2772219⟩
Article dans une revue hal-01846124 v1
Image document

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

Emmanouela Stachtiari , Anastasia Mavridou , Panagiotis Katsaros , Simon Bliudze , Joseph Sifakis
Journal of Systems and Software, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩
Article dans une revue hal-01873999 v1
Image document

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 Lenabec
Innovations in Systems and Software Engineering, 2018, 14 (2), pp.117 - 142. ⟨10.1007/s11334-018-0312-y⟩
Article dans une revue hal-01823749 v1
Image document

Modelling of Complex Systems: Systems as Dataflow Machines

Simon Bliudze , Daniel Krob
Fundamenta Informaticae, 2009, 91 (2), pp.251-274. ⟨10.3233/FI-2009-0043⟩
Article dans une revue hal-02561099 v1
Image document

A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity

Simon Bliudze , Daniel Krob
The Electronic Journal of Combinatorics, 2006, 13, (1), article #R2, 31 p
Article dans une revue hal-00017311 v1

Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)

Simon Bliudze , Mohamed Faouzi Atig
Mohamed Faouzi Atig; Simon Bliudze. Innovations in Systems and Software Engineering, 16 (2), 2020, Innovations in Systems and Software Engineering
N°spécial de revue/special issue hal-03197446 v1
Image document

A Theory Agenda for Component-Based Design

Joseph Sifakis , Saddek Bensalem , Simon Bliudze , Marius Bozga
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 8950, Springer International Publishing, pp.409-439, 2015, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-15545-6_24⟩
Chapitre d'ouvrage hal-01864823 v1