Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
A Hybrid Modelling Approach for Hierarchical Control of Structured CPSs
Bliudze, S., Cerf, S. & Kouchnarenko, O., 1 janv. 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 175-196 22 p. (Lecture Notes in Computer Science; Vol 16065 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs
Accès ouvert -
Adaptable TeaStore
Bliudze, S., De Palma, G., Giallorenzo, S., Lanese, I., Zavattaro, G. & Zemtsop Ndadji, B. A., 1 janv. 2025, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 438, p. 1-14 14 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
Zemtsop Ndadji, B. A., Bliudze, S. & Quinton, C., 1 janv. 2025, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 438, p. 123-147 25 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Composing Run-Time Variability Models
Farhat, S., Bliudze, S., Duchien, L. & Kouchnarenko, O., 1 janv. 2025, Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Proceedings. Madeira, A. & Knapp, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 234-252 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Vol 15280 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System
Gallone, A., Bliudze, S., Cerf, S. & Kouchnarenko, O., 1 janv. 2025, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 438, p. 58-78 21 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Foreword
Bliudze, S., 1 janv. 2025, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 15730 LNCS, p. v-viRésultats de recherche: Contribution à un journal › Éditorial
-
Foreword
Bliudze, S., 1 janv. 2025, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 15731 LNCS, p. v-viRésultats de recherche: Contribution à un journal › Éditorial
-
Enabling Behaviour Tree Verification via a Translation to BIP
Wang, Q., Dai, H., Zhao, Y., Zhang, M. & Bliudze, S., 1 janv. 2024, Formal Aspects of Component Software - 20th International Conference, FACS 2024, Proceedings. Marmsoler, D. & Sun, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 15189 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Towards Exogenous Coordination of Concurrent Cloud Applications
Le-Khanh, T., Nguyen, H. G., Bliudze, S. & Merle, P., 1 janv. 2024, Dans: International Journal of Software Engineering and Knowledge Engineering. 34, 1, p. 1-25 25 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
Bliudze, S., van den Bos, P., Huisman, M., Rubbens, R. & Safina, L., 1 janv. 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 143-150 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 13991 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert