Simon Bliudze
Orcid: 0000-0002-7900-5271Affiliations:
- Inria Lille, France
According to our database1,
Simon Bliudze
authored at least 62 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on bliudze.me
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Eng. Knowl. Eng., January, 2024
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024
Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024
Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP.
, 2024
2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
Proceedings of the Coordination Models and Languages, 2023
2022
CoRR, 2022
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
2020
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.
Acta Informatica, 2020
Acta Informatica, 2020
2019
Softw. Syst. Model., 2019
Proceedings of the Coordination Models and Languages, 2019
2018
IEEE Trans. Ind. Informatics, 2018
Early validation of system requirements and design through correctness-by-construction.
J. Syst. Softw., 2018
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm.
Innov. Syst. Softw. Eng., 2018
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
2017
Softw. Pract. Exp., 2017
J. Log. Algebraic Methods Program., 2017
J. Log. Algebraic Methods Program., 2017
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
Proceedings of the Coordination Models and Languages, 2017
2016
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016
Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the IECON 2016, 2016
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
IEEE Trans. Ind. Informatics, 2015
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.
Sci. Comput. Program., 2015
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
2013
Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
2012
Sci. Ann. Comput. Sci., 2012
Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012
2011
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems.
Proceedings of the Software Composition - 10th International Conference, 2011
2010
2009
Fundam. Informaticae, 2009
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009
2008
IEEE Trans. Computers, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
2006
A Combinatorial Approach to Evaluation of Reliability of the Receiver Output for BPSK Modulation with Spatial Diversity.
Electron. J. Comb., 2006
2005
Proceedings of the 2005 IEEE International Conference on Wireless And Mobile Computing, 2005
Performance Evaluation of Demodulation with DiversityØA Combinatorial Approach III: Threshold Analysis.
Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithmics and Combinatorics, 2005