CrESt Veröffentlichungen im 2. Halbjahr 2019


Törsleff, S., Hildebrandt, C., Fay, A.: Development of Ontologies for Reasoning and Communication in Multi-Agent Systems, 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2019.

Wehrstedt, J. C., Groos, B., Klein, W., Malik, V., Rothbauer, S., Zeller, M., Weiß, S., Böhm, B., Brings, J., Daun, M., Caesar, B., Fay, A., Koo, C.H., Vorderer, M.: A Seamless Description Approach for Engineering – Methods Illustrated for Industrie 4.0 Scenarios. In VDI – Verein Deutscher Ingenieure e. V. (Hrsg.): Kongress Automation 2019, Baden-Baden, 02.-03. Juli 2019.

Weiß, S., Caesar, B., Böhm, B., Vollmar, J., Fay, A.: Modellierung von Fähigkeiten industrieller Anlagen für die auftragsgesteuerte Produktion. In VDI – Verein Deutscher Ingenieure e. V. (Hrsg.): Kongress Automation 2019, Baden-Baden, 02.-03. Juli 2019.

Caesar, B., Nieke, M., Köcher, A., Hildebrandt, C., Seidl, C., Fay, A., Schaefer, I.: Context-sensitive reconfiguration of collaborative manufacturing systems. In: 9th IFAC Conference on Manufacturing Modelling, Management and Control (MIM) 2019, Berlin, Germany, August 28-30, 2019.

Hoang, X.-L., Caesar, B., Fay, A.: Adaptation of Manufacturing Machines by the Use of Multiple-Domain-Matrices and Variability Models. In: 9th IFAC Conference on Manufacturing Modelling, Management and Control (MIM) 2019, Berlin, Germany, August 28-30, 2019.

Zhou, Y., Allmaras, M., Massalimova, A., Schenk, T., Sohr, A., Wehrstedt, J. C.: Assist System Framework for Production Prioritization - Flexible Architecture to integrate Simulation in Run-Time Environment, In: VDI - Verein Deutscher Ingenieure e.V. (Hg.) (2019): Automationskongress, Baden-Baden.

Koo, C. H., Vorderer, M., Schröck, S., Richter, J., Verl, A.: Assistierte Risikobeurteilung für wandlungsfähige Plug and Produce Montagesysteme. VDI – Verein Deutscher Ingenieure e. V. (Hrsg.): Kongress Automation 2019, Baden-Baden, 02.-03. Juli 2019.

Koo, C. H., Rothbauer, S., Vorderer, M., Höfig, K., Zeller, M.: SQUADfps: Integrated model-based machine safety and product quality for flexible production systems. Model-Based Safety and Assessment: 6th International Symposium, IMBSA, Thessaloniki, Greece, 16.-18. October 2019.

Höfig, K., Klein, C., Rothbauer, S., Zeller, M., Vorderer, M., Koo, C. H.:A Meta-model for Process Failure Mode and Effects Analysis (PFMEA). Published in “24th IEEE International Conference on Emerging Technologies and Factory Automation”, ETFA 2019, Zaragoza, Spain, September 10-13, 2019. IEEE 2019, ISBN 978-1-7281-0303-7, pages 1199-1202.

Cârlan, C., Nigam, V., Tsalidis, A., Voss, S.: ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models; in Proceedings of The 9th IEEE International Workshop on Software Certification (WoSoCer) 2019.

Rumpe, B., Schaefer, I., Schlingloff, H., Vogelsang, A.: Special issue on engineering collaborative embedded systems, SICS Software-Intensive Cyber-Physical Systems (2019) 34: 173–175.

Hildebrandt, C., Bandyszak, T., Petrovska, A., Laxman, N., Cioroaica, E., Törsleff, S.: EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups, SICS Software-Intensive Cyber-Physical Systems (2019) 34:177–190.

Akili, S., Lorenz, F.: Towards runtime verification of collaborative embedded systems, SICS Software-Intensive Cyber-Physical Systems (2019) 34: 225–236.

Schlingloff, H.: Strategy Synthesis. Invited paper at CS&P 2019: 28th Int. Workshop on Concurrency, Specification, and Programming. Olstyn, Polen, 24.-26. Sept. 2019.

Schlingloff, H.: PhD, the University, and Everything. Keynote at ISSRE 2019, The 30th International Symposium on Software Reliability Engineering, Berlin, 28. Okt. 2019.

Schlingloff, H.: Teaching Model Checking via Games and Puzzles. 1st International Workshop FMFun, Co-located with iFM 2019, Bergen, Norway, 2.-3. Dez. 2019.

Caesar, B. Grigoleit, F. Unverdorben, S.: (Self-)adaptiveness for manufacturing sys-tems: challenges and approaches. In: SICS Software-Intensive Cyber-Physical Systems, Volume 34, Issue 4, p. 191-200, 11.2019.

Akili, S., Lorenz, F.: Towards runtime verification of collaborative embedded systems, Springer SICS Software-Intensive Cyber-Physical Systems, 34(4), 225-236, Dez. 2019.

Schmidt, K.: Modellierung und Test: Software für Industrie-Transportroboter; Embedded Testing, München 2019.

Rösel, S.: Guidelines are a Modeler's best friends – ein Einstieg in die statische Modellanalyse; Automation Software Engineering Kongress, Sindelfingen, 2019.

Rösel, S.: ISO 26262 in 10 Schritten sicherheitsrelevante Embedded Software erstellen; ESE Kongress, Sindelfingen 2019.

Greifenberg, T.: Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte. In: Aachener Informatik-Berichte, Software Engineering, Band 42. Shaker Verlag, August 2019.

Rosen, R.: Digital Twin & Symbiotic Mechatronics Approaches for System Development. Models 2019 (invited speaker).

Unverdorben, S., Böhm, B., Lüder, A.: Concept for Deriving System Architectures from Reference Architectures. In: 2019 IEEE International Conference on Industrial Engineering & Engineering Management (IEEM), Macau, 2019.

Wehrstedt, J. C., Groos, B., Klein, W., Malik, V., Rothbauer, S., Zeller, M., Weiß, S., Böhm, B., Brings, J., Daun, M., Caesar, B., Fay, A., Koo, C.H., Vorderer, M.: A Seamless Description Approach for Engineering – Methods Illustrated for Industrie 4.0 Scenarios. In VDI – Verein Deutscher Ingenieure e. V. (Hrsg.): Kongress Automation 2019, Baden-Baden, 02.-03. Juli 2019.

Rosiak, K., Urbaniak, O., Schlie, A., Seidl, Ch, Schaefer, I: Analyzing Variability in 25 Years of Industrial Legacy Software: An Experience Report. In Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B (SPLC ’19). Association for Computing Machinery, New York, NY, USA, 65–72. 2019.

Schlie, A.,Rosiak, K., Urbaniak, O., Schaefer, I., Vogel-Heuser, B.: Analyzing Variability in Automation Software with the Variability Analysis Toolkit. In Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B (SPLC ’19). Association for Computing Machinery, New York, NY, USA, 191–198. 2019.

Nieke, M., Hoff, A., Seidl, Ch.: Automated metamodel augmentation for seamless model evolution tracking and planning. In Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2019). Association for Computing Machinery, New York, NY, USA, 68–80. 2019.

Hinterreiter, D., Nieke, M., Linsbauer, L., Seidl, Ch., Prähofer, H., Grünbacher, P.: Harmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution. In Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2019). Association for Computing Machinery, New York, NY, USA, 115–128. 2019.

Schlie, A., Seidl, Ch., Schaefer, I.: Reengineering Variants of MATLAB/Simulink Software Systems. In Security and Quality in Cyber-Physical Systems Engineering. Springer International Publishing, 267-301. 2019.

Mendez Fernandez, D., Böhm, W., Vogelsang, A., Mund, J., Broy, M., Kuhrmann, M., Weyer, T.: Artefacts in software engineering: a fundamental positioning. Software & Systems Modeling, (2019), 1-10.

Petrovska, A.: Learning Approach for Smart Self-Adaptive Systems. 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2019.

Petrovska, A., Quijano, S., Gerostathopoulos, I., Pretschner, A.: Knowledge Aggregation with Subjective Logic in Multi-AgentSelf-Adaptive Cyber-Physical Systems. In 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 39-50. IEEE, 2019.

Marmsoler, D. Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. Proceedings Software Engineering und Software Management, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, Bonn 2019.

Marmsoler, D.: Composition in Dynamic Architectures based on Fixed Points in Lattices. International Colloquium on Theoretical Aspects of Computing, 2019.

Marmsoler, D.: Axiomatic Specification and Verification of Architectural Design Patterns using Interactive Theorem Proving. Dissertation. 2019.

Marmsoler D., Petrovska, A.: Detecting Architectural Erosion using Runtime Verification. 12th Interaction and Concurrency Experience (ICE), 2019.

Marmsoler, D.: “A Denotational Semantics for Dynamic Architectures”. Theoretical Aspects of Software Engineering. 2019.

Marmsoler, D., Kashay Gidey, H.: Interactive Verification of Architectural Design Patterns in FACTum. Formal Aspects of Computing. 2019.

Marmsoler, D., Blakqori, G.: APML: An Architecture Proof Modeling Language. 23rd International Symposium on Formal Methods, 2019.

Gerostathopoulos, I., Kugele, S., Segler, Ch., Bures, T., Knoll, A.: Automated Learnability Evaluation for Smart Automotive Software Functions. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019).

Gerostathopoulos, I. e.a.: Continuous Data-driven Software Engineering - Towards a Research Agenda. SIGSOFT Software Engineering Notes 44, 3 (November 2019), 60–64.

Stenkova, V., Brings, J., Daun, M., Weyer, Th.: Generic negative scenarios for the specification of collaborative cyber-physical systems. Int. Conf. on Conceptual Modeling, In: Proceedings of 38th Int. Conference on Conceptual Modeling (ER 2019): 412-419, 2019.

Brings, J., Daun, M.: Towards goal modeling and analysis for networks of collaborative cyber-physical systems. In: ER-Forum @ 38th Int. Conf. on Conceptual Modeling (ER), 2019, pp. 70-83.

Hildebrandt, C., Bandyszak, T., Petrovska, A., Laxman,N., Cioroaica,E., Törsleff, S.: EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups. SICS Software-Intensive Cyber-Physical Systems 34, no. 4: 177-190. 2019.

Unverdorben, S., Böhm, B., Lüder, A.: Industrie 4.0 – Architekturansätze und zugehörige Konzepte für konventionelle Produktionsanlagen / Industrie 4.0 – Architectural approaches and related concepts for conventional production systems. In: VDI - Verein Deutscher Ingenieure e.V. (Hg.) (2019): Automationskongress, Baden-Baden, 2019.

Meyer, M.-A.: 3D Multi-Vehicle Co-Simulation Framework For Testing of Cooperative Automated Driving Functions, FEV Simulation and Calibration Symposium 2019, Stuttgart