Happe, L.; Fuchß, D.; Hüttner, L.; Marquardt, K.; Koziolek, A.
2026. Proceedings of the 48th International Conference on Software Engineering: Software Engineering Education and Training; Rio de Janeiro, Brasilien, 12.-18.04.2026, Association for Computing Machinery (ACM).
Armbruster, K.; Kannengießer, N.; Beyene, M.; Ciolacu, G.; Sunyaev, A.
2026. Proceedings of the 59th Hawaii International Conference on System Sciences, Maui, HI, 6th-9th January 2026, 5663–5672
Löffel, M.; Diehlmann, F.; Zienau, A.; Lüttenberg, M.; Wiens, M.; Wagner, S. M.; Schultmann, F.
2026. Production Planning and Control, 1–25.
König, L.; Stickling, T.; Burger, E.
2025. Joint Proceedings of the STAF 2025 Workshops: OCL, OOPSLE, LLM4SE, ICMM, AgileMDE, AI4DPS, and TTC co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2025), CEUR-WS
Hennig, A.; Neef, S.; Mayer, P.
2025. Kapil Singh, Gianluca Stringhini, Nick Nikiforakis, 104682, Elsevier
Bhadauria, R.; Döttling, N.; Hazay, C.; Lin, C.
2026. Advances in Cryptology – ASIACRYPT 2025 – 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, VIC, Australia, December 8–12, 2025, Proceedings, Part V. Ed.: G. Hanaoka, 228–261, Springer Nature Singapore.
Platzer, A.; Qian, L.
2025. Journal of the ACM, 72 (6), Art.-Nr.: 41.
Coijanovic, C.; Hetz, L.; Paterson, K. G.; Strufe, T.
2025. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Taipeh, 13th-17th October 2025, 558–572, Association for Computing Machinery (ACM).
Normann, F. von; Aliyu, M. M.; Kannengießer, N.; Le, L. B. Q.; Heinrich, R.; Sunyaev, A.
2025. 2025 7th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Zürich, 18th-21st November 2025, 1–9, Institute of Electrical and Electronics Engineers (IEEE).
Grundmann, M.; Hartenstein, H.
2025. 20th International Conference on Integrated Formal Methods, iFM 2025, Paris, 17th-21st November 2025, Springer
Armbruster, M.; Chebbi, F.; Weber, T.; Koziolek, A.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik, Gesellschaft für Informatik (GI)
Hennig, A.; Schulte, L.; Herbold, S.; Kulyk, O.; Mayer, P.
2025. Empirical Software Engineering, 31 (1), 9.
Kaplan, A.; Keim, J.; Schneider, M.; Reussner, R. H.
2025. RAGE-KG 2025: The Second International Workshop on Retrieval-Augmented Generation Enabled by Knowledge Graphs, co-located with ISWC 2025, November 2–6, 2025, Nara, Japan. Ed.: Jennifer D., CEUR-WS
Krohmann, S.; Rank, S.; Schmidt-Kraepelin, M.; Thiebes, S.; Sunyaev, A.
2025. Behaviour & Information Technology, 1–26.
Corbo, S.; Bancale, L.; Gennaro, V. D.; Lestingi, L.; Scotti, V.; Camilli, M.
2025. IEEE Transactions on Software Engineering.
Winau, M.; Spiecker genannt Döhmann, I.
2025. Computer und Recht : CR ; Zeitschrift für die Praxis des Rechts der Informationstechnologien, (10), 647–654
Lestingi, L.; Bersani, M. M.; Camilli, M.; Mirandola, R.; Rossi, M.; Scandurra, P.
2026. Journal of Systems and Software, 232, Art.-Nr.: 112657.
Todt, J.; Morsbach, F.; Strufe, T.
2025. Proceedings of 32nd ACM SIGSAC Conference on Computer and Communications Security (CCS ’25), Taipei, October 13–17, 2025, Association for Computing Machinery (ACM).
Kopmann, S.; Lachos, D.; Zitterbart, M.
2025. 2025 IEEE 50th Conference on Local Computer Networks (LCN), Sydney, Australia, 13-16 October 2025, Institute of Electrical and Electronics Engineers (IEEE).
Wehmer, M.; Diestl, J.; Waibel, D.; Baumgart, I.
2025. Proceedings of the 2025 Cyber Security in CarS Workshop (CSCS ’25), 9 S., Association for Computing Machinery (ACM).
Weber, T.; Quellmalz, K.; Benz, L.; Weber, S.; Burger, E.; Reussner, R.
2025. Second International Workshop on Model Management (MoM), co-located with the 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025), Grand Rapids, MI, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
Cristofaro, E. De; Shrishak, K.; Strufe, T.; Troncoso, C.; Morsbach, F.
2025. Dagstuhl Reports, 15 (3), 77–93.
Kodetzki, M.; Bordis, T.; Potanin, A.; Schaefer, I.
2025. Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 99–115, Association for Computing Machinery (ACM).
Lange, A.; Cederbladh, J.; Feichtinger, K.; Weber, T.
2025. INCOSE International Symposium, 348–363.
Kabra, A.; Laurent, J.; Bharadwaj, S.; Martins, R.; Mitsch, S.; Platzer, A.
2025. A. Irfan & D. Kaufmann (Hrsg.), Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025, Menlo Park, 6th-10th October 2025, TU Wien.
Jutz, B.; Zacouris, Z.; Weber, T.; Acosta, M.; Reussner, R.; Burger, E.
2025. Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems, Grand Rapids, MI, USA, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
Jutz, B.; Weber, T.; Lange, A.; Dehghani, R.; Jiang, B.; Armbruster, M.; Feichtinger, K.; Hagel, N.; Kaushik, M.; König, L.; Mazkatli, M.; Minhas, M. A.; Neumann, D.; Burger, E.; Koziolek, A.; Reussner, R.
2025. Second International Workshop on Model Management (MoM), co-located with the 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025), Grand Rapids, MI, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
Schotschneider, A.; Pavlitska, S.; Zöllner, M.
2025. IEEE International Conference on Systems, Man, and Cybernetics (SMC 2025), Institute of Electrical and Electronics Engineers (IEEE)
Weber, T.; Cederbladh, J.; Weber, S.; Lange, A.; Cicchetti, A.; Reussner, R.
2025. Models and Evolution Workshop, Institute of Electrical and Electronics Engineers (IEEE)
Hunter, J.; Heun, S.-E.
2025. Computer und Recht / International, (10), 682–689
Cortier, V.; Debant, A.; Küsters, R.; Moser, F.; Müller, J.; Volkamer, M.
2025. Electronic Voting – 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings, Gesellschaft für Informatik (GI)
Dieler, P.
2025. Kommunikation & Recht, 28 (10), 608–614
Rakow, A.; Gasiola, G. G.; Grundt, D.; Collenette, J.; Möhlmann, E.; Schwammberger, M.
2025. 2025 IEEE International Automated Vehicle Validation Conference, 30 September – 2 October, Baden-Baden, Institute of Electrical and Electronics Engineers (IEEE)
Mütsch, F.; Zipf, M.; Polley, N.; Zöllner, J. M.
2025. 2025 IEEE International Automated Vehicle Validation Conference (IAVVC), Baden-Baden, 30th September – 02nd October 2025, 1–7, Institute of Electrical and Electronics Engineers (IEEE).
Taghavi, B.; Weber, S.; Marin, A.; Rumpe, B.; Stüber, S.; Henss, J.; Weber, T.; Heinrich, R.
2025. The journal of systems and software, 231.
Liu, Qi; Bao, Kaibin; Hassan, Wajih Ul; Hagenmeyer, Veit
Pavlitska, S.; Gerking, C.; Zöllner, J. M.
2025. “European Symposium on Research in Computer Security (ESORICS) – Workshops”
Dieler, P.; Wiens, M.
2025. INFORMATIK 2025. Hrsg.: U. Lucke, 113, Gesellschaft für Informatik (GI).
Hunter, J.; Steinebach, M.; Yannikos, Y.
2025. INFORMATIK 2025: The Wide Open: Offenheit von Source bis Science, Potsdam, 16th – 19th September 2025, Gesellschaft für Informatik (GI).
Armbruster, M.; Bernoth, J.
2025. INFORMATIK 2025. Hrsg.: U. Lucke, 1249–1253, Gesellschaft für Informatik (GI).
Boltz, N.; Wagner, J.; Sterz, L.; Raabe, O.; Gerking, C.
2025. Software Architecture : 19th European Conference (ECSA 2025), Limassol, CY, September 15–19, 2025
Abu-Salma, R.; Anthonysamy, P.; Benenson, Z.; Berens, B.; Coopamootoo, K. P. L.; Gutmann, A.; Jenkins, A.; Patil, S.; Preibusch, S.; Schaub, F.; Seymour, W.; Such, J.; Tahaei, M.; Tuncdogan, A.; Kleek, M. V.; Wilkinson, D.
2025. IEEE Security & Privacy, 23 (4), 103–110.
Hennig, A.; Mossano, M.; Aldag, L.; Veit, M. F.; Volkamer, M.
2025. Proceedings of the 2025 Conference on Mensch und Computer (MuC’25), Association for Computing Machinery (ACM)
Hilt, T.; Moser, F.; Matheis, P.; Volkamer, M.
2026. Electronic Voting – 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings. Ed.: D. Duenas-Cid, 107–123, Springer Nature Switzerland.
Hetzel, E.; Nemes, M.; Müller-Quade, J.
2025. Electronic Voting – 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings. Ed.: D. Duenas-Cid, 90–106, Springer Nature Switzerland.
Nissen, C.; Hilt, T.; Budurushi, J.; Volkamer, M.; Kulyk, O.
2026. Electronic Voting – 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings. Ed.: D. Duenas-Cid, 158–174, Springer Nature Switzerland.
Neef, S.; Schlunke, C.; Hennig, A.
2025. Proceedings of the 2025 European Symposium on Usable Security (EuroUSEC ’25)
Elahi, E.; Camilli, M.; Mirandola, R.
2025. DSD/SEAA 2025, Springer
Meshram, A.; Karch, M.; Haas, C.; Beyerer, J.
2025. Procedia Computer Science, 270, 3913–3923.
Henriksen, A.; Asadi, R.; Gerdes, A.; Kulyk, O.; Mayer, P.
2025. 2025 European Symposium on Usable Security – Digital Security Hub (DiSH), Institute of Electrical and Electronics Engineers (IEEE)
Bernoth, J.; Heinemann, B.; Ehlenz, M.; Armbruster, M.; Lucke, U.
2025. 23. Fachtagung Bildungstechnologien (DELFI 2025). Hrsg.: V. Köppen, 245–249, Gesellschaft für Informatik (GI).
Lange, M.; Guerra-Balboa, P.; Parra-Arnau, J.; Strufe, T.
2025. Proceedings of the VLDB Endowment, 18 (11), 4090–4103.
Rajabzadeh, H.; Shaya, N.; Shirafkan, N.; Glöser-Chahoud, S.; Wiens, M.
2025. Annals of Operations Research.
Fleck, T.; Burger, J.; Ochs, S.; Heinrich, M.; Schotschneider, A.; Polley, N.; Boualili, Y.; Mütsch, F.; Schörner, P.; Zofka, M. R.; Zöllner, J. M.
2025. 2025 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), College Station, 2nd-4th September 2025, 1–8, Institute of Electrical and Electronics Engineers (IEEE).
Fuchß, D.; Schwedt, S.; Keim, J.; Hey, T.
2025. 2025 IEEE 33rd International Requirements Engineering Conference Workshops (RE)
Gutjahr, A.
2025. Neue Zeitschrift für Verwaltungsrecht, 2025 (17), 1307–1313
Noppel, M.; Wressnegger, C.; Rubel, K.
2025. KI 2025: Advances in Artificial Intelligence : 48th German Conference on AI, Potsdam, Germany, September 16–19, 2025, Proceedings. Ed. T. Braun, 298–302, Springer.
Hedge, A.; Noppel, M.; Wressnegger, C.
2025. KI 2025: Advances in Artificial Intelligence. Ed.: T. Braun, 289–293, Springer.
Bächle, T.; Hofmayer, E.; König, C.; Pett, T.; Schaefer, I.
2025. Proceedings of the 29th ACM International Systems and Software Product Line Conference – Volume A. Ed.: M.R. Luaces, 45–56, Association for Computing Machinery (ACM).
Singh, R.; Brunello, N.; Scotti, V.; Carman, M.
2025. Proceedings of the 8th International Conference on Natural Language and Speech Processing (ICNLSP-2025). Hrsg.: M. Abbas, 360–373, Association for Computational Linguistics (ACL)
Shetty, P.; Meshram, A.; Karch, M.; Haas, C.; Tippenhauer, N. O.
2025. Proceedings of the 11th ACM Cyber-Physical System Security Workshop, 87–102, Association for Computing Machinery (ACM).
Rubel, K.; Noppel, M.; Wressnegger, C.
2025. ASIA CCS ’25: Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, 358–374, Association for Computing Machinery (ACM).
Soliman, M.; Ashraf, E.; Abdelsalam, K. M. K.; Keim, J.; Venkatesh, A. P. S.
2026. Software Architecture – 19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings. Ed.: V. Andrikopoulos, 99–115, Springer Nature Switzerland.
Stengele, O.; Droll, J.; Hartenstein, H.
2025. IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Pisa, Italy, 02-06 June 2025, Institute of Electrical and Electronics Engineers (IEEE).
Erba, A.; Castellanos, J. H.; Sihag, S.; Zonouz, S.; Tippenhauer, N. O.
2025. Proceedings of the 3rd USENIX Symposium on Vehicle Security and Privacy (VehicleSec ’25) : August 11-12, 2025, Seattle, WA, USA, 45–62, USENIX Association
Lei, Q.; Wressnegger, C.
2025. Availability, Reliability and Security. Ed.: M.D. Preda, 321–342, Springer Nature Switzerland.
Cabarcos, P. A.; Mayer, P.
2025. Proceedings of the Twenty-First Symposium on Usable Privacy and Security (SOUPS 2025), August 11–12, 2025, Seattle, WA, USA, 351–369, Advanced Computing Systems Association (USENIX)
Fischer, M.; Tönjes, R.; Bohara, R.; Ross, M.; Hedge, A.; Wressnegger, C.; Brunner, M.
2025. IEEE International Conference on Cyber Security and Resilience (CSR 2025), 146–152, Institute of Electrical and Electronics Engineers (IEEE).
Eckstein, F.; Rosenauer, R.; Huppert, P.; Volkamer, M.; Herrmann, D.
2025. Datenschutz und Datensicherheit, (8), 522–526
Cribeiro-Ramallo, J.; Matteucci, F.; Enciu, P.; Jenke, A.; Arzamasov, V.; Strufe, T.; Böhm, K.
2025. Transactions on Machine Learning Research, 7
Hellwig, J.; Platzer, A.
2025. Automated Deduction – CADE 30 – 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings. Ed.: C. Barrett, 696–714, Springer Nature Switzerland.
Hemken, N.; Koneru, S.; Jacob, F.; Hartenstein, H.; Niehues, J.
2025. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics. Vol 4: Student Research Workshop, 746–759, Association for Computational Linguistics (ACL)
Rajabzadeh, H.; Wiens, M.
2025. Operations Research Proceedings 2023 : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Germany, August 29 – September 1, 2023. Ed.: G. Voigt, 403–413, Springer Nature Switzerland.
Reiche, F.; Reussner, R.; Heinrich, R.
2025. IEEE Transactions on Software Engineering, 1–33.
Jiang, Y.; Zarezadeh, M.; Dai, T.; Köpsell, S.
2025. Proceedings on Privacy Enhancing Technologies, 2025 (4), 348–368.
Schadt, D.; Coijanovic, C.; Strufe, T.
2025. Proceedings on Privacy Enhancing Technologies, 2025 (4), 293–307.
Ademi, L.; Noppel, M.; Wressnegger, C.
2025. Explainable Artificial Intelligence. Ed.: R. Guidotti. Pt. 2, 219–243, Springer Nature Switzerland
Faut, D.; Fetzer, V.; Müller-Quade, J.; Raiber, M.; Rupp, A.
2025. IACR Communications in Cryptology, 2 (2).
Spiesberger, P.; Droll, J.; Hartenstein, H.
2025. Proceedings of the 30th ACM Symposium on Access Control Models and Technologies (SACMAT 2025), 127–132, Association for Computing Machinery (ACM).
Shirafkan, N.; Rajabzadeh, H.; Wiens, M.
2025. International Journal of Production Research, 63 (19), 7339–7362.
Schuler, Nicolas Sebastian, Scotti, Vincenzo, Camilli, Matteo Mirandola Raffaela Bridging Explanations and Logics: Opportunities for Multimodal Language Models, Preprint, Accepted for Formal Methods for Intersymbolic AI (AISoLA 2025 · FMIAI)
Cederbladh, J.; Kamburjan, E.; Manrique-Negrin, D. A.; Mittal, R.; Weber, T.
2025. Systems Engineering, e70001.
Dörre, F.; Ottenhues, A.
2025. International Conference on Applied Cryptography and Network Security, 27 S
Ottenhues, A.; Müller-Quade, J.; Arnold, P.; Berndt, S.
2025. International Conference on Applied Cryptography and Network Security, München, 23rd-26th June 2025
Rønneberg, R. C.; Randone, F.; Pardo, R.; Wąsowski, A.
2025. Software and Systems Modeling.
Böttger, C.; Hosseini, H.; Utz, C.; Demir, N.; Hörnemann, J.; Wressnegger, C.; Hupperich, T.; Pohlmann, N.; Große-Kampmann, M.; Urban, T.
2025. 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), Institute of Electrical and Electronics Engineers (IEEE).
Pavlitska, S.; Robb, J.; Polley, N.; Yazgan, M.; Zöllner, J. M.
2025. 2025 IEEE Intelligent Vehicles Symposium (IV), 734–741, Institute of Electrical and Electronics Engineers (IEEE).
Polley, R.; Polley, N.; Heid, D.; Heinrich, M.; Ochs, S.; Zöllner, J. M.
2025. 2025 IEEE Intelligent Vehicles Symposium (IV), Cluj-Napoca, 22nd-25th June 2025, 2215–2222, Institute of Electrical and Electronics Engineers (IEEE).
Negri, F.; Nicolosi, N.; Camilli, M.; Mirandola, R.
2025. ACM Transactions on Autonomous and Adaptive Systems.
Canbolat Kaya, S.; Elbez, G.; Hagenmeyer, V.
2025. ACM International Conference on Future and Sustainable Energy Systems (ACM e-Energy 2025), Association for Computing Machinery (ACM).
Bao, K.; Chau, S. C.-K.; Elbez, G.; Liu, Q.; Hagenmeyer, V.
2025. Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems (E-ENERGY ’25), 838–845, Association for Computing Machinery (ACM).
Elbez, Ghada; Sanchez, Gustavo; Canbolat, Sine; Corallo, Sophie; Fruböse, Clemens; Lanzinger, Florian; Kellerer, Nicolai; Keppler, Gustav; Neumeister, Felix; Beckert, Bernhard; Koziolek, Anne; Zitterbart, Martina; Hagenmeyer, Veit
Elbez, Ghada; Sanchez, Gustavo; Canbolat, Sine; Corallo, Sophie; Fruböse, Clemens; Lanzinger, Florian; Kellerer, Nicolai; Keppler, Gustav; Neumeister, Felix; Beckert, Bernhard; Koziolek, Anne; Zitterbart, Martina; Hagenmeyer, Veit
Alberto, H. da C.; Sánchez Collado, G.; DEMBELE, J. M.; DIOP, I.; Elbez, G.; Hagenmeyer, V.
2025. E-ENERGY ’25, Rotterdam, Netherlands, Association for Computing Machinery (ACM).
Engel, S. M.; Bao, K.; Attar, A. A.; Rudolph, R.; Hagenmeyer, V.
2025. E-Energy ’25: Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems, 820–829, Association for Computing Machinery (ACM).
Kellerer, N.; Sanchez, G.; Alberto, H.; Hagenmeyer, V.; Elbez, G.
2025. E-Energy ’25: Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems, 770–779, Association for Computing Machinery (ACM).
Hanisch, S.; Arias-Cabarcos, P.; Parra-Arnau, J.; Strufe, T.
2025. ACM Computing Surveys, 57.
Rønneberg, R. C.; Bordis, T.; Gerking, C.; Tabar, A. H.; Schaefer, I.
2025. Formal Techniques for Distributed Objects, Components, and Systems Techniques. Ed.: C. Ferreira, 55–74, Springer Nature Switzerland.
Dai, T.; Jiang, Y.; Li, Y.; Müller-Quade, J.; Rupp, A.
2025. Proceedings of the 22nd International Conference on Security and Cryptography – Volume 1, Bilbao, June 11-13, 2025, 49–60, SciTePress.
Stentoft, J.; Peressotti, M.; Mayer, P.; Wickstrøm, K. A.; Schmitt, O.; Keating, V. C.; Theussen, A.; Tumchewics, L. A.; Kankam-Boateng, J.
2025. Supply Chain Management: An International Journal, 30 (5), 497–517.