- SEG-staff - INF Mailman

EnhanceR Symposium 2025
by Timo Kehrer 22 Aug '25

22 Aug '25

Dear all, just as a reminder: If anybody is interested in that one, feel free to register and attend https://symposium.enhancer.ch/ Participation is free of charge, and we could pay for travel expenses to Fribourg. Best, Timo

1 0

Fwd: Anfrage zu internen Themenvorschlägen für Bachelorarbeiten in Informatik
by Timo Kehrer 15 Aug '25

15 Aug '25

Hi all, did Livia Brunner the seminar with us? Somehow this name sounds familiar to me. However, I cannot find her name in the seminar GitLab, but maybe it's not a 100% complete.. Best, Timo -------- Weitergeleitete Nachricht -------- Betreff: Anfrage zu internen Themenvorschlägen für Bachelorarbeiten in Informatik Datum: Fri, 15 Aug 2025 10:49:32 +0200 Von: Brunner, Livia (STUDENTS) <livia.brunner(a)students.unibe.ch> An: Kehrer, Timo Benjamin (INF) <timo.kehrer(a)unibe.ch> Sehr geehrter Herr Prof. Dr. Timo Kehrer, ich studiere derzeit Informatik im Bachelor an der Universität Bern und plane, im Frühlingssemester 2026 meine Bachelorarbeit zu beginnen. Da ich mich aktuell mit möglichen Themen auseinandersetze, wollte ich mich erkundigen, ob es innerhalb Ihrer Arbeitsgruppe bzw. Ihres Fachgebiets eine interne Liste oder Ideen für Bachelorarbeitsthemen gibt, auf die ich zurückgreifen könnte. Vielen Dank für Ihre Zeit und Unterstützung. Ich freue mich auf Ihre Rückmeldung. Mit freundlichen Grüssen Livia Brunner

1 0

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

Re: Research Study Invitation: Ethical AI in Self-Driving Cars
by Panichella, Sebastiano (INF) 11 Aug '25

11 Aug '25

Dear Researchers at SEG, We are contacting you to study the public perception of ethically appropriate behavior of self-driving cars (SDCs). The aim is to explore how individuals judge the behavior of SDCs in various scenarios, and how these judgments reflect personal moral values. The survey takes about 15 minutes to complete, and all responses are anonymous. https://forms.gle/iNWvsKUiMGWq953A7 We would be grateful if you could submit your response by September 10th. Thank you for your time and contribution to our research! If you have any questions, feel free to contact us. Best regards, Yelyzaveta Kurkchi and Catia Trubiani, Gran Sasso Science Institute, Italy Christian Birchler and Sebastiano Panichella, University of Bern, Switzerland ________________________________ From: Yelyzaveta Kurkchi <yelyzaveta.kurkchi(a)gssi.it> Sent: Monday, August 11, 2025 12:28 PM To: Computer Science Postdoc <cs-postdoc(a)gssi.it> Cc: Catia Trubiani <catia.trubiani(a)gssi.it>; Birchler, Christian Martin (INF) <christian.birchler(a)unibe.ch>; Panichella, Sebastiano (INF) <sebastiano.panichella(a)unibe.ch> Subject: Research Study Invitation: Ethical AI in Self-Driving Cars Dear Computer Science Postdoctoral Researchers at GSSI, We are contacting you to study the public perception of ethically appropriate behavior of self-driving cars (SDCs). The aim is to explore how individuals judge the behavior of SDCs in various scenarios, and how these judgments reflect personal moral values. The survey takes about 15 minutes to complete, and all responses are anonymous. https://forms.gle/iNWvsKUiMGWq953A7 We would be grateful if you could submit your response by September 10th. Thank you for your time and contribution to our research! If you have any questions, feel free to contact us. Best regards, Yelyzaveta Kurkchi and Catia Trubiani, Gran Sasso Science Institute, Italy Christian Birchler and Sebastiano Panichella, University of Bern, Switzerland

1 0

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

Office this week
by Timo Kehrer 30 Jun '25

30 Jun '25

Dear all, This is just to let you know that I'll stay in Home Office this week. If you need me beyon the already scheduled meetings, please give me a ping. Best, Timo

1 0

Special Issue for Software @ ICST 2025
by Panichella, Sebastiano (INF) 24 Jun '25

24 Jun '25

JFYI... ---------- Forwarded message --------- From: Phil McMinn <p.mcminn(a)sheffield.ac.uk> Date: Tue, Jun 24, 2025 at 3:10 PM Subject: Special Issue for Software @ ICST 2025 To: Phil McMinn <p.mcminn(a)sheffield.ac.uk> Dear ICST attendee, I’m reaching out to invite you to submit software to a special issue of Science of Computer Programming, dedicated to tools featured at ICST 2025. If you presented a tool in the main research track, the Testing Tools Track, or the Testing Tool Competition, you are eligible to submit. This special issue is part of the Call for Software series and focuses on the software artifact itself. Submissions should include: * the software, * a short accompanying article (up to 6 pages) describing the tool, its purpose, design, usage, and relevance. The goal is to provide lasting visibility to well-engineered tools that contribute to research and practice in software testing, verification, and validation. Full submission details are available here: https://www.sciencedirect.com/journal/science-of-computer-programming/about… We’d be delighted to see a submission from you. Please feel free to get in touch if you have any questions about the process or the suitability of your tool. Best wishes, Phil McMinn, Domenico Bianculli, and Porfirio Tramontana (Guest Editors of the Special Issue)

1 0

2025

2024

2023

2022

SEG-staff