Simon Bliudze

33

Documents

Web site

https://www.bliudze.me/simon/

Publications

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

	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⟩ Conference papers 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⟩ Conference papers hal-02143782v1
	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⟩ Conference papers hal-01889067v1
	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 Conference papers hal-01962971v1
	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⟩ Conference papers 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 Conference papers 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 Conference papers 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 Conference papers hal-01242608v1
	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⟩ Conference papers 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 Conference papers 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⟩ Conference papers 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⟩ Conference papers 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⟩ Conference papers hal-00283000v1

	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⟩ Journal articles 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⟩ Journal articles 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⟩ Journal articles hal-01636392v1
	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⟩ Journal articles hal-01823749v1
	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⟩ Journal articles hal-01873999v1
	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⟩ Journal articles hal-01846124v1
	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⟩ Journal articles 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 Journal articles hal-00017311v1

	Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems Salman Farhat , Simon Bliudze , Laurence Duchien , Olga Kouchnarenko RR-9504, Inria. 2023 Reports 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 Reports hal-01823507v1

	Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020) Simon Bliudze , Laura Bocchi 2022 Books 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⟩ Books hal-03168525v1

	SAT-Based Extraction of Behavioural Models for Java Libraries with Collections Larisa Safina , Simon Bliudze 2022 Preprints, Working Papers, ... hal-03720403v1
	Towards a Functional Formalism for Modelling Complex Industrial Systems Daniel Krob , Simon Bliudze 2006 Preprints, Working Papers, ... hal-00018555v1

	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⟩ Book sections hal-01864823v1

	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 Special issue hal-03197446v1

	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 Conference poster hal-03585767v1

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