Simon Bliudze

39
Documents

Publications

Publications

Deposit thumbnail

Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System

Anna Gallone , Simon Bliudze , Sophie Cerf , Olga Kouchnarenko

WACA 2025 - First Workshop on Adaptable Cloud Architectures, Giuseppe De Palma; Saverio Giallorenzo, Jun 2025, Lille, France. pp.58-78, ⟨10.4204/EPTCS.438.4⟩

Communication dans un congrès hal-05158958v2
Deposit thumbnail

A Hybrid Modelling Approach for Hierarchical Control of Structured CPSs

Simon Bliudze , Sophie Cerf , Olga Kouchnarenko

Components Operationally: Reversibility and System Engineering, Claudio Antares Mezzina; Alan Schmitt, Jun 2025, Lille, France. pp.175-196, ⟨10.1007/978-3-031-99717-4_10⟩

Communication dans un congrès hal-05158948v1
Deposit thumbnail

Adaptable TeaStore

Simon Bliudze , Giuseppe de Palma , Saverio Giallorenzo , Ivan Lanese , Gianluigi Zavattaro et al.

WACA 2025 - Workshop on Adaptable Cloud Architectures, Giuseppe De Palma; Saverio Giallorenzo, Jun 2025, Lille, France. pp.1-14, ⟨10.4204/EPTCS.438.1⟩

Communication dans un congrès hal-05446548v1
Deposit thumbnail

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

Brice Arléon Zemtsop Ndadji , Simon Bliudze , Clément Quinton

Proceedings of the First Workshop on Adaptable Cloud Architectures (WACA 2025), Giuseppe De Palma; Saverio Giallorenzo, Jun 2025, Lille, France. pp.123-147, ⟨10.4204/EPTCS.438.7⟩

Communication dans un congrès hal-05074243v1
Deposit thumbnail

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-04855648v1
Deposit thumbnail

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-03911393v1
Deposit thumbnail

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-02143782v1
Deposit thumbnail

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-01962971v1
Deposit thumbnail

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-01889067v1
Deposit thumbnail

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-01657340v1
Deposit thumbnail

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-01306466v1
Deposit thumbnail

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-01242605v1
Deposit thumbnail

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-01242608v1
Deposit thumbnail

An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction

Simon Bliudze , Sébastien Furic

MODELICA 2014 - 10th International Modelica Conference, Mar 2014, Lund, Sweden. pp.693-706, ⟨10.3384/ECP14096693⟩

Communication dans un congrès hal-05530618v1
Deposit thumbnail

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-01213681v1
Deposit thumbnail

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-02191848v1
Deposit thumbnail

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-00282866v1

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-00282877v1

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-00283000v1
Deposit thumbnail

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-04085278v2
Deposit thumbnail

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-01823507v1
Deposit thumbnail

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-03585767v1
Deposit thumbnail

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-03720402v1
Deposit thumbnail

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-02149934v2
Deposit thumbnail

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-01636392v1
Deposit thumbnail

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-01846124v1
Deposit thumbnail

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-01873999v1
Deposit thumbnail

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-01823749v1
Deposit thumbnail

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-02561099v1
Deposit thumbnail

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-00017311v1

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-03321958v1

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-03322041v1

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-03197446v1
Deposit thumbnail

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-01864823v1