Simon Bliudze
Chargé de recherche epst
Laboratoire / équipe
Publications
{
"response":{"numFound":32,"start":0,"numFoundExact":true,"docs":[
{
"citationRef_s":"RR-9504, Inria. 2023",
"citationFull_s":"Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko. Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. RR-9504, Inria. 2023. <a target=\"_blank\" href=\"https://inria.hal.science/hal-04085278v2\">⟨hal-04085278v2⟩</a>",
"title_s":["Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems",
"Coordination de l’exécution des demandes de reconfiguration dans les systèmes de cloud computing"],
"authFullName_s":["Salman Farhat",
"Simon Bliudze",
"Laurence Duchien",
"Olga Kouchnarenko"],
"halId_s":"hal-04085278",
"docType_s":"REPORT",
"producedDateY_i":2023},
{
"citationRef_s":"<i>FASE 2023 - 26th International Conference on Fundamental Approaches to Software Engineering</i>, Apr 2023, Paris, France. pp.143-150, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-30826-0_8\">⟨10.1007/978-3-031-30826-0_8⟩</a>",
"citationFull_s":"Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina. JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. <i>FASE 2023 - 26th International Conference on Fundamental Approaches to Software Engineering</i>, Apr 2023, Paris, France. pp.143-150, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-031-30826-0_8\">⟨10.1007/978-3-031-30826-0_8⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03911393\">⟨hal-03911393⟩</a>",
"title_s":["JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java"],
"authFullName_s":["Simon Bliudze",
"Petra van den Bos",
"Marieke Huisman",
"Robert Rubbens",
"Larisa Safina"],
"halId_s":"hal-03911393",
"docType_s":"COMM",
"producedDateY_i":2023},
{
"citationRef_s":"2022",
"citationFull_s":"Simon Bliudze, Laura Bocchi (Dir.). Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020). 2022. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03720404\">⟨hal-03720404⟩</a>",
"title_s":["Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020)"],
"authFullName_s":["Simon Bliudze",
"Laura Bocchi"],
"halId_s":"hal-03720404",
"docType_s":"OUV",
"producedDateY_i":2022},
{
"citationRef_s":"2022",
"citationFull_s":"Larisa Safina, Simon Bliudze. SAT-Based Extraction of Behavioural Models for Java Libraries with Collections. 2022. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03720403\">⟨hal-03720403⟩</a>",
"title_s":["SAT-Based Extraction of Behavioural Models for Java Libraries with Collections"],
"authFullName_s":["Larisa Safina",
"Simon Bliudze"],
"halId_s":"hal-03720403",
"docType_s":"UNDEFINED",
"producedDateY_i":2022},
{
"citationRef_s":"<i>ICSA 2022 - 19th IEEE International Conference on Software Architecture</i>, Mar 2022, Honolulu, United States",
"citationFull_s":"Salman Farhat, Simon Bliudze, Laurence Duchien. Safe Dynamic Reconfiguration of Concurrent Component-based Applications. <i>ICSA 2022 - 19th IEEE International Conference on Software Architecture</i>, Mar 2022, Honolulu, United States. <a target=\"_blank\" href=\"https://hal.science/hal-03585767\">⟨hal-03585767⟩</a>",
"title_s":["Safe Dynamic Reconfiguration of Concurrent Component-based Applications"],
"authFullName_s":["Salman Farhat",
"Simon Bliudze",
"Laurence Duchien"],
"halId_s":"hal-03585767",
"docType_s":"POSTER",
"producedDateY_i":2022},
{
"citationRef_s":"<i>International Journal on Software Tools for Technology Transfer</i>, 2021, 23 (5), pp.679-684. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10009-021-00632-0\">⟨10.1007/s10009-021-00632-0⟩</a>",
"citationFull_s":"Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing. On methods and tools for rigorous system design. <i>International Journal on Software Tools for Technology Transfer</i>, 2021, 23 (5), pp.679-684. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10009-021-00632-0\">⟨10.1007/s10009-021-00632-0⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03720402\">⟨hal-03720402⟩</a>",
"title_s":["On methods and tools for rigorous system design"],
"authFullName_s":["Simon Bliudze",
"Panagiotis Katsaros",
"Saddek Bensalem",
"Martin Wirsing"],
"halId_s":"hal-03720402",
"docType_s":"ART",
"producedDateY_i":2021},
{
"citationRef_s":"Simon Bliudze; Laura Semini. <i>2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)</i>, May 2021, Madrid, IEEE, 2021, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/FormaliSE52586.2021\">⟨10.1109/FormaliSE52586.2021⟩</a>",
"citationFull_s":"Simon Bliudze, Laura Semini. 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021). Simon Bliudze; Laura Semini. <i>2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)</i>, May 2021, Madrid, IEEE, 2021, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/FormaliSE52586.2021\">⟨10.1109/FormaliSE52586.2021⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03321958\">⟨hal-03321958⟩</a>",
"title_s":["2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)"],
"authFullName_s":["Simon Bliudze",
"Laura Semini"],
"halId_s":"hal-03321958",
"docType_s":"PROCEEDINGS",
"producedDateY_i":2021},
{
"citationRef_s":"<i>Acta Informatica</i>, 2020, 57, pp.761--800. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s00236-019-00337-7\">⟨10.1007/s00236-019-00337-7⟩</a>",
"citationFull_s":"Eduard Baranov, Simon Bliudze. Expressiveness of component-based frameworks: A study of the expressiveness of BIP. <i>Acta Informatica</i>, 2020, 57, pp.761--800. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s00236-019-00337-7\">⟨10.1007/s00236-019-00337-7⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02149934v2\">⟨hal-02149934v2⟩</a>",
"title_s":["Expressiveness of component-based frameworks: A study of the expressiveness of BIP"],
"authFullName_s":["Eduard Baranov",
"Simon Bliudze"],
"halId_s":"hal-02149934",
"docType_s":"ART",
"producedDateY_i":2020},
{
"citationRef_s":"Simon Bliudze; Laura Bocchi. 12134, 2020, Lecture Notes in Computer Science, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-50029-0\">⟨10.1007/978-3-030-50029-0⟩</a>",
"citationFull_s":"Simon Bliudze, Laura Bocchi (Dir.). Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings. Simon Bliudze; Laura Bocchi. 12134, 2020, Lecture Notes in Computer Science, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-50029-0\">⟨10.1007/978-3-030-50029-0⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03168525\">⟨hal-03168525⟩</a>",
"title_s":["Coordination Models and Languages"],
"authFullName_s":["Simon Bliudze",
"Laura Bocchi"],
"halId_s":"hal-03168525",
"docType_s":"OUV",
"producedDateY_i":2020},
{
"citationRef_s":"Mohamed Faouzi Atig; Simon Bliudze. <i>Innovations in Systems and Software Engineering</i>, 16 (2), 2020, Innovations in Systems and Software Engineering",
"citationFull_s":"Simon Bliudze, Mohamed Faouzi Atig. Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018). Mohamed Faouzi Atig; Simon Bliudze. <i>Innovations in Systems and Software Engineering</i>, 16 (2), 2020, Innovations in Systems and Software Engineering. <a target=\"_blank\" href=\"https://hal.science/hal-03197446\">⟨hal-03197446⟩</a>",
"title_s":["Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)"],
"authFullName_s":["Simon Bliudze",
"Mohamed Faouzi Atig"],
"halId_s":"hal-03197446",
"docType_s":"ISSUE",
"producedDateY_i":2020},
{
"citationRef_s":"<i>COORDINATION 2019 - 21st International Conference on Coordination Models and Languages</i>, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-22397-7_10\">⟨10.1007/978-3-030-22397-7_10⟩</a>",
"citationFull_s":"Simon Bliudze, Ludovic Henrio, Eric Madelaine. Verification of concurrent design patterns with data. <i>COORDINATION 2019 - 21st International Conference on Coordination Models and Languages</i>, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-22397-7_10\">⟨10.1007/978-3-030-22397-7_10⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02143782\">⟨hal-02143782⟩</a>",
"title_s":["Verification of concurrent design patterns with data"],
"authFullName_s":["Simon Bliudze",
"Ludovic Henrio",
"Eric Madelaine"],
"halId_s":"hal-02143782",
"docType_s":"COMM",
"producedDateY_i":2019},
{
"citationRef_s":"<i>Software and Systems Modeling</i>, 2019, Software and System Modeling, 18 (3), pp.1613--1636. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10270-017-0642-5\">⟨10.1007/s10270-017-0642-5⟩</a>",
"citationFull_s":"Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel. Rigorous Design of Cyber-Physical Systems: Linking Physicality and Computation. <i>Software and Systems Modeling</i>, 2019, Software and System Modeling, 18 (3), pp.1613--1636. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10270-017-0642-5\">⟨10.1007/s10270-017-0642-5⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01636392\">⟨hal-01636392⟩</a>",
"title_s":["Rigorous Design of Cyber-Physical Systems"],
"authFullName_s":["Simon Bliudze",
"Sébastien Furic",
"Joseph Sifakis",
"Antoine Viel"],
"halId_s":"hal-01636392",
"docType_s":"ART",
"producedDateY_i":2019},
{
"citationRef_s":"Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. <i>12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings</i>, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-00359-3\">⟨10.1007/978-3-030-00359-3⟩</a>",
"citationFull_s":"Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez. VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings. Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. <i>12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings</i>, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-00359-3\">⟨10.1007/978-3-030-00359-3⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03322041\">⟨hal-03322041⟩</a>",
"title_s":["VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems"],
"authFullName_s":["Mohamed Faouzi Atig",
"Saddek Bensalem",
"Simon Bliudze",
"Bruno Monsuez"],
"halId_s":"hal-03322041",
"docType_s":"PROCEEDINGS",
"producedDateY_i":2018},
{
"citationRef_s":"<i>18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. Electronic Communications of the EASST Open Access Journal</i>, Jul 2018, Oxford, United Kingdom",
"citationFull_s":"Xudong Qin, Simon Bliudze, Eric Madelaine, Min Zhang. Using SMT engine to generate Symbolic Automata. <i>18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. Electronic Communications of the EASST Open Access Journal</i>, Jul 2018, Oxford, United Kingdom. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01962971\">⟨hal-01962971⟩</a>",
"title_s":["Using SMT engine to generate Symbolic Automata"],
"authFullName_s":["Xudong Qin",
"Simon Bliudze",
"Eric Madelaine",
"Min Zhang"],
"halId_s":"hal-01962971",
"docType_s":"COMM",
"producedDateY_i":2018},
{
"citationRef_s":"<i>IEEE Transactions on Industrial Informatics</i>, 2018, 14 (7), pp.3065 - 3075. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TII.2017.2772219\">⟨10.1109/TII.2017.2772219⟩</a>",
"citationFull_s":"Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec. Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems. <i>IEEE Transactions on Industrial Informatics</i>, 2018, 14 (7), pp.3065 - 3075. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TII.2017.2772219\">⟨10.1109/TII.2017.2772219⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01846124\">⟨hal-01846124⟩</a>",
"title_s":["Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems"],
"authFullName_s":["Maaz Mohiuddin",
"Wajeb Saab",
"Simon Bliudze",
"Jean-Yves Le Boudec"],
"halId_s":"hal-01846124",
"docType_s":"ART",
"producedDateY_i":2018},
{
"citationRef_s":"[Research Report] RR-9177, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; inria. 2018",
"citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01823507\">⟨hal-01823507⟩</a>",
"title_s":["Using SMT engine to generate Symbolic Automata -Extended version",
"Utilisation d'un Moteur SMT pour générer des Automates Symboliques - Version étendue"],
"authFullName_s":["Xudong Qin",
"Simon Bliudze",
"Eric Madelaine",
"Min Zhang"],
"halId_s":"hal-01823507",
"docType_s":"REPORT",
"producedDateY_i":2018},
{
"citationRef_s":"<i>Innovations in Systems and Software Engineering</i>, 2018, 14 (2), pp.117 - 142. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s11334-018-0312-y\">⟨10.1007/s11334-018-0312-y⟩</a>",
"citationFull_s":"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. <i>Innovations in Systems and Software Engineering</i>, 2018, 14 (2), pp.117 - 142. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s11334-018-0312-y\">⟨10.1007/s11334-018-0312-y⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01823749\">⟨hal-01823749⟩</a>",
"title_s":["TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm"],
"authFullName_s":["Hela Guesmi",
"Belgacem Ben Hedia",
"Simon Bliudze",
"Saddek Bensalem",
"Briag Lenabec"],
"halId_s":"hal-01823749",
"docType_s":"ART",
"producedDateY_i":2018},
{
"citationRef_s":"<i>ICCPS 2018 - 9th ACM/IEEE International Conference on Cyber-Physical Systems</i>, Apr 2018, Porto, Portugal. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICCPS.2018.00019\">⟨10.1109/ICCPS.2018.00019⟩</a>",
"citationFull_s":"Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec. Ordering Events Based on Intentionality in Cyber-Physical Systems. <i>ICCPS 2018 - 9th ACM/IEEE International Conference on Cyber-Physical Systems</i>, Apr 2018, Porto, Portugal. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICCPS.2018.00019\">⟨10.1109/ICCPS.2018.00019⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01889067\">⟨hal-01889067⟩</a>",
"title_s":["Ordering Events Based on Intentionality in Cyber-Physical Systems"],
"authFullName_s":["Wajeb Saab",
"Maaz Mohiuddin",
"Simon Bliudze",
"Jean-Yves Le Boudec"],
"halId_s":"hal-01889067",
"docType_s":"COMM",
"producedDateY_i":2018},
{
"citationRef_s":"<i>Journal of Systems and Software</i>, 2018, 145, pp.52-78. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.jss.2018.07.053\">⟨10.1016/j.jss.2018.07.053⟩</a>",
"citationFull_s":"Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis. Early validation of system requirements and design through correctness-by-construction. <i>Journal of Systems and Software</i>, 2018, 145, pp.52-78. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.jss.2018.07.053\">⟨10.1016/j.jss.2018.07.053⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01873999\">⟨hal-01873999⟩</a>",
"title_s":["Early validation of system requirements and design through correctness-by-construction"],
"authFullName_s":["Emmanouela Stachtiari",
"Anastasia Mavridou",
"Panagiotis Katsaros",
"Simon Bliudze",
"Joseph Sifakis"],
"halId_s":"hal-01873999",
"docType_s":"ART",
"producedDateY_i":2018},
{
"citationRef_s":"<i>19th International Conference on Coordination Languages and Models (COORDINATION)</i>, Jun 2017, Neuchâtel, Switzerland. pp.197-216, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-319-59746-1_11\">⟨10.1007/978-3-319-59746-1_11⟩</a>",
"citationFull_s":"Simon Bliudze, Alena Simalatsar, Alina Zolotukhina. Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. <i>19th International Conference on Coordination Languages and Models (COORDINATION)</i>, Jun 2017, Neuchâtel, Switzerland. pp.197-216, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-319-59746-1_11\">⟨10.1007/978-3-319-59746-1_11⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01657340\">⟨hal-01657340⟩</a>",
"title_s":["Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies"],
"authFullName_s":["Simon Bliudze",
"Alena Simalatsar",
"Alina Zolotukhina"],
"halId_s":"hal-01657340",
"docType_s":"COMM",
"producedDateY_i":2017},
{
"citationRef_s":"<i>RTAS</i>, Apr 2016, Vienna, Austria. pp.13",
"citationFull_s":"Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Mathieu Jan, Saddek Bensalem. Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. <i>RTAS</i>, Apr 2016, Vienna, Austria. pp.13. <a target=\"_blank\" href=\"https://hal.science/hal-01306466\">⟨hal-01306466⟩</a>",
"title_s":["Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations"],
"authFullName_s":["Hela Guesmi",
"Belgacem Ben Hedia",
"Simon Bliudze",
"Mathieu Jan",
"Saddek Bensalem"],
"halId_s":"hal-01306466",
"docType_s":"COMM",
"producedDateY_i":2016},
{
"citationRef_s":"<i>ICSEA15, The Tenth International Conference on Software Engineering Advances</i>, Nov 2015, Barcelone, Spain. pp.157-169",
"citationFull_s":"Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Jacques Combaz. Towards Time-triggered Component-based System Models. <i>ICSEA15, The Tenth International Conference on Software Engineering Advances</i>, Nov 2015, Barcelone, Spain. pp.157-169. <a target=\"_blank\" href=\"https://hal.science/hal-01242605\">⟨hal-01242605⟩</a>",
"title_s":["Towards Time-triggered Component-based System Models"],
"authFullName_s":["Hela Guesmi",
"Belgacem Ben Hedia",
"Simon Bliudze",
"Saddek Bensalem",
"Jacques Combaz"],
"halId_s":"hal-01242605",
"docType_s":"COMM",
"producedDateY_i":2015},
{
"citationRef_s":"<i>Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering</i>, 2015",
"citationFull_s":"Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga. A Theory Agenda for Component-Based Design. <i>Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering</i>, 2015. <a target=\"_blank\" href=\"https://hal.science/hal-01864823\">⟨hal-01864823⟩</a>",
"title_s":["A Theory Agenda for Component-Based Design"],
"authFullName_s":["Joseph Sifakis",
"Saddek Bensalem",
"Simon Bliudze",
"Marius Bozga"],
"halId_s":"hal-01864823",
"docType_s":"COUV",
"producedDateY_i":2015},
{
"citationRef_s":"<i>8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014)</i>, Oct 2014, Versailles, France. pp.47-50",
"citationFull_s":"Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem. Externalisation of Time-Triggered communication system in BIP high level models. <i>8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014)</i>, Oct 2014, Versailles, France. pp.47-50. <a target=\"_blank\" href=\"https://hal.science/hal-01242608\">⟨hal-01242608⟩</a>",
"title_s":["Externalisation of Time-Triggered communication system in BIP high level models"],
"authFullName_s":["Hela Guesmi",
"Belgacem Ben Hedia",
"Simon Bliudze",
"Saddek Bensalem"],
"halId_s":"hal-01242608",
"docType_s":"COMM",
"producedDateY_i":2014},
{
"citationRef_s":"<i>17th International ACM SIGSOFT Symposium on Component-Based Software Engineering</i>, Jun 2014, Lille, France. pp.169-178, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/2602458.2602477\">⟨10.1145/2602458.2602477⟩</a>",
"citationFull_s":"Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber. Architecture internalisation in BIP. <i>17th International ACM SIGSOFT Symposium on Component-Based Software Engineering</i>, Jun 2014, Lille, France. pp.169-178, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/2602458.2602477\">⟨10.1145/2602458.2602477⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01213681\">⟨hal-01213681⟩</a>",
"title_s":["Architecture internalisation in BIP"],
"authFullName_s":["Simon Bliudze",
"Joseph Sifakis",
"Marius Bozga",
"Mohamad Jaber"],
"halId_s":"hal-01213681",
"docType_s":"COMM",
"producedDateY_i":2014},
{
"citationRef_s":"<i>Embedded Real Time Software and Systems (ERTS2012)</i>, Feb 2012, Toulouse, France",
"citationFull_s":"Simon Bliudze, Xavier Fornari, Mathieu Jan. From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS. <i>Embedded Real Time Software and Systems (ERTS2012)</i>, Feb 2012, Toulouse, France. <a target=\"_blank\" href=\"https://hal.science/hal-02191848\">⟨hal-02191848⟩</a>",
"title_s":["From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling SCADE with OASIS"],
"authFullName_s":["Simon Bliudze",
"Xavier Fornari",
"Mathieu Jan"],
"halId_s":"hal-02191848",
"docType_s":"COMM",
"producedDateY_i":2012},
{
"citationRef_s":"<i>Fundamenta Informaticae</i>, 2009, 91 (2), pp.251-274. <a target=\"_blank\" href=\"https://dx.doi.org/10.3233/FI-2009-0043\">⟨10.3233/FI-2009-0043⟩</a>",
"citationFull_s":"Simon Bliudze, Daniel Krob. Modelling of Complex Systems: Systems as Dataflow Machines. <i>Fundamenta Informaticae</i>, 2009, 91 (2), pp.251-274. <a target=\"_blank\" href=\"https://dx.doi.org/10.3233/FI-2009-0043\">⟨10.3233/FI-2009-0043⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02561099\">⟨hal-02561099⟩</a>",
"title_s":["Modelling of Complex Systems: Systems as Dataflow Machines"],
"authFullName_s":["Simon Bliudze",
"Daniel Krob"],
"halId_s":"hal-02561099",
"docType_s":"ART",
"producedDateY_i":2009},
{
"citationRef_s":"<i>International Conference On Embedded Software (EMSOFT)</i>, Oct 2007, Salzbourg, Austria. pp.11-20, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/1289927.1289935\">⟨10.1145/1289927.1289935⟩</a>",
"citationFull_s":"Simon Bliudze, Joseph Sifakis. The Algebra of Connectors — Structuring Interaction in BIP. <i>International Conference On Embedded Software (EMSOFT)</i>, Oct 2007, Salzbourg, Austria. pp.11-20, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/1289927.1289935\">⟨10.1145/1289927.1289935⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00282866\">⟨hal-00282866⟩</a>",
"title_s":["The Algebra of Connectors — Structuring Interaction in BIP"],
"authFullName_s":["Simon Bliudze",
"Joseph Sifakis"],
"halId_s":"hal-00282866",
"docType_s":"COMM",
"producedDateY_i":2007},
{
"citationRef_s":"2006",
"citationFull_s":"Daniel Krob, Simon Bliudze. Towards a Functional Formalism for Modelling Complex Industrial Systems. 2006. <a target=\"_blank\" href=\"https://hal.science/hal-00018555\">⟨hal-00018555⟩</a>",
"title_s":["Towards a Functional Formalism for Modelling Complex Industrial Systems"],
"authFullName_s":["Daniel Krob",
"Simon Bliudze"],
"halId_s":"hal-00018555",
"docType_s":"UNDEFINED",
"producedDateY_i":2006},
{
"citationRef_s":"<i>The Electronic Journal of Combinatorics</i>, 2006, 13, (1), article #R2, 31 p",
"citationFull_s":"Simon Bliudze, Daniel Krob. A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity. <i>The Electronic Journal of Combinatorics</i>, 2006, 13, (1), article #R2, 31 p. <a target=\"_blank\" href=\"https://hal.science/hal-00017311\">⟨hal-00017311⟩</a>",
"title_s":["A combinatorial approach to evaluation of reliability of the receiver output for BPSK modulation with spatial diversity"],
"authFullName_s":["Simon Bliudze",
"Daniel Krob"],
"halId_s":"hal-00017311",
"docType_s":"ART",
"producedDateY_i":2006},
{
"citationRef_s":"<i>European Conference on Complex Systems</i>, Nov 2005, Paris, France. pp.163-176, <a target=\"_blank\" href=\"https://dx.doi.org/10.1159/000093688\">⟨10.1159/000093688⟩</a>",
"citationFull_s":"Simon Bliudze, Daniel Krob. Towards a Functional Formalism for Modelling Complex Industrial Systems. <i>European Conference on Complex Systems</i>, Nov 2005, Paris, France. pp.163-176, <a target=\"_blank\" href=\"https://dx.doi.org/10.1159/000093688\">⟨10.1159/000093688⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00282877\">⟨hal-00282877⟩</a>",
"title_s":["Towards a Functional Formalism for Modelling Complex Industrial Systems"],
"authFullName_s":["Simon Bliudze",
"Daniel Krob"],
"halId_s":"hal-00282877",
"docType_s":"COMM",
"producedDateY_i":2005},
{
"citationRef_s":"<i>International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2005)</i>, Aug 2005, Montreal, Canada. pp.121- 127, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/WIMOB.2005.1512826\">⟨10.1109/WIMOB.2005.1512826⟩</a>",
"citationFull_s":"Simon Bliudze, Nicolas Billy, Daniel Krob. On optimal hybrid ARQ control schemes for HSDPA with 16QAM. <i>International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2005)</i>, Aug 2005, Montreal, Canada. pp.121- 127, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/WIMOB.2005.1512826\">⟨10.1109/WIMOB.2005.1512826⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00283000\">⟨hal-00283000⟩</a>",
"title_s":["On optimal hybrid ARQ control schemes for HSDPA with 16QAM"],
"authFullName_s":["Simon Bliudze",
"Nicolas Billy",
"Daniel Krob"],
"halId_s":"hal-00283000",
"docType_s":"COMM",
"producedDateY_i":2005}]
}}