Software Architecture Optimization Methods: A Systematic Literature Review
Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.
Published in IEEE transactions on software engineering (01.05.2013)
Published in IEEE transactions on software engineering (01.05.2013)
Get full text
Journal Article
Architecture-Based Reliability Prediction with the Palladio Component Model
Brosch, F., Koziolek, H., Buhnova, B., Reussner, R.
Published in IEEE transactions on software engineering (01.11.2012)
Published in IEEE transactions on software engineering (01.11.2012)
Get full text
Journal Article
Partial order reduction for state/event LTL with application to component-interaction automata
Beneš, N., Brim, L., Buhnova, B., Černá, I., Sochor, J., Vařeková, P.
Published in Science of computer programming (01.10.2011)
Published in Science of computer programming (01.10.2011)
Get full text
Journal Article