Radoslaw Klimek -

Registered user since Tue 17 Jun 2025

Name:Radoslaw Klimek

Affiliation:AGH University of Krakow

Contributions

2026

ASE

Author of Towards Diagnostic Explainability in Workflow Verification via Shapley Attribution within the NIER-track

Harness4GenUI

Author of Prompt-to-Feature Attribution for Explainable Software Generation within the Everything Evolves, Something Endures: The 1st Workshop on Harness Engineering for Generative UI-track

RASE

Author of Toward Defensible System Behavior for AI-Generated Software Artifacts within the RASE-track

MODELS

Author of Reasoning Scaffolds for AI-Assisted Behavioural Modelling: A Logical-Square Instantiation within the New Ideas and Emerging Results (NIER)-track

ICSME

Author of What Fails in Empirical SE and AI4SE? A Study of Evaluation Fragility within the Replication and Negative Results-track

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