CrESt Veröffentlichungen 2017


Carlan, C.: Living Safety Arguments for Open Systems, 28th International Symposium on Software Reliability Engineering (ISSRE), Doctoral Symposium, 2017

Arai, R., Schlingloff, H.: Model-based Performance Prediction. In: Proc. 25th CS&P 2017 - Concurrency, Specification and Programming. Warsaw, Sept. 2017

Ming, C., Schlingloff, H.: Monitoring with Parametrized Extended Life Sequence Charts. In: Fundamenta Informaticae, Vol. 153(3), pp. 173-198, IOS Press, Okt. 2017

Lackner, H., Schlingloff, H.: Advances in Testing Software Product Lines. In: Advances in Computers, vol. 107, ch. 5, (Atif Memon, ed.) 55 pp., Elsevier, Sept. 2017

Zernickel, J., Stubert, H.: Podiumsdiskussion zum Thema „Industrie 4.0“ mit Vertretern aus Wirtschaft, Wissenschaft und Politik. Berlin 2017

Butting, A., Heim, R., Kautz, O., Ringert, J., Rumpe, B., Wortmann, A.: A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description Languages. In: Proceedings of MODELS 2017 Satellite Event. Workshop ModComp, Austin, Texas, CEUR Workshop Proceedings, 2017

Mauro, J., Nieke, M., Seidl, C., Chieh Yu, I.: Anomaly Detection and Explanation in Context-Aware Software Product Lines. In Proceedings of the 21st International Systems and Software Product Line Conference - Volume B (SPLC '17)

Schuster, S., Seidl, C., Schaefer, I.: Towards a development process for maturing Delta-oriented software product lines. In Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development (FOSD 2017)

Möhrle, F., et al.: Towards Automated Design Space Exploration for Safety-Critical Systems Using Type-Annotated Component Fault Trees, in International Symposium on Model-Based Safety and Assessment (IMBSA), Demo Sessions, 2017

Marmsoler, D.: On the Semantics of Temporal Specifications of Component-Behavior for Dynamic Architectures. Eleventh International Symposium on Theoretical Aspects of Software Engineering, 2017

Marmsoler, D., Degenhardt, S.: Patterns of Dynamic Architectures using Model Checking. Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Marmsoler, D. Hung, D. V., Kapur, D. (Eds.): Towards a Calculus for Dynamic Architectures. Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, 2017

Marmsoler, D.: Dynamic Architectures. Archive of Formal Proofs, 2017

Bures, T., Weyns, D., Schmerl, B., Fitzgerald, J., Alrimawi, F., Craggs, B., Gabor, T., Gerostathopoulos, I., Liu, D., Murr, F., Nuseibeh, B., Ollesch, J., Ore, J., Pasquale, L., Zasadzinski, M.: Engineering for Smart Cyber-Physical Systems: Report from SEsCPS 2017. Submitted to ACM SIGSOFT Software Engineering Notes

Daun, M., Brings, J., Weyer, T.:On the Impact of the Model-Based Representation of Inconsistencies to Manual Reviews - Results from a Controlled Experiment. ER 2017: 466-473

Brings, J.: Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks. RE 2017: 556-561