Simon Bliudze

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 34

Top Topics

Functional Programming

Max Sum Algorithm

Top Venues

J. Log. Algebraic Methods Program.

Acta Informatica

Publications

Trinh Le-Khanh, Hoang-Gia Nguyen, Simon Bliudze, Philippe Merle
Towards Exogenous Coordination of Concurrent Cloud Applications. Int. J. Softw. Eng. Knowl. Eng. 34 (1) (2024)
Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. FASE (2023)
Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION (2023)
Larisa Safina, Simon Bliudze
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections. CoRR (2022)
Salman Farhat, Simon Bliudze, Laurence Duchien
Safe Dynamic Reconfiguration of Concurrent Component-based Applications. ICSA Companion (2022)
Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing
On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
SMT-based generation of symbolic automata. Acta Informatica 57 (3-5) (2020)
Anton B. Ivanov, Simon Bliudze
Robust Software Development for University-Built Satellites. CoRR (2020)
Mohamed Faouzi Atig, Simon Bliudze
Preface to the VECoS 2018 special issue of ISSE. Innov. Syst. Softw. Eng. 16 (2) (2020)
Eduard Baranov, Simon Bliudze
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica 57 (6) (2020)
Eduard Baranov, Simon Bliudze
Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica 57 (6) (2020)
Simon Bliudze, Ludovic Henrio, Eric Madelaine
Verification of Concurrent Design Patterns with Data. COORDINATION (2019)
Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel
Rigorous design of cyber-physical systems - Linking physicality and computation. Softw. Syst. Model. 18 (3) (2019)
Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec
Ordering events based on intentionality in cyber-physical systems. ICCPS (2018)
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 Trans. Ind. Informatics 14 (7) (2018)
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145 (2018)
Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
Using SMT Engine to Generate Symbolic Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innov. Syst. Softw. Eng. 14 (2) (2018)
Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
Exogenous coordination of concurrent software components with JavaBIP. Softw. Pract. Exp. 47 (11) (2017)
Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec
Quarts: Quick agreement for real-time control systems. ETFA (2017)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86 (1) (2017)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86 (1) (2017)
Simon Bliudze, Alena Simalatsar, Alina Zolotukhina
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. COORDINATION (2017)
Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. VECoS (2017)
Anastasia Mavridou, Valentin Rutz, Simon Bliudze
Coordination of Dynamic Software Components with JavaBIP. FACS (2017)
Romain Edelmann, Simon Bliudze, Joseph Sifakis
Functional BIP: Embedding connectors in functional programming languages. J. Log. Algebraic Methods Program. 92 (2017)
Anastasia Mavridou, Valentin Rutz, Simon Bliudze
Coordination of Dynamic Software Components with JavaBIP. CoRR (2017)
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A general framework for architecture composability. Formal Aspects Comput. 28 (2) (2016)
Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec
Axo: Masking delay faults in real-time control systems. IECON (2016)
Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
Parameterized Systems in BIP: Design and Model Checking. CONCUR (2016)
Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS (2016)
Eduard Baranov, Simon Bliudze
A Note on the Expressiveness of BIP. EXPRESS/SOS (2016)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE (2016)
Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis
Architecture-Based Design: A Satellite On-Board Software Case Study. FACS (2016)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Configuration Logics: Modelling Architecture Styles. FACS (2015)
Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao
Automatic Fault Localization for BIP. SETTA (2015)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
Relating BIP and Reo. ICE (2015)
Eduard Baranov, Simon Bliudze
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Sci. Comput. Program. 109 (2015)
Qiang Wang, Simon Bliudze
SeBip: A Symbolic Executor for BIP. ICECCS (2015)
Borja Fernandez Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, Víctor Manuel González Suárez
Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Ind. Informatics 11 (6) (2015)
Qiang Wang, Simon Bliudze
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. TGC (2015)
Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
Formal Verification of Infinite-State BIP Models. ATVA (2015)
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
A Theory Agenda for Component-Based Design. Software, Services, and Systems (2015)
Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
Coordination of software components with BIP: application to OSGi. MiSE (2014)
Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
Reduction and Abstraction Techniques for BIP. FACS (2014)
Simon Bliudze
Rigorous component-based design in BIP: half-day tutorial. CBSE (2014)
Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber
Architecture internalisation in BIP. CBSE (2014)
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A General Framework for Architecture Composability. SEFM (2014)
Borja Fernandez Adiego, Enrique Blanco Viñuela, Víctor M. González Suárez, Simon Bliudze
Model-based automated testing of critical PLC programs. INDIN (2013)
Eduard Baranov, Simon Bliudze
Extended Connectors: Structuring Glue Operators in BIP. ICE (2013)
Simon Bliudze
Towards a Theory of Glue ICE (2012)
Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva
Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. 22 (1) (2012)
Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina
Concurrency and Interaction in Complex Systems. Sci. Ann. Comput. Sci. 21 (1) (2011)
Simon Bliudze, Joseph Sifakis
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. SC@TOOLS (2011)
Simon Bliudze, Joseph Sifakis
Causal semantics for the algebra of connectors. Formal Methods Syst. Des. 36 (2) (2010)
Mohamad Jaber, Ananda Basu, Simon Bliudze
Symbolic Implementation of Connectors in BIP ICE (2009)
Simon Bliudze, Daniel Krob
Modelling of Complex Systems: Systems as Dataflow Machines. Fundam. Informaticae 91 (2) (2009)
Simon Bliudze, Joseph Sifakis
A Notion of Glue Expressiveness for Component-Based Systems. CONCUR (2008)
Simon Bliudze, Joseph Sifakis
The Algebra of Connectors - Structuring Interaction in BIP. IEEE Trans. Computers 57 (10) (2008)
Simon Bliudze, Joseph Sifakis
The algebra of connectors: structuring interaction in BIP. EMSOFT (2007)
Simon Bliudze, Joseph Sifakis
Causal Semantics for the Algebra of Connectors. FMCO (2007)
Simon Bliudze, Daniel Krob
A Combinatorial Approach to Evaluation of Reliability of the Receiver Output for BPSK Modulation with Spatial Diversity. Electron. J. Comb. 13 (1) (2006)
Simon Bliudze, Nicolas Billy, Daniel Krob
On optimal hybrid ARQ control schemes for HSDPA with 16QAM. WiMob (1) (2005)
Simon Bliudze, Daniel Krob
Performance Evaluation of Demodulation with DiversityØA Combinatorial Approach III: Threshold Analysis. ALENEX/ANALCO (2005)