Simon Bliudze
Publications
Publications
|
|
Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete SystemWACA 2025 - First Workshop on Adaptable Cloud Architectures, Giuseppe De Palma; Saverio Giallorenzo, Jun 2025, Lille, France. pp.58-78, ⟨10.4204/EPTCS.438.4⟩ |
|
|
A Hybrid Modelling Approach for Hierarchical Control of Structured CPSsComponents 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⟩ |
|
|
Adaptable TeaStoreWACA 2025 - Workshop on Adaptable Cloud Architectures, Giuseppe De Palma; Saverio Giallorenzo, Jun 2025, Lille, France. pp.1-14, ⟨10.4204/EPTCS.438.1⟩ |
|
|
AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud MicroservicesProceedings 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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Towards Correct Transformation: From High-Level Models to Time-Triggered ImplementationsRTAS, Apr 2016, Vienna, Austria. pp.13 |
|
|
Towards Time-triggered Component-based System ModelsICSEA15, The Tenth International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.157-169 |
|
|
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 |
|
|
An Operational Semantics for Hybrid Systems Involving Behavioral AbstractionMODELICA 2014 - 10th International Modelica Conference, Mar 2014, Lund, Sweden. pp.693-706, ⟨10.3384/ECP14096693⟩ |
|
|
Architecture internalisation in BIP17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, Jun 2014, Lille, France. pp.169-178, ⟨10.1145/2602458.2602477⟩ |
|
|
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 |
|
|
The Algebra of Connectors — Structuring Interaction in BIPInternational Conference On Embedded Software (EMSOFT), Oct 2007, Salzbourg, Austria. pp.11-20, ⟨10.1145/1289927.1289935⟩ |
|
|
Towards a Functional Formalism for Modelling Complex Industrial SystemsEuropean Conference on Complex Systems, Nov 2005, Paris, France. pp.163-176, ⟨10.1159/000093688⟩ |
|
|
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⟩ |
|
|
Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIPComputer Science [cs]. Université de Lille, 2024 |
|
|
Run-time Coordination of Reconfiguration Requests in Cloud Computing SystemsRR-9504, Inria. 2023 |
|
|
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 |
Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020)2022 |
|
|
|
Coordination Models and LanguagesSimon Bliudze; Laura Bocchi. LNCS-12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩ |
|
|
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections2022 |
|
|
Towards a Functional Formalism for Modelling Complex Industrial Systems2006 |
|
|
Safe Dynamic Reconfiguration of Concurrent Component-based ApplicationsICSA 2022 - 19th IEEE International Conference on Software Architecture, Mar 2022, Honolulu, United States |
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⟩ |
|
|
|
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⟩ |
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 |
|
|
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⟩ |