Dear all,
Please find my review assignments for the 2nd submission cycle of ICSE
2026 below.
If you are interested in reviewing one of the papers, please let me know.
We will do the internal discussion in the week August 18-22.
Best,
Timo
#901 LogSumm: Log Summarization Using Large Language Models
#1356 Senate: Policy-Driven Change Management in Model Based Systems
Engineering (MBSE)
#1579 Integrated Structural and Behavioral Analysis of UML Class
Diagrams with the Class Diagram Analyzer
#1864 From Generation to Reasoning: Chain-of-Thought Guided Merge
Conflict Resolution
#2757 LLM-Based Automated Simulink Modeling: From Requirements to Model
#3382 Historian: Leveraging Community Validated Patches to Determine
Patch Correctness
#3925 OntoMTL: Canonical Bidirectional Transformation between Metric
Temporal Logic and the Web Ontology Language
#5369 Fine-Grained Analyses for Evolution-Aware Runtime Verification
Dear all,
Could everyone who has a VM for themselves or their students on our servers (Calculon or Hydra) please review and directly edit the following spreadsheet by 11.07.2025? The sheet lists older VMs that are currently unassigned in the SEGLab VM manager.
old_unassigned_vms.xlsx<https://1drv.ms/x/c/f29fdeb58a11645a/EffGQ4AStM1EsMsznxug3OoB43tM5pbMLxWaYE…>
For each VM, please indicate one of the following options:
*
A. Assign (and migrate): If the VM is still in use, enter "yes" and provide the email address of the current user(s) (supervisor and student(s)) of the VM. In general, you can also consider requesting a new VM using our Ubuntu Server and Desktop template<https://calculon.inf.unibe.ch:11000/en/virtual-machines>.
*
B. Archive (default 1.6.2026): The VM will be removed from the manager, but the disk image will be archived until the specified retention date and can then be deleted. Please provide:
*
Archive retention time (e.g., 1.6.2028)
*
Email of the responsible person (e.g., supervisor)
*
C. Delete: Enter "yes" if the VM can be deleted immediately.
If no action is taken by 11.07.2025, I will proceed to archive the unassigned VMs by default (as in option B).
Thank you for your support in keeping our infrastructure organized!
Best,
Manuel
Dear all,
If you need a new table or chair (or anything else) for your office,
please let me know.
For those chairs and tables that are an absolute "no go", please send me
a photo.
The reason for this documentation is that we might be able to pay those
from different funds, as our investment credit is in the minus.
Best,
Timo
Dear all
We are obliged to put all our publications into the University of Bern's publication repository BORIS<https://boris-portal.unibe.ch/home>. I have entered most publications since the formation of the group in 2022, but it's possible that I missed some that I was not aware of.
Please check whether all publications you issued during your time at SEG are included in BORIS<https://boris-portal.unibe.ch/home>. Please send the me DOI/link and name of any missing publications. Do NOT put them in yourself, just send me the info.
Please thoroughy search for your publications on BORIS, the search spits different results sometimes (for some reason).
If all your publications are included, please confirm to me that everything is in order.
This is an urgent issue, so please reply to me ASAP.
Best
Yael