Simon Bliudze

Publications

Communication dans un congrès (18)

Adaptable TeaStore Simon Bliudze,Giuseppe de Palma,Saverio Giallorenzo,Ivan Lanese,Gianluigi Zavattaroet 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Chapitre d'ouvrage (2)

A Hybrid Modelling Approach for Hierarchical Control of Structured CPSs Simon Bliudze,Sophie Cerf,Olga Kouchnarenko Claudio Antares Mezzina; Alan Schmitt. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, 16065, Springer Nature Switzerland, pp.175-196, 2025, Lecture Notes in Computer Science, 10.1007/978-3-031-99717-4 Click and Read. ⟨10.1007/978-3-031-99717-4_10⟩ Chapitre d'ouvrage hal-05158948v1
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

HDR (1)

Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP Simon Bliudze Computer Science [cs]. Université de Lille, 2024 HDR tel-04567479v1

Rapport (2)

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

Ouvrages (2)

Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020) Simon Bliudze,Laura Bocchi 2022 Ouvrages hal-03720404v1
Coordination Models and Languages Simon Bliudze,Laura Bocchi Simon Bliudze; Laura Bocchi. LNCS-12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩ Ouvrages hal-03168525v1

Pré-publication, Document de travail (2)

SAT-Based Extraction of Behavioural Models for Java Libraries with Collections Larisa Safina,Simon Bliudze 2022 Pré-publication, Document de travail hal-03720403v1
Towards a Functional Formalism for Modelling Complex Industrial Systems Daniel Krob,Simon Bliudze 2006 Pré-publication, Document de travail hal-00018555v1

Poster de conférence (1)

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

Article dans une revue (8)

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

Proceedings/Recueil des communications (2)

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

N°spécial de revue/special issue (1)

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