Topics of the Critical Systems Research Group

Publication year: 2026 | Status: open | Language: angol

We recommend the following artificial intelligence-related articles from the Critical Systems Research Group: topics too.

The full list of topics can be found here.

Title	Consultant
AI and BPMN automation of workflow model execution	Farkas Martin
Supporting exploratory data analysis with LLMs	Kocsis Imre
Injecting errors into smart contracts – with LLM support	Péter Bertalan Zoltán
LLM-based Development of a coding assistant for a modeling language	Marussy Krist&óacute;f
LLM-based natural language translation generation for microservice distributed tracing data	Péter Bertalan Zoltán
LLM-based Verifiable Credential Scheme and Code Generation	Farkas Martin
LLM-supported fault propagation analysis in blockchain systems (involvement in ongoing research)	Péter Bertalan Zoltán
Highly reliable AI systems development	József Nagy Simon
Smart contracts N-version programming with LLM agents	Zoltán Péter Bertalan
Verification of software-intensive systems using deep learning	József Simon Nagy

Alekszejenkó Levente

Levente Alekszejenkó

assistant lecturer
alelevente