diff --git a/.zenodo.json b/.zenodo.json
index 1e71573948..0fa91b69e2 100644
--- a/.zenodo.json
+++ b/.zenodo.json
@@ -10,7 +10,7 @@
     },
     {
       "name": "Schwarz, Michael",
-      "affiliation": "Technische Universität München",
+      "affiliation": "National University of Singapore",
       "orcid": "0000-0002-9828-0308"
     },
     {
@@ -28,6 +28,16 @@
       "affiliation": "University of Tartu",
       "orcid": "0009-0008-3725-4131"
     },
+    {
+      "name": "Petter, Michael",
+      "affiliation": "Technische Universität München",
+      "orcid": "0009-0009-7868-651X"
+    },
+    {
+      "name": "Kocal, Ali Rasim",
+      "affiliation": "Technische Universität München",
+      "orcid": "0009-0004-9019-0852"
+    },
     {
       "name": "Vogler, Ralf",
       "affiliation": "Technische Universität München"
diff --git a/CITATION.cff b/CITATION.cff
index 7a93859c54..c0525d412e 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -11,7 +11,7 @@ authors: # same authors as in .zenodo.json and dune-project
     orcid: "https://orcid.org/0000-0003-4553-1350"
   - given-names: Michael
     family-names: Schwarz
-    affiliation: "Technische Universität München"
+    affiliation: "National University of Singapore"
     orcid: "https://orcid.org/0000-0002-9828-0308"
   - given-names: Julian
     family-names: Erhard
@@ -25,6 +25,14 @@ authors: # same authors as in .zenodo.json and dune-project
     family-names: Holter
     affiliation: "University of Tartu"
     orcid: "https://orcid.org/0009-0008-3725-4131"
+  - given-names: Michael
+    family-names: Petter
+    affiliation: "Technische Universität München"
+    orcid: "https://orcid.org/0009-0009-7868-651X"
+  - given-names: Ali Rasim
+    family-names: Kocal
+    affiliation: "Technische Universität München"
+    orcid: "https://orcid.org/0009-0004-9019-0852"
   - given-names: Ralf
     family-names: Vogler
     affiliation: "Technische Universität München"
diff --git a/dune-project b/dune-project
index 43dab95400..965f5d5882 100644
--- a/dune-project
+++ b/dune-project
@@ -15,7 +15,7 @@
 (source (github goblint/analyzer))
 (homepage "https://goblint.in.tum.de")
 (documentation "https://goblint.readthedocs.io/en/latest/")
-(authors "Simmo Saan" "Michael Schwarz" "Julian Erhard" "Sarah Tilscher" "Karoliine Holter" "Ralf Vogler" "Kalmer Apinis" "Vesal Vojdani" ) ; same authors as in .zenodo.json and CITATION.cff
+(authors "Simmo Saan" "Michael Schwarz" "Julian Erhard" "Sarah Tilscher" "Karoliine Holter" "Michael Petter" "Ali Rasim Kocal" "Ralf Vogler" "Kalmer Apinis" "Vesal Vojdani" ) ; same authors as in .zenodo.json and CITATION.cff
 (maintainers "Simmo Saan <simmo.saan@gmail.com>" "Michael Schwarz <michael.schwarz93@gmail.com>" "Karoliine Holter <karoliine.holter@ut.ee>")
 (license MIT)
 
diff --git a/goblint.opam b/goblint.opam
index f055c145fd..78be548a38 100644
--- a/goblint.opam
+++ b/goblint.opam
@@ -17,6 +17,8 @@ authors: [
   "Julian Erhard"
   "Sarah Tilscher"
   "Karoliine Holter"
+  "Michael Petter"
+  "Ali Rasim Kocal"
   "Ralf Vogler"
   "Kalmer Apinis"
   "Vesal Vojdani"
diff --git a/goblint.opam.locked b/goblint.opam.locked
index 9e0be02647..3509e535d5 100644
--- a/goblint.opam.locked
+++ b/goblint.opam.locked
@@ -13,6 +13,8 @@ authors: [
   "Julian Erhard"
   "Sarah Tilscher"
   "Karoliine Holter"
+  "Michael Petter"
+  "Ali Rasim Kocal"
   "Ralf Vogler"
   "Kalmer Apinis"
   "Vesal Vojdani"