Radosław Klimek

Narzędzia użytkownika

Narzędzia witryny

opus31

Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Poprzednia rewizja po obu stronachPoprzednia wersja
Nowa wersja		Poprzednia wersja
opus31 [2026/08/01 21:33] – adminopus31 [2026/09/05 22:04] (aktualna) – admin
Linia 52: Linia 52:
 [Kli 26d] Radoslaw Klimek "AI-Assisted Behavioural Modelling from Logical Squares".  [Kli 26d] Radoslaw Klimek "AI-Assisted Behavioural Modelling from Logical Squares". 
 Title changed to "Reasoning Scaffolds for AI-Assisted Behavioural Modelling: A Logical-Square Instantiation".  Title changed to "Reasoning Scaffolds for AI-Assisted Behavioural Modelling: A Logical-Square Instantiation". 
-Available: https://drive.google.com/file/d/13UpfESRf0Lc_BKVmmwIeuiqYNuT2GVdk/view?usp=drive_link. +Available: https://drive.google.com/file/d/1NfuY7yZas993QiVlwNq-sPOXHCtUF-h5/view?usp=sharing. 
 <color #CC6600>**ACCEPTED**</color> <color #CC6600>**ACCEPTED**</color>
 Conference paper, MODELS 2026 (Rank A, 140 MNiSW points).  Conference paper, MODELS 2026 (Rank A, 140 MNiSW points). 
 Acceptance notification: https://drive.google.com/file/d/1ZCM-jHR01vMIH-sOkXksY8ikYh4AcmxU/view?usp=drive_link. Acceptance notification: https://drive.google.com/file/d/1ZCM-jHR01vMIH-sOkXksY8ikYh4AcmxU/view?usp=drive_link.
 +List of accepted papers: https://conf.researchr.org/track/models-2026/models-2026-nier#event-overview
  
  
Linia 67: Linia 68:
 Execution Logs: The Dead-End Phenomenon".  Execution Logs: The Dead-End Phenomenon". 
 Title changed to "Dead-End Ratio: A Behavioral Model Quality Metric for Constraint-Aware Runtime Verification". Title changed to "Dead-End Ratio: A Behavioral Model Quality Metric for Constraint-Aware Runtime Verification".
-Available at: https://drive.google.com/file/d/1iGBrCVeVksMM0Q756ZMEzfaKy9vDM6NU/view?usp=drive_link. +Available at: https://drive.google.com/file/d/1ZaSoLkqn521gbJKhuSs_rruhXlYtDe2A/view?usp=sharing. 
-Workshop Flagship conference paper, Core Rank A*, 200 pkt MNiSW, under review.+<color #CC6600>**ACCEPTED**</color> 
 +Warokshop paper at ASE 2026 (ASE is a flagship conference Core Rank A*, 200 MNiSW points).
  
  
Linia 80: Linia 82:
 Acceptance notification: https://drive.google.com/file/d/1jR-GT5LYMa7f6Vnon_D183MkQAcbwfih/view?usp=drive_link. Acceptance notification: https://drive.google.com/file/d/1jR-GT5LYMa7f6Vnon_D183MkQAcbwfih/view?usp=drive_link.
 See conference program: https://conf.researchr.org/track/ase-2026/ase-2026-nier See conference program: https://conf.researchr.org/track/ase-2026/ase-2026-nier
 +
 +
 +[Kli 26f] Radoslaw Klimek „Prompt-to-Feature Attribution for Explainable LLM-Based Software Generation”. 
 +Available at: https://drive.google.com/file/d/1erB_Iz6Kcymm10nw3Lb4TPwN-n1G7jPY/view?usp=sharing.
 +<color #CC6600>**ACCEPTED**</color>
 +Workshop paper at ASE 2026 (ASE is a flagship conference Core Rank A*, 200 MNiSW points).
 +
  
 [Kli 26] Radoslaw Klimek "Toward Defensible System Behavior in AI-Assisted Software Engineering".  [Kli 26] Radoslaw Klimek "Toward Defensible System Behavior in AI-Assisted Software Engineering". 
 Title changed to "Toward Defensible System Behavior for AI-Generated Software Artifacts" Title changed to "Toward Defensible System Behavior for AI-Generated Software Artifacts"
-Available at: https://drive.google.com/file/d/1Siu6l0XGr0qsdpUewYlFhHhhwRjn_qIo/view?usp=drive_link. +Available at: https://drive.google.com/file/d/1WEZGiLEQTk2CVMqgtl0_vYGFaX0pkhX-/view?usp=sharing. 
-Workshop Flagship conference paper, Rank A*, 200 pkt  pkt MNiSW, under review.+<color #CC6600>**ACCEPTED**</color> 
 +Workshop paper at ASE 2026, (ASE is a flagship conference, Rank A*, 200 pkt  pkt MNiSW). 
 +List of accepted papers: https://conf.researchr.org/home/ase-2026/rase-2026#event-overview
  
 [Klo Kli 26] Michał Klos, Radoslaw Klimek "Learning System Behavior from Logs: Graph-Based Anomaly [Klo Kli 26] Michał Klos, Radoslaw Klimek "Learning System Behavior from Logs: Graph-Based Anomaly
Linia 103: Linia 114:
 [Kli 26c] Radoslaw Klimek "A Workflow-Based LLM Assistant for Iterative and Verified Requirements Engineering".  [Kli 26c] Radoslaw Klimek "A Workflow-Based LLM Assistant for Iterative and Verified Requirements Engineering". 
 Title changed to: "A Workflow-Driven Multi-Agent Architecture for Requirements Engineering". Title changed to: "A Workflow-Driven Multi-Agent Architecture for Requirements Engineering".
-Available at: https://drive.google.com/file/d/16SyfChWHyUOVj-OqM9Heznidq3ytD_7R/view?usp=drive_link. +Available at: https://drive.google.com/file/d/1B_g15sM43HLliKHjzsyioi1HL0dYRXx4/view?usp=sharing. 
-Workshop Flagship conference paper, Rank A*, 200 pkt  pkt MNiSW, under review.+<color #CC6600>**ACCEPTED**</color> 
 +Workshop paper at ASE 2026, (ASE is a flagship conference, Rank A*, 200 pkt  pkt MNiSW).
  
  
Linia 123: Linia 135:
  
  
-<color #663399>**LOGIMINE**</color>+<color red>**LOGIMINE**</color>
  
 LOGIMINE ('''Log'''ic '''Mine'''ing and Verification Environment) is a research platform implementing the concept of '''Logic Mining''', an approach that combines process mining, formal methods, automated theorem proving, and AI-assisted software engineering within a unified behavioral reasoning environment. The central idea is to transform process execution data into formal logical representations that can be automatically analyzed, verified, compared, and explained using mature reasoning technologies. LOGIMINE ('''Log'''ic '''Mine'''ing and Verification Environment) is a research platform implementing the concept of '''Logic Mining''', an approach that combines process mining, formal methods, automated theorem proving, and AI-assisted software engineering within a unified behavioral reasoning environment. The central idea is to transform process execution data into formal logical representations that can be automatically analyzed, verified, compared, and explained using mature reasoning technologies.
Linia 190: Linia 202:
  
  
-<color #663399>**LOFT**</color>+<color red>**LOFT**</color>
  
 **LOFT (Logical Framework and Testbench)** is a research platform for systematic benchmark engineering and experimental evaluation of automated reasoning methods. The platform supports the generation, management, execution, and analysis of logical verification problems used in software engineering, formal verification, behavioral reasoning, and automated theorem proving. **LOFT (Logical Framework and Testbench)** is a research platform for systematic benchmark engineering and experimental evaluation of automated reasoning methods. The platform supports the generation, management, execution, and analysis of logical verification problems used in software engineering, formal verification, behavioral reasoning, and automated theorem proving.
Linia 414: Linia 426:
  
  
-**RE-IDE**+<color red>**RE-IDE**</color> 
  
 Workflow-driven requirements engineering environment supporting structured model generation, clarification, validation, and preparation of artifacts for formal verification. Workflow-driven requirements engineering environment supporting structured model generation, clarification, validation, and preparation of artifacts for formal verification.
opus31.1785612810.txt.gz · ostatnio zmienione: przez admin