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:35] 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 paperCore 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 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.1785612905.txt.gz · ostatnio zmienione: przez admin