Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Radoslaw Klimek
conf.researchr.org general profile
ASE 2024 profile
ASE 2026 profile
EASE 2025 profile
FSE 2025 profile
ICSME 2026 profile
MODELS 2026 profile
Registered user since Tue 17 Jun 2025
Name:
Radoslaw Klimek
Affiliation:
AGH University of Krakow
Contributions
2026
MAS-GAIN
Author of A Workflow-Driven Multi-Agent Architecture for Requirements Engineering within the MAS-GAIN 2026-track
ASE
Author of Towards Diagnostic Explainability in Workflow Verification via Shapley Attribution within the NIER-track
ASYDE
Author of Dead-End Ratio: A Behavioral Model Quality Metric for Constraint-Aware Runtime Verification within the ASYDE 2026-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
Share
x
Wed 21 Oct 15:51