> Verlagsreihe
-
volume 40:
A reference structure for modular model-based analyses by Sandro Giovanni Koch
Karlsruhe: KIT Scientific Publishing, [2024]
-
35:
Architectural alignment of access control requirements extracted from business processes by Roman Pilipchuk
Karlsruhe: KIT Scientific Publishing, [2023]
-
38:
Architecture-based evolution of dependable software-intensive systems by Robert Heinrich
Karlsruhe: KIT Scientific Publishing, [2023]
-
36:
Architectural data flow analysis for detecting violations of confidentiality requirements by Stephan Seifermann
Karlsruhe: KIT Scientific Publishing, [2023]
-
39:
Evaluating architectural safeguards for uncertain AI black-box components by Max Scheerer
Karlsruhe: KIT Scientific Publishing, [2023]
-
37:
Consistent view-based management of variability in space and time by Sofia Ananieva
Karlsruhe: KIT Scientific Publishing, [2022]
-
34:
Building transformation networks for consistent evolution of interrelated models by Heiko Klare
Karlsruhe: KIT Scientific Publishing, [2022]
-
32:
Model-based performance prediction for concurrent software on multicore architectures a simulation-based approach by Markus Kilian Frank
Karlsruhe: KIT Scientific Publishing, [2022]
-
33:
QoS-based optimization of runtime management of sensing Cloud applications by Manuel Gotin ; Betreuer: R. H. Reussner
Karlsruhe: KIT Scientific Publishing, 2022
-
26:
Implicit incremental model analyses and transformations by Georg Hinkel
Karlsruhe: KIT Scientific Publishing, [2021]
-
30:
An architecture-based approach for change impact analysis of software-intensive systems by Kiana Busch
Karlsruhe: KIT Scientific Publishing, [2020]
-
31:
A reference structure for modular metamodels of quality-describing domain-specific modeling languages by Misha Strittmatter
Karlsruhe: KIT Scientific Publishing, [2020]
-
29:
Quality-driven reuse of model-based software architecture elements$by Axel Busch
Karlsruhe: KIT Scientific Publishing, [2019]
-
27:
Adaptation-aware architecture modeling and analysis of energy efficiency for software systems by Christian Stier
Karlsruhe: KIT Scientific Publishing, [2019]
-
24:
Specification languages for preserving consistency between models of different languages by Max Emanuel Kramer
Karlsruhe: KIT Scientific Publishing, [2019]
-
23:
Automated coevolution of source code and software architecture models by Michael Langhammer
Karlsruhe: KIT Scientific Publishing, [2019]
-
28:
Entwurfsoptimierung von selbstadaptiven Wartungsmechanismen für software-intensive technische Systeme von Lukas Märtin
Karlsruhe: KIT Scientific Publishing, [2019]
-
25:
Efficiently conducting quality-of-service analyses by templating architectural knowledge by Sebastian Michael Lehrig
Karlsruhe: KIT Scientific Publishing, [2018]
-
20:
Performance problem diagnostics by systematic experimentation by Alexander Wert
Karlsruhe: KIT Scientific Publishing, [2018]
-
21:
An approach for guiding developers to performance and scalability solutions by Christoph Heger
Karlsruhe: KIT Scientific Publishing, [2018]
-
22:
Weighted statistical testing based on active learning and formal verification techniques for software reliability assessment by Fouad ben Nasr Omri
Karlsruhe: KIT Scientific Publishing, [2018]
-
19:
Architekturbasierte Bewertung und Planung von Änderungsanfragen von Johannes Josef Stammel
Karlsruhe: KIT Scientific Publishing, [2017]
-
Volume 18:
Modeling and prediction of I/O Performance in virtualized environments by Omar-Qais Noorshams
Karlsruhe: KIT Scientific Publishing, [2017]
-
Volume 16:
Consolidation of customized product copies into software product lines by Benjamin Klatt
Karlsruhe: KIT Scientific Publishing, [2016]
-
Volume 14:
Architectural design decision documentation through reuse of design patterns by Zoya Durdik
Karlsruhe: KIT Scientific Publishing, [2016]
-
17:
Model Transformation Languages with Modular Information Hiding von Andreas Rentschler
Karlsruhe: KIT Scientific Publishing, 2015
-
Volume 12:
Deriving Goal-oriented Performance Models by Systematic Experimentation by Dennis Westermann
Karlsruhe: KIT Scientific Publishing, 2014
-
11:
Certifying Software Component Performance Specifications by Henning Groenda
Karlsruhe: KIT Scientific Publishing, 2013
-
9:
Integrated Software Architecture-Based Reliability Prediction for IT Systems Characterization and applications by Franz Brosch
Karlsruhe: KIT Scientific Publishing, 2012
-
4:
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis by Klaus Krogmann
Karlsruhe: KIT Scientific Publishing, 2012
-
6:
View-based textual modelling by Thomas Goldschmidt
Karlsruhe: KIT Scientific Publishing, 2011
-
5:
Quantifying and Predicting the Influence of Execution Platform on Software Component Performance by Michael Kuperberg
Karlsruhe: KIT Scientific Publishing, 2011
-
3:
Predicting software performance in symmetric multi-core and multiprocessor environments by Jens Happe
Karlsruhe: Universitätsverlag, 2009
-
2:
Parameter dependencies for reusable performance specifications of software components by Heiko Koziolek
Karlsruhe: Universitätsverlag, 2008
-
1:
Coupled model transformations for QoS enabled component-based software design by Steffen Becker
Karlsruhe: Universitätsverlag, 2008