Simon Bliudze

CHARGE DE RECHERCHE EPST - Component-based concurrent systems
    +33 3 59 35 86 31
Inria Bât B, B311
simon_bliudze.jpg

Simon Bliudze

CHARGE DE RECHERCHE EPST - Component-based concurrent systems

Publications

Article dans des revues

  • Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel. Rigorous Design of Cyber-Physical Systems: Linking Physicality and Computation. Software and Systems Modeling, Springer Verlag, In press, Software and System Modeling, 18 (3), pp.1613--1636. ⟨10.1007/s10270-017-0642-5⟩. ⟨hal-01636392⟩
  • Eduard Baranov, Simon Bliudze. Expressiveness of component-based frameworks: A study of the expressiveness of BIP. Acta Informatica, Springer Verlag, In press, ⟨10.1007/s00236-019-00337-7⟩. ⟨hal-02149934⟩
  • Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec. Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems. IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2018, 14 (7), pp.3065 - 3075. ⟨10.1109/TII.2017.2772219⟩. ⟨hal-01846124⟩
  • Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Lenabec. TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innovations in Systems and Software Engineering, Springer Verlag, 2018, 14 (2), pp.117 - 142. ⟨10.1007/s11334-018-0312-y⟩. ⟨hal-01823749⟩
  • Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis. Early validation of system requirements and design through correctness-by-construction. Journal of Systems and Software, Elsevier, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩. ⟨hal-01873999⟩
  • Simon Bliudze, Daniel Krob. Modelling of Complex Systems: Systems as Dataflow Machines. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 91 (2), pp.251-274. ⟨10.3233/FI-2009-0043⟩. ⟨hal-02561099⟩
  • Simon Bliudze, Daniel Krob. A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity. The Electronic Journal of Combinatorics, Open Journal Systems, 2006, 13, (1), article #R2, 31 p. ⟨hal-00017311⟩

Communication dans un congrès

  • Simon Bliudze, Ludovic Henrio, Eric Madelaine. Verification of concurrent design patterns with data. 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⟩. ⟨hal-02143782⟩
  • Xudong Qin, Simon Bliudze, Eric Madelaine, Min Zhang. Using SMT engine to generate Symbolic Automata. 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. ⟨hal-01962971⟩
  • Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec. Ordering Events Based on Intentionality in Cyber-Physical Systems. ICCPS 2018 - 9th ACM/IEEE International Conference on Cyber-Physical Systems, Apr 2018, Porto, Portugal. ⟨10.1109/ICCPS.2018.00019⟩. ⟨hal-01889067⟩
  • Simon Bliudze, Alena Simalatsar, Alina Zolotukhina. Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. 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⟩. ⟨hal-01657340⟩
  • Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Mathieu Jan, Saddek Bensalem. Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS, Apr 2016, Vienna, Austria. pp.13. ⟨hal-01306466⟩
  • Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Jacques Combaz. Towards Time-triggered Component-based System Models. ICSEA15, The Tenth International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.157-169. ⟨hal-01242605⟩
  • Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem. Externalisation of Time-Triggered communication system in BIP high level models. 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014), Oct 2014, Versailles, France. pp.47-50. ⟨hal-01242608⟩
  • Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber. Architecture internalisation in BIP. 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, Jun 2014, Lille, France. pp.169-178, ⟨10.1145/2602458.2602477⟩. ⟨hal-01213681⟩
  • Simon Bliudze, Xavier Fornari, Mathieu Jan. From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02191848⟩
  • Simon Bliudze, Joseph Sifakis. The Algebra of Connectors — Structuring Interaction in BIP. International Conference On Embedded Software (EMSOFT), Oct 2007, Salzbourg, Austria. pp.11-20, ⟨10.1145/1289927.1289935⟩. ⟨hal-00282866⟩
  • Simon Bliudze, Daniel Krob. Towards a Functional Formalism for Modelling Complex Industrial Systems. European Conference on Complex Systems, Nov 2005, Paris, France. pp.163-176, ⟨10.1159/000093688⟩. ⟨hal-00282877⟩
  • Simon Bliudze, Nicolas Billy, Daniel Krob. On optimal hybrid ARQ control schemes for HSDPA with 16QAM. International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2005), Aug 2005, Montreal, Canada. pp.121- 127, ⟨10.1109/WIMOB.2005.1512826⟩. ⟨hal-00283000⟩

Chapitre d'ouvrage

  • Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga. A Theory Agenda for Component-Based Design. Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 2015. ⟨hal-01864823⟩

Pré-publication, Document de travail

  • Daniel Krob, Simon Bliudze. Towards a Functional Formalism for Modelling Complex Industrial Systems. 2006. ⟨hal-00018555⟩

Rapport

  • Xudong Qin, Simon Bliudze, Eric Madelaine, Min Zhang. 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. ⟨hal-01823507⟩