Simon Bliudze
Scholar

Simon Bliudze

Google Scholar ID: P_D0LkkAAAAJ
Computer Science researcher, University of Lille Inria Research Centre
correctness by constructioncomponent-based designformal semanticsformal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,464
 
H-index
18
 
i10-index
28
 
Publications
20
 
Co-authors
52
list available
Contact
No contact links provided.
Publications
3 items
AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
2025
Cited
0
Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System
2025
Cited
0
Adaptable TeaStore
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
52 total
Joseph Sifakis
Joseph Sifakis
Reseracher at Verimag laboratory, Grenoble
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Saddek Bensalem
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Co-author 6
Co-author 6
Panagiotis Katsaros
Panagiotis Katsaros
Professor of Computer Science, Aristotle University of Thessaloniki, Greece
Olga Kouchnarenko
Olga Kouchnarenko
FEMTO-ST and UFC/UBFC