Radoslaw Klimek -

Registered user since Tue 17 Jun 2025

Name:Radoslaw Klimek

Affiliation:AGH University of Krakow

Contributions

2025

AI IDE

Author of RE-oriented Model Development with LLM Support and Deduction-based Verification within the AI IDE 2025-track

EASE

Author of Reevaluation of Logical Specification in Behavioural Verification within the Short Papers, Emerging Results-track

2024

ASE

Author of Automatic Generation of Logical Specifications for Behavioural Models within the [Workshop] RENE-track