July 2025 - SEG-staff

Action Required: Review of Older VMs on Calculon/Hydra by 11.07.2025
by Ohrndorf, Manuel (INF) 11 Aug '25

11 Aug '25

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

1 2

ICSE 2026 Cycle 2
by Timo Kehrer 28 Jul '25

28 Jul '25

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

1 0

Office Furniture
by Timo Kehrer 15 Jul '25

15 Jul '25

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

1 1

BORIS Publications
by van Dok, Yael Annika (INF) 09 Jul '25

09 Jul '25

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

1 0

Seminar-Presentations: Undervolting
by Bard, Jan-Andrea (INF) 03 Jul '25

03 Jul '25

The students explored energy consumption of various benchmarks under varying CPU frequency-voltage pairs. ________________________________________________________________________________ Microsoft Teams Benötigen Sie Hilfe?<https://aka.ms/JoinTeamsMeeting?omkt=de-DE> Jetzt an der Besprechung teilnehmen<https://teams.microsoft.com/l/meetup-join/19%3ameeting_YzA2NDQxMTItOWEzMy00…> Besprechungs-ID: 352 016 098 812 8 Kennung: XH37QS9c ________________________________ Für Organisatoren: Besprechungsoptionen<https://teams.microsoft.com/meetingOptions/?organizerId=bd5bd8fe-9a1f-45cb-…> [https://unibeidbistoragedeskmgmt.blob.core.windows.net/intune-blob-storage/…] https://serviceportal.unibe.ch/sp ________________________________________________________________________________

1 0

2025

2024

2023

2022

SEG-staff July 2025