
Simon Bliudze
35
Documents
Site web
Publications
Publications
AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud MicroservicesWACA'25 - Workshop on Adaptable Cloud Architectures, Jun 2025, Lille, France
Communication dans un congrès
hal-05074243
v1
|
|
|
Composing Run-Time Variability ModelsSoftware 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
|
|
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in JavaFASE 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
|
|
Verification of concurrent design patterns with dataCOORDINATION 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
|
|
Ordering Events Based on Intentionality in Cyber-Physical SystemsICCPS 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
|
|
Using SMT engine to generate Symbolic Automata18th 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
|
|
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies19th 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
|
|
Towards Correct Transformation: From High-Level Models to Time-Triggered ImplementationsRTAS, Apr 2016, Vienna, Austria. pp.13
Communication dans un congrès
hal-01306466
v1
|
|
Towards Time-triggered Component-based System ModelsICSEA15, The Tenth International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.157-169
Communication dans un congrès
hal-01242605
v1
|
|
Architecture internalisation in BIP17th 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
|
|
Externalisation of Time-Triggered communication system in BIP high level models8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014), Oct 2014, Versailles, France. pp.47-50
Communication dans un congrès
hal-01242608
v1
|
|
From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASISEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02191848
v1
|
|
The Algebra of Connectors — Structuring Interaction in BIPInternational 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 SystemsEuropean 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 16QAMInternational 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
|
|
Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIPComputer Science [cs]. Université de Lille, 2024
HDR
tel-04567479
v1
|
|
Run-time Coordination of Reconfiguration Requests in Cloud Computing SystemsRR-9504, Inria. 2023
Rapport
(rapport de recherche)
hal-04085278
v2
|
|
Using SMT engine to generate Symbolic Automata -Extended version[Research Report] RR-9177, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; inria. 2018
Rapport
(rapport de recherche)
hal-01823507
v1
|
|
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections2022
Pré-publication, Document de travail
hal-03720403
v1
|
|
Towards a Functional Formalism for Modelling Complex Industrial Systems2006
Pré-publication, Document de travail
hal-00018555
v1
|
|
Safe Dynamic Reconfiguration of Concurrent Component-based ApplicationsICSA 2022 - 19th IEEE International Conference on Software Architecture, Mar 2022, Honolulu, United States
Poster de conférence
hal-03585767
v1
|
Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020)2022
Ouvrages
hal-03720404
v1
|
|
|
Coordination Models and LanguagesSimon Bliudze; Laura Bocchi. LNCS-12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩
Ouvrages
hal-03168525
v1
|
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)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 SystemsMohamed 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
|
Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)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
|
|
A Theory Agenda for Component-Based DesignSoftware, 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
|
Chargement...
Chargement...