Konstantinos Barmpis
Papers
1
Total Citations
8
H-Index
1
About
Konstantinos Barmpis is a leading researcher in model-driven engineering, systems assurance, and automated reasoning, with a focus on enhancing the safety and security of critical systems. His major contributions center on bridging the gap between complex system models and rigorous assurance processes. Notably, his 2023 work, "Automated Model-Based Assurance Case Management Using Constrained Natural Language," introduces a transformative approach to assurance cases—traditionally manual, error-prone documents—by leveraging constrained natural language to automate their creation and validation. This innovation has garnered 8 citations and is recognized for its potential to streamline certification in domains like automotive and aerospace. Barmpis’s broader impact includes advancing model management techniques, enabling scalable analysis of large, heterogeneous models. His research, cited across software engineering and safety-critical systems, has influenced both academic methodologies and industrial practices, making him a key figure in the push toward more reliable, automated system assurance.
Research Focus
Key Achievements
Top Papers
- 1