default search action
Simon Bliudze
Person information
- affiliation: Inria Lille, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [b1]Simon Bliudze:
Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP. University of Lille, France, 2024 - [j24]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): 1-25 (2024) - [c39]Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze:
Enabling Behaviour Tree Verification via a Translation to BIP. FACS 2024: 3-20 - [c38]Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko:
Composing Run-Time Variability Models. SEFM 2024: 234-252 - 2023
- [c37]Salman Farhat
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION 2023: 271-291 - [c36]Simon Bliudze
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. FASE 2023: 143-150 - 2022
- [c35]Salman Farhat, Simon Bliudze, Laurence Duchien:
Safe Dynamic Reconfiguration of Concurrent Component-based Applications. ICSA Companion 2022: 108-111 - [i3]Larisa Safina, Simon Bliudze:
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections. CoRR abs/2205.15270 (2022) - 2021
- [j23]Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing:
On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. 23(5): 679-684 (2021) - [e6]Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini:
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. IEEE 2021, ISBN 978-1-6654-3913-8 [contents] - 2020
- [j22]Xudong Qin, Simon Bliudze
SMT-based generation of symbolic automata. Acta Informatica 57(3-5): 627-656 (2020) - [j21]Eduard Baranov
Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica 57(6): 761-800 (2020) - [j20]Eduard Baranov
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica 57(6): 829 (2020) - [j19]Mohamed Faouzi Atig, Simon Bliudze:
Preface to the VECoS 2018 special issue of ISSE. Innov. Syst. Softw. Eng. 16(2): 99-100 (2020) - [e5]Simon Bliudze
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. Lecture Notes in Computer Science 12134, Springer 2020, ISBN 978-3-030-50028-3 [contents] - [i2]Anton B. Ivanov, Simon Bliudze:
Robust Software Development for University-Built Satellites. CoRR abs/2010.02208 (2020)
2010 – 2019
- 2019
- [j18]Simon Bliudze
Rigorous design of cyber-physical systems - Linking physicality and computation. Softw. Syst. Model. 18(3): 1613-1636 (2019) - [c34]Simon Bliudze, Ludovic Henrio, Eric Madelaine
Verification of Concurrent Design Patterns with Data. COORDINATION 2019: 161-181 - 2018
- [j17]Eric Madelaine, Xudong Qin, Min Zhang
Using SMT Engine to Generate Symbolic Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - [j16]Hela Guesmi, Belgacem Ben Hedia
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innov. Syst. Softw. Eng. 14(2): 117-142 (2018) - [j15]Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros
Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145: 52-78 (2018) - [j14]Maaz Mohiuddin
Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems. IEEE Trans. Ind. Informatics 14(7): 3065-3075 (2018) - [c33]Wajeb Saab
Ordering events based on intentionality in cyber-physical systems. ICCPS 2018: 107-118 - [e4]Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez:
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Lecture Notes in Computer Science 11181, Springer 2018, ISBN 978-3-030-00358-6 [contents] - [e3]Simon Bliudze, Saddek Bensalem:
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. EPTCS 272, 2018 [contents] - 2017
- [j13]Anastasia Mavridou, Eduard Baranov
Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86(1): 2-29 (2017) - [j12]Kasper Dokter
Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86(1): 134-156 (2017) - [j11]Romain Edelmann, Simon Bliudze
Functional BIP: Embedding connectors in functional programming languages. J. Log. Algebraic Methods Program. 92: 19-44 (2017) - [j10]Simon Bliudze
Exogenous coordination of concurrent software components with JavaBIP. Softw. Pract. Exp. 47(11): 1801-1836 (2017) - [c32]Simon Bliudze, Alena Simalatsar, Alina Zolotukhina:
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies. COORDINATION 2017: 197-216 - [c31]Wajeb Saab
Quarts: Quick agreement for real-time control systems. ETFA 2017: 1-8 - [c30]Anastasia Mavridou, Valentin Rutz, Simon Bliudze:
Coordination of Dynamic Software Components with JavaBIP. FACS 2017: 39-57 - [c29]Hela Guesmi, Belgacem Ben Hedia
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. VECoS 2017: 171-188 - [i1]Anastasia Mavridou, Valentin Rutz, Simon Bliudze:
Coordination of Dynamic Software Components with JavaBIP. CoRR abs/1707.09716 (2017) - 2016
- [j9]Paul C. Attie
A general framework for architecture composability. Formal Aspects Comput. 28(2): 207-231 (2016) - [c28]Igor V. Konnov
Parameterized Systems in BIP: Design and Model Checking. CONCUR 2016: 30:1-30:16 - [c27]Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros
Architecture-Based Design: A Satellite On-Board Software Case Study. FACS 2016: 260-279 - [c26]Maaz Mohiuddin, Wajeb Saab
Axo: Masking delay faults in real-time control systems. IECON 2016: 4933-4940 - [c25]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: 52 - [c24]Eduard Baranov, Simon Bliudze:
A Note on the Expressiveness of BIP. EXPRESS/SOS 2016: 1-14 - [c23]Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE 2016: 83-97 - 2015
- [j8]Eduard Baranov
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Sci. Comput. Program. 109: 2-35 (2015) - [j7]Borja Fernandez Adiego, Dániel Darvas
Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Ind. Informatics 11(6): 1400-1410 (2015) - [c22]Simon Bliudze, Alessandro Cimatti
Formal Verification of Infinite-State BIP Models. ATVA 2015: 326-343 - [c21]Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga:
A Theory Agenda for Component-Based Design. Software, Services, and Systems 2015: 409-439 - [c20]Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration Logics: Modelling Architecture Styles. FACS 2015: 256-274 - [c19]Qiang Wang, Simon Bliudze:
SeBip: A Symbolic Executor for BIP. ICECCS 2015: 174-177 - [c18]Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao:
Automatic Fault Localization for BIP. SETTA 2015: 277-283 - [c17]Qiang Wang, Simon Bliudze:
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. TGC 2015: 147-162 - [c16]Kasper Dokter
Relating BIP and Reo. ICE 2015: 3-20 - 2014
- [c15]Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber
Architecture internalisation in BIP. CBSE 2014: 169-178 - [c14]Simon Bliudze:
Rigorous component-based design in BIP: half-day tutorial. CBSE 2014: 187-188 - [c13]Mohamad Noureddine, Mohamad Jaber
Reduction and Abstraction Techniques for BIP. FACS 2014: 288-305 - [c12]Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina:
Coordination of software components with BIP: application to OSGi. MiSE 2014: 25-30 - [c11]Paul C. Attie
A General Framework for Architecture Composability. SEFM 2014: 128-143 - 2013
- [c10]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: 722-727 - [c9]Eduard Baranov, Simon Bliudze:
Extended Connectors: Structuring Glue Operators in BIP. ICE 2013: 20-35 - 2012
- [j6]Simon Bliudze, Roberto Bruni
Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. 22(1): 1-4 (2012) - [c8]Simon Bliudze:
Towards a Theory of Glue. ICE 2012: 48-66 - 2011
- [j5]Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina:
Concurrency and Interaction in Complex Systems. Sci. Ann. Comput. Sci. 21(1): 1-4 (2011) - [c7]Simon Bliudze, Joseph Sifakis:
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. SC@TOOLS 2011: 51-67 - [e2]Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone:
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 59, 2011 [contents] - 2010
- [j4]Simon Bliudze, Joseph Sifakis:
Causal semantics for the algebra of connectors. Formal Methods Syst. Des. 36(2): 167-194 (2010) - [e1]Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva:
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. EPTCS 38, 2010 [contents]
2000 – 2009
- 2009
- [j3]Simon Bliudze, Daniel Krob:
Modelling of Complex Systems: Systems as Dataflow Machines. Fundam. Informaticae 91(2): 251-274 (2009) - [c6]Mohamad Jaber, Ananda Basu, Simon Bliudze:
Symbolic Implementation of Connectors in BIP. ICE 2009: 41-55 - 2008
- [j2]Simon Bliudze, Joseph Sifakis:
The Algebra of Connectors - Structuring Interaction in BIP. IEEE Trans. Computers 57(10): 1315-1330 (2008) - [c5]Simon Bliudze, Joseph Sifakis:
A Notion of Glue Expressiveness for Component-Based Systems. CONCUR 2008: 508-522 - 2007
- [c4]Simon Bliudze, Joseph Sifakis:
The algebra of connectors: structuring interaction in BIP. EMSOFT 2007: 11-20 - [c3]Simon Bliudze, Joseph Sifakis:
Causal Semantics for the Algebra of Connectors. FMCO 2007: 179-199 - 2006
- [j1]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) - 2005
- [c2]Simon Bliudze, Daniel Krob:
Performance Evaluation of Demodulation with DiversityØA Combinatorial Approach III: Threshold Analysis. ALENEX/ANALCO 2005: 195-205 - [c1]Simon Bliudze, Nicolas Billy, Daniel Krob:
On optimal hybrid ARQ control schemes for HSDPA with 16QAM. WiMob (1) 2005: 121-127
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: