Prof. Dr. Robert Heinrich
Prof. Dr.&)uni-ulm.de
Room: O27 418
Phone: +49731/50-24254
Prof. Dr. Robert Heinrich
My research interests include modeling and analyzing software-intensive systems, for example from production and mobility, for various quality properties, such as security, performance and maintainability, to support evolution and adaptation.
I especially focus on the system architecture to analyze among others security vulnerabilities, performance bottlenecks and the impact of uncertainty on these quality properties. I am also interested in the interplay of architectural design and implementation throughout the entire system life-cycle.
Current research projects are listed in the following:
- - "Anonymisierung f眉r vernetzte Mobilit盲tssysteme" (01/2026 - 12/2028) in the research program "Forschungsnetzwerk Anonymisierung f眉r eine sichere Datennutzung" of the German Federal Ministry of Research, Technology and Space (BMFTR, 16KIS2509), volume: 鈧� 507,288.91
- - Featured Composition of Model-based Analyses for Software-intensive Systems (01/2023 - 12/2026), funded by German Research Foundation (DFG, project number 499241390), volume: 鈧� 314,582.00
Former research projects are listed .
Further information can be found in the following selected book publications.
| Robert Heinrich ISBN: 978-3-7315-1294-3 ISSN: 1867-0067 KIT Scientific Publishing, 2023 | |
| Robert Heinrich, Francisco Dur谩n, Carolyn L. Talcott, Steffen Zschaler (Eds.) ISBN: 978-3-030-81914-9 Springer 2021 | |
| Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, Klaus Krogmann (Eds.) ISBN: 9780262034760 MIT Press 2016 | |
| Robert Heinrich ISBN: 978-3-658-06517-1 Springer 2014 |
A selection of recent publications can be found in the list below. See my or profile for a complete list of publications.
Publikationen
2026
9.
Niehues,
Nils;
Hahner,
Sebastian;
Heinrich,
Robert
Mitigation strategies for confidentiality violations in software architecture using ranked feature importance
Journal of Systems and Software, Volume 235
May 2026
Publisher: Elsevier
Mitigation strategies for confidentiality violations in software architecture using ranked feature importance
Journal of Systems and Software, Volume 235
May 2026
Publisher: Elsevier
| DOI: | |
| ISBN: | 0164-1212 |
8.
Taghavi,
Bahareh;
Weber,
Sebastian;
Marin,
Adrian;
Rumpe,
Bernhard;
St眉ber,
Sebastian;
Hen脽,
J枚rg;
Weber,
Thomas;
Heinrich,
Robert
Modeling the Composition of Analysis Components and Automatic Constraint Checking for Semantic Soundness
Journal of Systems and Software, Volume 231
January 2026
Publisher: Elsevier
ISSN: 0164-1212
Modeling the Composition of Analysis Components and Automatic Constraint Checking for Semantic Soundness
Journal of Systems and Software, Volume 231
January 2026
Publisher: Elsevier
ISSN: 0164-1212
| DOI: |
2025
7.
Weber,
Sebastian;
Pace,
Vincenzo;
Weber,
Thomas;
Hen脽,
J枚rg;
Heinrich,
Robert
Machine Learning Surrogate Models for Performance Prediction with Architectural Models
16th Symposium on Software Performance
November 2025
Machine Learning Surrogate Models for Performance Prediction with Architectural Models
16th Symposium on Software Performance
November 2025
6.
von Normann,
Frederic;
Aliyu,
Mansur Masama;
Kannengie脽er,
Niclas;
Le,
Lan Bao Quang;
Heinrich,
Robert;
Sunyaev,
Ali
On the Trade-Off between Degree of Decentralization and Scalability in Proof-of-Stake鈥揵ased Blockchain Systems
Conference on Blockchain Research & Applications for Innovative Networks and Services
Publisher: IEEE
November 2025
On the Trade-Off between Degree of Decentralization and Scalability in Proof-of-Stake鈥揵ased Blockchain Systems
Conference on Blockchain Research & Applications for Innovative Networks and Services
Publisher: IEEE
November 2025
5.
Reiche,
Frederik;
Reussner,
Ralf;
Heinrich,
Robert
Detecting Information Flow Security Vulnerabilities by Analysis Coupling
IEEE Transactions on Software Engineering
September 2025
Publisher: IEEE
Detecting Information Flow Security Vulnerabilities by Analysis Coupling
IEEE Transactions on Software Engineering
September 2025
Publisher: IEEE
| DOI: |
4.
Sproll,
Yannik;
Heinrich,
Robert;
Le,
Lan Bao Quang;
Kannengie脽er,
Niclas
SM-SIM: A Simulator for Analyzing Selfish Mining Attacks in Blockchain Systems
IEEE International Conference on Blockchain and Cryptocurrency
Publisher: IEEE
June 2025
SM-SIM: A Simulator for Analyzing Selfish Mining Attacks in Blockchain Systems
IEEE International Conference on Blockchain and Cryptocurrency
Publisher: IEEE
June 2025
3.
Mazkatli,
Manar;
Monschein,
David;
Armbruster,
Martin;
Heinrich,
Robert;
Koziolek,
Anne
Continuous integration of architectural performance models with parametric dependencies 鈥� the CIPM approach
Automated Software Engineering, 32
May 2025
Publisher: Springer
Continuous integration of architectural performance models with parametric dependencies 鈥� the CIPM approach
Automated Software Engineering, 32
May 2025
Publisher: Springer
2.
Niehues,
Nils;
Hahner,
Sebastian;
Heinrich,
Robert
An Architecture-Based Approach to Mitigate Confidentiality Violations Using Machine Learning
22nd IEEE International Conference on Software Architecture (ICSA)
Publisher: IEEE
February 2025
An Architecture-Based Approach to Mitigate Confidentiality Violations Using Machine Learning
22nd IEEE International Conference on Software Architecture (ICSA)
Publisher: IEEE
February 2025
2024
1.
Liebel,
Grischa;
Kl眉nder,
Jil;
Hebig,
Regina;
Lazik,
Christopher;
Nunes,
In锚s;
Gra脽l,
Isabella;
Stegh枚fer,
Jan-Philipp;
Exelmans,
Joeri;
Oertel,
Julian;
Marquardt,
Kai;
Juhnke,
Katharina;
Schneider,
Kurt;
Gren,
Lucas;
Happe,
Lucia;
Herrmann,
Marc;
Wyrich,
Marvin;
Tichy,
Matthias;
Goul茫o,
Miguel;
Wohlrab,
Rebekka;
Kalantari,
Reyhaneh;
Heinrich,
Robert;
Greiner,
Sandra;
Rukmono,
Satrio Adi;
Chakraborty,
Shalini;
Abrah茫o,
Silvia;
Amaral,
Vasco
Human factors in model-driven engineering: future research goals and initiatives for MDE
Softw. Syst. Model.
2024
Human factors in model-driven engineering: future research goals and initiatives for MDE
Softw. Syst. Model.
2024
| DOI: |