IPD - Lehrstuhl Tichy - Programmiersysteme

INDIRECT

Intent-driven Requirements-to-Code Traceability 

Beschreibung

Rückverfolgbarkeit von Anforderungen und Quelltext spielt eine große Rolle bei der Wartung und Pflege von Software. Sie ermöglicht weitergehende Analysen wie Änderungsauswirkungs- oder Wiederverwendbarkeitsanalyse. Allerdings ist das Erstellen dieser Information heute noch immer mit großem manuellem Aufwand verbunden. Daher fehlen Rückverfolgbarkeitsinformationen in den meisten Projekten. 
Aus diesem Grund entwickelt das IPD Tichy ein System zur automatisierten Erzeugung von Rückverfolgbarkeitsinformationen zwischen Quelltext und Anforderungen. Hierzu werden sowohl die in natürlicher Sprache vorliegenden Anforderungen als auch der Quelltext analysiert und in Graphen modelliert.

Teil des Forschungsgebiets
Titel

Veröffentlichungen


2021
An overview and a benchmark of active learning for outlier detection with one-class classifiers.
Trittenbach, H.; Englhardt, A.; Böhm, K.
2021. Expert systems with applications, 168, Art. Nr.: 114372. doi:10.1016/j.eswa.2020.114372
Efficient subspace search in data streams.
Fouché, E.; Kalinke, F.; Böhm, K.
2021. Information systems, 97, Art.-Nr. 101705. doi:10.1016/j.is.2020.101705
Modeling and Verifying Access Control for Ethereum Smart Contracts.
Reiche, F.; Schiffl, J.; Beckert, B.; Heinrich, R.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129607VolltextVolltext der Publikation als PDF-Dokument
Visit Places on YourWay: A Skyline Approach in Time-Dependent Networks.
Taghizadeh, S.; Elekes, A.; Schäler, M.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129375VolltextVolltext der Publikation als PDF-Dokument
Model-driven Quantification of Correctness with Palladio and KeY.
Reiche, F.; Schiffl, J.; Weigl, A.; Heinrich, R.; Beckert, B.; Reussner, R.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000128855VolltextVolltext der Publikation als PDF-Dokument
Enabling consistency in view-based system development - The Vitruvius approach.
Klare, H.; Kramer, M. E.; Langhammer, M.; Werle, D.; Burger, E.; Reussner, R.
2021. The journal of systems and software, 171, Article no: 110815. doi:10.1016/j.jss.2020.110815VolltextVolltext der Publikation als PDF-Dokument
Multi-paradigm modelling for cyber–physical systems: a descriptive framework.
Amrani, M.; Blouin, D.; Heinrich, R.; Rensink, A.; Vangheluwe, H.; Wortmann, A.
2021. Software and Systems Modeling. doi:10.1007/s10270-021-00876-zVolltextVolltext der Publikation als PDF-Dokument
Modeling Data Flow Constraints for Design-Time Confidentiality Analyses.
Hahner, S.; Seifermann, S.; Heinrich, R.; Walter, M.; Bures, T.; Hnetynka, P.
2021. Proceedings IEEE 18th International Conference on Software Architecture - Companion: ICSA-C 2021 ; 22 - 26 March 2021 ; virtual conference, 15–21, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C52384.2021.00009
Enabling Consistency between Software Artefacts for Software Adaption and Evolution.
Monschein, D.; Mazkatli, M.; Heinrich, R.; Koziolek, A.
2021. Proceedings IEEE 18th International Conference on Software Architecture: 22-26 March 2021 ; virtual conference, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA51549.2021.00009
Towards extraction of message-based communication in mixed-technology architectures for performance model.
Singh, S.; Kirschner, Y. R.; Koziolek, A.
2021. ICPE ’21: Companion of the ACM/SPEC International Conference on Performance Engineering, 133–138, Association for Computing Machinery (ACM). doi:10.1145/3447545.3451201
A Multivariate Characterization and Detection of Software Performance Antipatterns.
Avritzer, A.; Britto, R.; Trubiani, C.; Russo, B.; Janes, A.; Camilli, M.; Van Hoorn, A.; Heinrich, R.; Rapp, M.; Henß, J.
2021. ICPE ’21: Proceedings of the ACM/SPEC International Conference on Performance Engineering, 19-23 April 2021, Rennes, France (virtual), 61–72, Association for Computing Machinery (ACM). doi:10.1145/3427921.3450246
Generating artificial outliers in the absence of genuine ones - A survey.
Steinbuss, G.; Böhm, K.
2021. ACM Transactions on Knowledge Discovery from Data, 15 (2), Art.-Nr.: 30. doi:10.1145/3447822
Informatik 2020 - Back to the future : 28. September - 2. Oktober 2020 Karlsruhe, Deutschland.
Reussner, R. H.; Koziolek, A.; Heinrich, R. (Hrsg.).
2021. Gesellschaft für Informatik (GI)
Automatically extracting business level access control requirements from BPMN Models to align RBAC policies.
Pilipchuk, R.; Heinrich, R.; Reussner, R.
2021. Proceedings of the 7th International Conference on Information Systems Security and Privacy. Ed.: P. Mori, 300–307, SciTePress. doi:10.5220/0010184403000307
Accurate Cardinality Estimation of Co-occurring Words Using Suffix Trees.
Willkomm, J.; Schäler, M.; Böhm, K.
2021. Database Systems for Advanced Applications – 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part II. Ed.: C. Jensen, 721–737, Springer International Publishing. doi:10.1007/978-3-030-73197-7_50
Preserving secrecy in mobile social networks.
Suntaxi, G.; El Ghazi, A. A.; Böhm, K.
2021. ACM Transactions on Cyber-Physical Systems, 5 (1), 5. doi:10.1145/3396071
Scalable and data-aware SQL query recommendations.
Arzamasova, N.; Böhm, K.
2021. Information systems, 96, Art.-Nr.: 101646. doi:10.1016/j.is.2020.101646
How meaningful are similarities in deep trajectory representations?.
Taghizadeh, S.; Elekes, A.; Schäler, M.; Böhm, K.
2021. Information systems, 98, Article: 101452. doi:10.1016/j.is.2019.101452
2020
Architectural runtime models for integrating runtime observations and component-based models.
Heinrich, R.
2020. The journal of systems and software, 169, Art. Nr.: 110722. doi:10.1016/j.jss.2020.110722
Linking Software Architecture Documentation and Models. Masterarbeit.
Schulz, S.
2020, Oktober 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126194VolltextVolltext der Publikation als PDF-Dokument
On the Usefulness of SQL-Query-Similarity Measures to Find User Interests.
Arzamasova, N.; Bohm, K.; Goldman, B.; Saaler, C.; Schaler, M.
2020. IEEE transactions on knowledge and data engineering, 32 (10), 1982–1999. doi:10.1109/TKDE.2019.2913381
Does BERT Understand Code? – An Exploratory Study on the Detection of Architectural Tactics in Code.
Keim, J.; Kaplan, A.; Koziolek, A.; Mirakhorli, M.
2020. Software Architecture : 14th European Conference, ECSA 2020, L’Aquila, Italy, September 14–18, 2020, Proceedings. Ed.: A. Jansen, 220–228, Springer International Publishing. doi:10.1007/978-3-030-58923-3_15
Opportunities in intelligent modeling assistance.
Mussbacher, G.; Combemale, B.; Kienzle, J.; Abrahão, S.; Ali, H.; Bencomo, N.; Búr, M.; Burgueño, L.; Engels, G.; Jeanjean, P.; Jézéquel, J.-M.; Kühn, T.; Mosser, S.; Sahraoui, H.; Syriani, E.; Varró, D.; Weyssow, M.
2020. Software and systems modeling, 19 (5), 1045–1053. doi:10.1007/s10270-020-00814-5
Data-driven exploration and continuum modeling of dislocation networks.
Sudmanns, M.; Bach, J.; Weygand, D.; Schulz, K.
2020. Modelling and simulation in materials science and engineering, 28 (6), Art. Nr.: 065001. doi:10.1088/1361-651X/ab97efVolltextVolltext der Publikation als PDF-Dokument
Improving semantic change analysis by combining word embeddings and word frequencies.
Englhardt, A.; Willkomm, J.; Schäler, M.; Böhm, K.
2020. International journal on digital libraries, 21 (3), 247–264. doi:10.1007/s00799-019-00271-6
A Data-driven Approach for Estimating Relative Voltage Sensitivity.
Karrari, S.; Vollmer, M.; De Carne, G.; Noe, M.; Böhm, K.; Geisbüsch, J.
2020. IEEE Power & Energy Society General Meeting (PESGM 2020), 1–5, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/PESGM41954.2020.9281859VolltextVolltext der Publikation als PDF-Dokument
Design-Time Validation of Runtime Reconfiguration Strategies: An Environmental-Driven Approach.
Scheerer, M.; Rapp, M.; Reussner, R.
2020. 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems : ACSOS 2020 : virtual conference, 17-21 August 2020 : proceedings. Ed.: Esam El-Araby, 75–81, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ACSOS49614.2020.00028
NoRBERT: Transfer Learning for Requirements Classification.
Hey, T.; Keim, J.; Koziolek, A.; Tichy, W. F.
2020. 2020 IEEE 28th International Requirements Engineering Conference (RE), 169–179, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/RE48521.2020.00028
Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions.
Ordoni, E.; Mulle, J.; Bohm, K.
2020. 2020 IEEE 22nd Conference on Business Informatics (CBI), 22 - 24 June 2020, Antwerp, Belgium, Belgium, 181–190, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CBI49978.2020.00027
Towards Programming in Natural Language: Learning New Functions from Spoken Utterances.
Weigelt, S.; Steurer, V.; Hey, T.; Tichy, W. F.
2020. International journal of semantic computing, 14 (2), 249–272. doi:10.1142/S1793351X20400097
Privacy Measures and Storage Technologies for Battery-Based Load Hiding - an Overview and Experimental Study.
Arzamasov, V.; Schwerdt, R.; Karrari, S.; Böhm, K.; Nguyen, T. B.
2020. e-Energy ’20: Proceedings of the Eleventh ACM International Conference on Future Energy Systems, Melbourne, Australia, 22 - 26 June 2020, 178–195, Association for Computing Machinery (ACM). doi:10.1145/3396851.3398320
A Case Study for Networks of Bidirectional Transformations. Masterarbeit.
Sağlam, T.
2020, April 3. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000120806VolltextVolltext der Publikation als PDF-Dokument
Students implement the European Student Card.
Tichy, W.
2020. Ubiquity, 2020 (3), 1–9. doi:10.1145/3388701
User-Centric Active Learning for Outlier Detection. Dissertation.
Trittenbach, H.
2020, März 2. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000117443VolltextVolltext der Publikation als PDF-Dokument
26: Softwaretechnik II, Vorlesung, WS 2019/20, 05.02.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-104
14: Programmieren, Vorlesung, WS 2019/20, 05.02.2020.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-109
25: Softwaretechnik II, Vorlesung, WS 2019/20, 04.02.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-98
Context Classification in Dialog-Based Interaction.
Wachtel, A.; Eurich, F.; Fuchß, D.; Tichy, W. F.
2020. 14th IEEE International Conference on Semantic Computing : February 3-5, 2020, San Diego, CA : proceedings, 185–189, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSC.2020.00038
13: Programmieren, Vorlesung, WS 2019/20, 29.01.2020.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-80
24: Softwaretechnik II, Vorlesung, WS 2019/20, 29.01.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-79
23: Softwaretechnik II, Vorlesung, WS 2019/20, 28.01.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-74
22: Softwaretechnik II, Übung, WS 2019/20, 22.01.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-60
12: Programmieren, Vorlesung, WS 2019/20, 22.01.2020.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-59
21: Softwaretechnik II, Vorlesung, WS 2019/20, 21.01.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-56
11: Programmieren, Vorlesung, WS 2019/20, 15.01.2020.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-46
20: Softwaretechnik II, Vorlesung, WS 2019/20, 15.01.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-41
19: Softwaretechnik II, Vorlesung, WS 2019/20, 14.01.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-30
10: Programmieren, Vorlesung, WS 2019/20, 08.01.2020.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-10
09: Programmieren, Vorlesung, WS 2019/20, 18.12.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-9
18: Softwaretechnik II, Vorlesung, WS 2019/20, 08.01.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-3
17: Softwaretechnik II, Vorlesung, WS 2019/20, 07.01.2020.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2020. doi:10.5445/DIVA/2020-2
Bewegungsabhängiges Stabilisierungsunterstützungssystem [Patent].
Kuhn, E.; Kusmartsev, F.; Flad, M.; Hohmann, S.; Köpf, F.
2020
Mining text outliers in document directories.
Fouché, E.; Meng, Y.; Guo, F.; Zhuang, H.; Böhm, K.; Han, J.
2020. Proceedings 20th IEEE International Conference on Data Mining: 17-20 November 2020, Virtual Conference. Ed.: C. Plant, 152–161, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICDM50108.2020.00024
Active Learning of SVDD Hyperparameter Values.
Trittenbach, H.; Böhm, K.; Assent, I.
2020. 2020 IEEE 7th International Conference on Data Science and Advanced Analytics: 6-9 Ocotber 2020, Sydney, Australia. Ed.: G. Webb, 109–117, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DSAA49011.2020.00023
X-CEL: A Method to Estimate Near-Memory Acceleration Potential in Tile-Based MPSoCs.
Rheindt, S.; Fried, A.; Lenke, O.; Nolte, L.; Sabirov, T.; Twardzik, T.; Wild, T.; Herkersdorf, A.
2020. Architecture of Computing Systems – ARCS 2020 – 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings. Ed.: A. Brinkmann, 109–123, Springer International Publishing. doi:10.1007/978-3-030-52794-5_9
A conceptual model for unifying variability in space and time.
Ananieva, S.; Greiner, S.; Kühn, T.; Krüger, J.; Linsbauer, L.; Grüner, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Krieter, S.; Seidl, C.; Ramesh, S.; Reussner, R.; Westfechtel, B.
2020. SPLC ’20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 148–158, Association for Computing Machinery (ACM). doi:10.1145/3382025.3414955
Neverlang and FeatureIDE just married: integrated language product line development environment.
Favalli, L.; Kühn, T.; Cazzola, W.
2020. SPLC ’20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 193–204, Association for Computing Machinery (ACM). doi:10.1145/3382025.3414961
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns.
Bures, T.; Hnetynka, P.; Heinrich, R.; Seifermann, S.; Walter, M.
2020. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II. T. Margaria, 295–310, Springer Verlag. doi:10.1007/978-3-030-61470-6_18
Girl-friendly computer science classroom: Czechitas experience report.
Buhnova, B.; Happe, L.
2020. Software Architecture: 14th European Conference, ECSA 2020 Tracks and Workshops, L’Aquila, Italy, September 14–18, 2020, Proceedings. Ed.: H. Muccini, 125–137, Springer. doi:10.1007/978-3-030-59155-7_10
Optimizing parametric dependencies for incremental performance model extraction.
Voneva, S.; Mazkatli, M.; Grohmann, J.; Koziolek, A.
2020. Software Architecture: 14th European Conference, ECSA 2020 Tracks and Workshops, L’Aquila, Italy, September 14–18, 2020, Proceedings. Ed.: H. Muccini, 228–240, Springer. doi:10.1007/978-3-030-59155-7_17
Data stream operations as first-class entities in component-based performance models.
Werle, D.; Seifermann, S.; Koziolek, A.
2020. Software Architecture: 14th European Conference, ECSA 2020, L’Aquila, Italy, September 14–18, 2020, Proceedings. Ed.: A. Jansen, 148–164, Springer. doi:10.1007/978-3-030-58923-3_10
Context-Based Confidentiality Analysis for Industrial IoT.
Boltz, N.; Walter, M.; Heinrich, R.
2020. 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA51224.2020.00096
A Taxonomy of Dynamic Changes Affecting Confidentiality.
Walter, M.; Seifermann, S.; Heinrich, R.
2020. 11th Workshop Design For Future – Langlebige Softwaresysteme
Programming in Natural Language with fuSE : Synthesizing Methods from Spoken Utterances Using Deep Natural Language Understanding.
Weigelt, S.; Steurer, V.; Hey, T.; Tichy, W. F.
2020. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. Ed.: D. Jurafsky, 4280–4295, Association for Computational Linguistics. doi:10.18653/v1/2020.acl-main.395VolltextVolltext der Publikation als PDF-Dokument
Combining two worlds: Monetdb with multi-dimensional index structure support to efficiently query scientific data.
Blockhaus, P.; Broneske, D.; Schäler, M.; Köppen, V.; Saake, G.
2020. Scientific and Statistical Database Management: 32nd International Conference on Scientific and Statistical Database Management, SSDBM 2020, Virtual, 7th July - 9th July 2020. proceedings / Eds.: Elaheh Pourabbas, Dimitris Sacharidis, Kurt Stockinger, Thanasis Vergoulis, Art. Nr.: 3401691, Association for Computing Machinery (ACM). doi:10.1145/3400903.3401691
Worteinbettungen für die Anforderungsdomäne. Bachelorarbeit.
Telge, T.
2020. Karlsruher Institut für Technologie (KIT)
Multiwort-Bedeutungsauflösung bei Anforderungen. Bachelorarbeit.
Bartel, T.
2020
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.
Ullrich, S.; Moura, L. de.
2020. Automated Reasoning – 10th International Joint Conference [on Automated Reasoning], IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II. Ed.: N. Peltier, 167–182, Springer International Publishing. doi:10.1007/978-3-030-51054-1_10
Model-driven software engineering for construction engineering: Quo vadis?.
Götz, S.; Fehn, A.; Rohde, F.; Kühn, T.
2020. Journal of object technology, 19 (2), Art.-Nr.: 2. doi:10.5381/JOT.2020.19.2.A2VolltextVolltext der Publikation als PDF-Dokument
Finding the sweet spot: Batch selection for one-class active learning.
Englhardt, A.; Trittenbach, H.; Vetter, D.; Böhm, K.
2020. Proceedings of the 2020 SIAM International Conference on Data Mining. Ed.: C. Demeniconi, 118–126, SIAM. doi:10.1137/1.9781611976236.14
Exploring the unknown – Query synthesis in one-class active learning.
Englhardt, A.; Böhm, K.
2020. Proceedings of the 2020 SIAM International Conference on Data Mining. Ed.: C. Demeniconi, 145–153, SIAM. doi:10.1137/1.9781611976236.17
A Formal Approach to Prove Compatibility in Transformation Networks.
Klare, H.; Pepin, A.; Burger, E.; Reussner, R.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000121444VolltextVolltext der Publikation als PDF-Dokument
Incremental calibration of architectural performance models with parametric dependencies.
Mazkatli, M.; Monschein, D.; Grohmann, J.; Koziolek, A.
2020. IEEE 17th International Conference on Software Architecture (ICSA 2020); Salvador, Brazil, November 2-6, 2020, 23–34, IEEE Computer Society. doi:10.1109/ICSA47634.2020.00011
Using BERT for the Detection of Architectural Tactics in Code.
Keim, J.; Kaplan, A.; Koziolek, A.; Mirakhorli, M.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000121031VolltextVolltext der Publikation als PDF-Dokument
A framework for dependency estimation in heterogeneous data streams.
Fouché, E.; Mazankiewicz, A.; Kalinke, F.; Böhm, K.
2020. Distributed and parallel databases. doi:10.1007/s10619-020-07295-xVolltextVolltext der Publikation als PDF-Dokument
Lower Your Guards: A Compositional Pattern-Match Coverage Checker.
Graf, S.; Jones, S. P.; Scott, R. G.
2020. 25th ACM SIGPLAN International Conference on Functional Programming (2020), New Jersey, MI, USA, 24.–26. August 2020
Hybrid taint analysis for Java EE.
Loch, F. D.; Johns, M.; Hecker, M.; Mohr, M.; Snelting, G.
2020. Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1716–1725. doi:10.1145/3341105.3373887
Roger that! Learning How Laypersons Teach New Functions to Intelligent Systems.
Weigelt, S.; Steurer, V.; Hey, T.; Tichy, W. F.
2020. 14th IEEE International Conference on Semantic Computing : 3-5 February 2020, San Diego, California : proceedings, 93–100, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSC.2020.00020VolltextVolltext der Publikation als PDF-Dokument
Time-Efficient Analysis of Complex Dependencies. Dissertation.
Vollmer, M.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105784VolltextVolltext der Publikation als PDF-Dokument
Classifying Approaches for Constructing Single Underlying Models.
Meier, J.; Werner, C.; Klare, H.; Tunjic, C.; Aßmann, U.; Atkinson, C.; Burger, E.; Reussner, R.; Winter, A.
2020. Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019. Revised Selected Papers. Ed.: S. Hammoudi, 350–375, Springer Nature. doi:10.1007/978-3-030-37873-8_15
2019
16: Softwaretechnik II, Vorlesung, WS 2019/20, 18.12.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-1018
15: Softwaretechnik II, Übung, WS 2019/20, 11.12.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-994
08: Programmieren, Vorlesung, WS 2019/20, 11.12.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-992
14: Softwaretechnik II, Vorlesung, WS 2019/20, 10.12.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-982
12: Softwaretechnik II, Vorlesung, WS 2019/20, 03.12.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-951
13: Softwaretechnik II, Übung, WS 2019/20, 04.12.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-949
07: Programmieren, Vorlesung, WS 2019/20, 04.12.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-948
Active Learning of SVDD Hyperparameter Values.
Trittenbach, H.; Böhm, K.; Assent, I.
2019
06: Programmieren, Vorlesung, WS 2019/20, 27.11.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-927
11: Softwaretechnik II, Übung, WS 2019/20, 27.11.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-925
10: Softwaretechnik II, Vorlesung, WS 2019/20, 26.11.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-921
05: Programmieren, Vorlesung, WS 2019/20, 20.11.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-897
09: Softwaretechnik II, Vorlesung, WS 2019/20, 20.11.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-896
08: Softwaretechnik II, Vorlesung, WS 2019/20, 19.11.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-891
04: Programmieren, Vorlesung, WS 2019/20, 13.11.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-877
07: Softwaretechnik II, Übung, WS 2019/20, 13.11.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-875
06: Softwaretechnik II, Vorlesung, WS 2019/20, 12.11.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-848
03: Programmieren, Vorlesung, WS 2019/20, 06.11.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-837
05: Softwaretechnik II, Vorlesung, WS 2019/20, 06.11.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-835
04: Softwaretechnik II, Übung, WS 2019/20, 05.11.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-832
02: Programmieren, Vorlesung, WS 2019/20, 30.10.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-809
03: Softwaretechnik II, Vorlesung, WS 2019/20, 30.10.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-806
02: Softwaretechnik II, Vorlesung, WS 2019/20, 23.10.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-789
01: Softwaretechnik II, Vorlesung, WS 2019/20, 16.10.2019.
Reussner, R.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-788
01: Programmieren, Vorlesung, WS 2019/20, 23.10.2019.
Koziolek, A.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-787
Unsupervised Multi-Topic Labeling for Spoken Utterances.
Weigelt, S.; Keim, J.; Hey, T.; Tichy, W. F.
2019. 2019 IEEE International Conference on Humanized Computing and Communication (HCC), 38–45, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/HCC46620.2019.00014
25: Softwaretechnik I, Vorlesung und Übung, SS 2019, 26.07.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-717
24: Softwaretechnik 1,Vorlesung, SS 2019, 22.07.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-696
23: Softwaretechnik 1, Übung, SS 2019, 19.07.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-694
22: Softwaretechnik I, Vorlesung, SS 2019, 15.07.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-664
21: Softwaretechnik I, Vorlesung, SS 2019, 12.07.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-659
20: Softwaretechnik I, Vorlesung, SS 2019, 08.07.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-635
19: Softwaretechnik I, Übung, SS 2019, 05.07.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-627
18: Softwaretechnik I, Vorlesung, SS 2019, 01.07.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-603
17: Softwaretechnik I, Vorlesung, SS 2019, 28.06.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-599
A Categorization of Interoperability Issues in Networks of Transformations.
Klare, H.; Syma, T.; Burger, E.; Reussner, R.
2019. Journal of object technology, 18 (3), 4:1–20. doi:10.5381/jot.2019.18.3.a4VolltextVolltext der Publikation als PDF-Dokument
Efficient Evaluation of Multi-Column Selection Predicates in Main-Memory.
Broneske, D.; Koppen, V.; Saake, G.; Schaler, M.
2019. IEEE transactions on knowledge and data engineering, 31 (7), 1296–1311. doi:10.1109/TKDE.2018.2825349
16: Softwaretechnik I, Vorlesung, SS 2019, 24.06.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-572
15: Softwaretechnik I, Übung, SS 2019, 21.06.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-559
14: Softwaretechnik I, Vorlesung, SS 2019, 17.06.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-551
13: Softwaretechnik I, Vorlesung, SS 2019, 14.06.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-545
12: Softwaretechnik I, Übung, SS 2019, 07.06.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; Zentrum für Mediales Lernen (ZML) [Hrsg.].
2019. doi:10.5445/DIVA/2019-529
11: Softwaretechnik I, Vorlesung, SS 2019, 03.06.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-514
10: Softwaretechnik I, Vorlesung, SS 2019, 31.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-497
09: Softwaretechnik I, Vorlesung, SS 2019, 27.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-483
08: Softwaretechnik I, Übung, SS 2019, 24.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-476
07: Softwaretechnik I, Vorlesung, SS 2019, 20.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-413
06: Softwaretechnik I, Vorlesung, SS 2019, 17.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-377
05: Softwaretechnik I, Vorlesung, SS 2019, 13.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-343
04: Softwaretechnik I, Übung, SS 2019, 10.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-335
03: Softwaretechnik I, Vorlesung, SS 2019, 06.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-311
02: Softwaretechnik I, Vorlesung, SS 2019, 03.05.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-300
01: Softwaretechnik I, Vorlesung, SS 2019, 29.04.2019.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2019. doi:10.5445/DIVA/2019-279
Reducing energy time series for energy system models via self-organizing maps.
Yilmaz, H. Ü.; Fouché, E.; Dengiz, T.; Krauß, L.; Keles, D.; Fichtner, W.
2019. Information technology, 61 (2-3), 125–133. doi:10.1515/itit-2019-0025
Towards Consistency Checking Between Software Architecture and Informal Documentation.
Keim, J.; Koziolek, A.
2019. 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), Hamburg, 25.-29. März 2019, 250–253, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C.2019.00052
Search for hidden-photon dark matter with FUNK.
Andrianavalomahefa, A.; Daumiller, K.; Engel, R.; Mathes, H.-J.; Roth, M.; Schäfer, C.; Schwetz-Mangold, T.; Ulrich, R.; Veberic, D.; Döbrich, B.; Jaeckel, J.; Lindner, A.; Kowalski, M.; Redondo, J.
2019, März. DPG-Frühjahrstagung, Fachverband Teilchenphysik (2019), Aachen, Deutschland, 25.–29. März 2019
A practical data-flow verification scheme for business processes.
Mülle, J.; Tex, C.; Böhm, K.
2019. Information systems, 81, 136–151. doi:10.1016/j.is.2018.12.002
Dialog-Based Meaning Derivation Service for Technical Language Domains.
Wachtel, A.; Schulz, S.; Tichy, W. F.
2019. IEEE 13th International Conference on Semantic Computing (ICSC), Newport Beach; CA, United States; 30 January - 1 February 2019, 375–380, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICOSC.2019.8665513
Selective Lambda Lifting.
Graf, S.; Jones, S. P.
2019
NEMESYS: Near-Memory Graph Copy Enhanced System-Software.
Rheindt, S.; Fried, A.; Lenke, O.; Nolte, L.; Wild, T.; Herkersdorf, A.
2019. MEMSYS 2019 : proceedings of the International Symposium on Memory Systems : Washington DC, September 30 - October 3, 2019, 3–18, Association for Computing Machinery (ACM). doi:10.1145/3357526.3357545
Model Predictive Trajectory Planning for Automated Driving.
Yi, B.; Bender, P.; Bonarens, F.; Stiller, C.
2019. IEEE Transactions on Intelligent Vehicles, 4 (1), 24–38. doi:10.1109/TIV.2018.2886683
Approaching natural conversation chatbots by interactive dialogue modelling & microsoft LUIS.
Wachtel, A.; Fuchß, D.; Schulz, S.; Tichy, W. F.
2019. 2019 IEEE International Conference on Conversational Data & Knowledge Engineering (CDKE), 39–42, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CDKE46621.2019.00013
Modeling and Simulation of Load Balancing Strategies for Computing in High Energy Physics.
Caspart, R.; Firnkes, P.; Giffels, M.; Koziolek, A.; Quast, G.; Reussner, R.; Stemmer-Grabow, M.
2019. The European physical journal / Web of Conferences, 214, 03027. doi:10.1051/epjconf/201921403027VolltextVolltext der Publikation als PDF-Dokument
One-class active learning for outlier detection with multiple subspaces.
Trittenbach, H.; Böhm, K.
2019. CIKM ’19 Proceedings of the 28th ACM International Conference on Information and Knowledge Management, Beijing, China, November 3-7, 2019, 811–820, Association for Computing Machinery (ACM). doi:10.1145/3357384.3357873
Assessing the quality impact of features in component-based software architectures.
Busch, A.; Fuchß, D.; Eckert, M.; Koziolek, A.
2019. Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9-13, Proceedings. Ed.: T. Bures, 211–219, Springer. doi:10.1007/978-3-030-29983-5_14
Unsupervised Artificial Neural Networks for Outlier Detection in High-Dimensional Data.
Popovic, D.; Fouché, E.; Böhm, K.
2019. Advances in Databases and Information Systems: 23rd European Conference, ADBIS 2019, Bled, Slovenia, September 8–11, 2019, Proceedings. Ed.: T. Welzer, 3–19, Springer. doi:10.1007/978-3-030-28730-6_1
Infrastructure for modeling and analyzing the quality of software architectures.
Heinrich, R.; Koziolek, A.; Becker, S.; Reussner, R.
2019. Proceedings 2019 IEEE/ACM 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, ECASE 2019: 27 May 2019, Montréal, QC, Canada, 2–5, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ECASE.2019.00009
Understanding the effects of temporal energy-data aggregation on clustering quality.
Trittenbach, H.; Bach, J.; Böhm, K.
2019. Information technology, 61 (2-3), 111–123. doi:10.1515/itit-2019-0014
Validating one-class active learning with user studies – A prototype and open challenges.
Trittenbach, H.; Englhardt, A.; Böhm, K.
2019. IAL 2019 Interactive Adaptive Learning: Proceedings of the Workshop on Interactive Adaptive Learning co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2019), Würzburg, Germany, September 16th, 2019. Ed.: D. Kottke, 17–31 VolltextVolltext der Publikation als PDF-Dokument
How to Prepare an API for Programming in Natural Language.
Sebastian Weigelt; Mathias Landhäußer; Martin Blersch.
2019. SEMPDS 2019 - Posters and Demos at SEMANTiCS 2019 - Proceedings of the Posters and Demo Track of the 15th International Conference on Semantic Systems co-located with 15th International Conference on Semantic Systems (SEMANTiCS 2019), Karlsruhe, Germany, September 9th to 12th, 2019. Ed.: A. Mehwish, R. Usbeck, T. Pellegrini, H. Sack, Y. Sure-Vetter, 1–6, RWTH Aachen VolltextVolltext der Publikation als PDF-Dokument
Automatic generation of virtual assistants from databases using active ontologies.
Blersch, M.; Weigelt, S.; Tichy, W. F.; Angele, K.
2019. 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019; Hotel TivoliLisbon; Portugal; 10 July 2019 through 12 July 2019, 32–38, Knowledge Systems Institute Graduate School. doi:10.18293/SEKE2019-077
Learning from few samples: Lexical substitution with word embeddings for short text classification.
Elekes, Á.; Di Stefano, A. S.; Schäler, M.; Böhm, K.; Keller, M.
2019. 19th ACM/IEEE Joint Conference on Digital Libraries, JCDL 2019; Urbana-Champaign; United States; 2 June 2019 through 6 June 2019. Ed.: M. Bonn, 111–119, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/JCDL.2019.00025
Scaling multi-armed bandit algorithms.
Fouché, E.; Komiyama, J.; Böhm, K.
2019. 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD 2019; Anchorage; United States; 4 August 2019 through 8 August 2019, 1449–1459, Association for Computing Machinery (ACM). doi:10.1145/3292500.3330862
Efficient Interval-focused Similarity Search under Dynamic Time Warping.
Willkomm, J.; Bettinger, J.; Schäler, M.; Böhm, K.
2019. Proceedings of the 16th International Symposium on Spatial and Temporal Databases - SSTD ’19, 130–139, Association for Computing Machinery (ACM). doi:10.1145/3340964.3340969
Data-driven crack assessment based on surface measurements.
Schulz, K.; Kreis, S.; Trittenbach, H.; Böhm, K.
2019. Engineering fracture mechanics, 218, Article no: 106552. doi:10.1016/j.engfracmech.2019.106552
Towards Consistency Analysis Between Formal and Informal Software Architecture Artefacts.
Keim, J.; Schneider, Y.; Koziolek, A.
2019. Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 6–12, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ECASE.2019.00010
FOBSS: Monitoring data from a modular battery system.
Steinbuss, G.; Rzepka, B.; Bischof, S.; Blank, T.; Böhm, K.
2019. Proceedings of the Tenth ACM International Conference on Future Energy Systems - e-Energy ’19, Phoenix, AZ, USA, June 25 - 28, 2019, 456–459, Association for Computing Machinery (ACM). doi:10.1145/3307772.3331020
On Preserving Secrecy in Mobile Social Networks.
Suntaxi, G.; El Ghazi, A. A.; Böhm, K.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096955/v2VolltextVolltext der Publikation als PDF-Dokument
The Effect of Temporal Aggregation on Battery Sizing for Peak Shaving.
Werle, D.; Warzel, D.; Bischof, S.; Koziolek, A.; Trittenbach, H.; Böhm, K.
2019. Tenth ACM International Conference on Future Energy Systems (ACM e-Energy) and its co-located workshops, Phoenix, AZ, United States, 25th - 28th of June 2019, 482–485, Association for Computing Machinery (ACM). doi:10.1145/3307772.3331023
Energy Time-Series Features for Emerging Applications on the Basis of Human-Readable Machine Descriptions.
Vollmer, M.; Englhardt, A.; Trittenbach, H.; Bielski, P.; Karrari, S.; Böhm, K.
2019. Tenth ACM International Conference on Future Energy Systems (ACM e-Energy) and its co-located workshops, Phoenix, AZ, United States, 25th - 28th of June 2019, 474–481, Association for Computing Machinery (ACM). doi:10.1145/3307772.3331022
Hybrid Online Autotuning for Parallel Ray Tracing.
Herveau, K.; Pfaffe, P.; Tillmann, M. P.; Tichy, W. F.; Dachsbacher, C.
2019. Eurographics Symposium on Parallel Graphics and Visualization. Ed.: Hank Childs, The Eurographics Association. doi:10.2312/pgv.20191110
TCP-Inspired Congestion Avoidance for Cloud-IoT Applications.
Gotin, M.; Losch, F.; Reussner, R.
2019. Proceedings 2019 IEEE International Conference on Software Architecture Companion: ICSA-C 2019, 25-26 March 2019, Hamburg, 5–10, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C.2019.00009
PerOpteryx: Automated Improvement of Software Architectures.
Busch, A.; Fuchß, D.; Koziolek, A.
2019. IEEE International Conference on Software Architecture (ICSA 2019), Hamburg, 25.-29. März 2019. Tool Demo Track, 162–165. doi:10.1109/ICSA-C.2019.00036
Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019.
Krusche, S.; Schneider, K.; Kuhrmann, M.; Heinrich, R.; Jung, R.; Konersmann, M.; Schmieders, E.; Helke, S.; Schaefer, I.; Vogelsang, A.; Annighöfer, B.; Schweiger, A.; Reich, M.; Van Hoorn, A. (Hrsg.).
2019. RWTH Aachen
The Current State of the Holistic Privacy and Security Modelling Approach in Business Process and Software Architecture Modelling.
Alpers, S.; Pilipchuk, R.; Oberweis, A.; Ralf Reussner.
2019. Communications in computer and information science, 977, 109–124. doi:10.1007/978-3-030-25109-3_6
Efficient hierarchical online-autotuning – a case study on polyhedral accelerator mapping.
Pfaffe, P.; Grosser, T.; Tillmann, M.
2019. Proceedings of the ACM International Conference on Supercomputing - ICS ’19, Phoenix, Arizona — June 26 - 28, 2019, 354–366, Association for Computing Machinery (ACM). doi:10.1145/3330345.3330377
Data-driven software architecture for analyzing confidentiality.
Seifermann, S.; Heinrich, R.; Reussner, R.
2019. 2019 IEEE International Conference on Software Architecture (ICSA 2019), Hamburg, 25.-29. März 2019, Art. Nr.: 8703910, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA.2019.00009
INDIRECT: Intent-driven Requirements-to-code Traceability.
Hey, T.
2019. Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (ICSE ’19), Montreal, Quebec, Canada — May 25 - 31, 2019, 190–191, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSE-Companion.2019.00078
Iterative estimation of mutual information with error bounds.
Vollmer, M.; Böhm, K.
2019. 22nd International Conference on Extending Database Technology, EDBT 2019; Lisbon; Portugal; 26 March 2019 through 29 March 2019. Ed.: Z. Kaoudi, 73–84, OpenProceedings.org. doi:10.5441/002/edbt.2019.08VolltextVolltext der Publikation als PDF-Dokument
Tightly Secure Hierarchical Identity-Based Encryption.
Langrehr, R.; Pan, J.
2019. 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, PKC 2019; Beijing; China; 14 April 2019 through 17 April 2019. Ed.: D. Lin, 436–465, Springer. doi:10.1007/978-3-030-17253-4_15
Single underlying models for projectional, multi-view environments.
Meier, J.; Klare, H.; Tunjic, C.; Atkinson, C.; Burger, E.; Reussner, R.; Winter, A.
2019. 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prag, CZ, February 20-22, 2019. Ed.: S. Hammoudi, 119–130, SciTePress. doi:10.5220/0007396401190130
Applying metamodel-based tooling to object-oriented code.
Klare, H.; Saglam, T.; Burger, E.; Reussner, R.
2019. 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prag, CZ, February 20-22, 2019. Ed.: S. Hammoudi, 219–230, SciTePress. doi:10.5220/0007246202190230
Performance-influencing Factors for Parallel and Algorithmic Problems in Multicore Environments: Work-In-Progress Paper.
Frank, M.; Becker, S.; Kaplan, A.; Koziolek, A.
2019. 10th ACM/SPEC International Conference on Performance Engineering, ICPE 2019; Mumbai; India; 7 April 2019 through 11 April 2019, 21–24, Association for Computing Machinery (ACM). doi:10.1145/3302541.3313099
Frequent Observations from a Battery System with Subunits.
Steinbuß, G.; Rzepka, B.; Bischof, S.; Blank, T.; Böhm, K.
2019. doi:10.5445/IR/1000094469
NALIS: ein mehrmandantenfähiges natürlichsprachliches Dialogsystem für die Kundenbetreuung. Bachelorarbeit.
Wieland, C. L. R.
2019. Karlsruher Institut für Technologie (KIT)
Natural Language Data Queries on Multiple Heterogenous Data Sources.
Wachtel, A.; Fuchß, D.; Przybylla, M.; Tichy, W. F.
2019. End-User Development: 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings. Ed.: A. Malizia, 174–182, Springer. doi:10.1007/978-3-030-24781-2_13
On the Usefulness of SQL-Query-Similarity Measures to Find User Interests.
Arzamasova, N.; Böhm, K.; Goldman, B.; Saaler, C.; Schäler, M.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000093761VolltextVolltext der Publikation als PDF-Dokument
Evolving a use case for industry 4.0 environments towards integration of physical access control.
Seifermann, S.; Walter, M.
2019. 2019 Workshops of the Software Engineering Conference, SEW 2019; Stuttgart; Germany; 18 February 2019 through 22 February 2019. Ed.: M. Konersmann, 106–108, CEUR Workshop Proceedings
An extensible approach to implicit incremental model analyses.
Hinkel, G.; Heinrich, R.; Reussner, R.
2019. Software and systems modeling, 18 (5), 3151–3187. doi:10.1007/s10270-019-00719-y
2018
Detection of Control Structures in Spoken Utterances.
Weigelt, S.; Hey, T.; Steurer, V.
2018. International journal of semantic computing, 12 (3), 335–360. doi:10.1142/S1793351X18400159VolltextVolltext der Publikation als PDF-Dokument
10: Softwaretechnik 1, Übung, SS 2018, 18.05.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-612
A Cross-Disciplinary Language for Change Propagation Rules.
Busch, K.; Werle, D.; Loper, M.; Heinrich, R.; Reussner, R.; Vogel-Heuser, B.
2018. IEEE 14th International Conference on Automation Science and Engineering (CASE 2018), München, 20.-24. August 2018, 1099–1104, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/COASE.2018.8560364
A Methodology for Domain-Spanning Change Impact Analysis.
Heinrich, R.; Busch, K.; Koch, S.
2018. 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prague, CZ, August 29-31, 2018, 326–330, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA.2018.00060
26: Softwaretechnik 1, Vorlesung, SS 2018, 20.07.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-630
25: Softwaretechnik 1, Vorlesung, SS 2018, 16.07.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-628
24: Softwaretechnik 1, Vorlesung und Übung, SS 2018, 13.07.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-627
23: Softwaretechnik 1, Vorlesung, SS 2018, 09.07.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-626
22: Softwaretechnik 1, Vorlesung, SS 2018, 06.07.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-625
21: Softwaretechnik 1, Vorlesung, SS 2018, 02.07.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-624
20: Softwaretechnik 1, Übung, SS 2018, 29.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-623
19: Softwaretechnik 1, Vorlesung, SS 2018, 25.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-622
18: Softwaretechnik 1, Vorlesung, SS 2018, 22.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-621
17: Softwaretechnik 1, Vorlesung, SS 2018, 18.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-620
16: Softwaretechnik 1, Übung, SS 2018, 15.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-619
15: Softwaretechnik 1, Vorlesung, SS 2018, 11.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-618
14-02: Softwaretechnik 1, Vorlesung, SS 2018, 08.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-617
14: Softwaretechnik 1, Vorlesung, SS 2018, 04.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-616
13: Softwaretechnik 1, Übung, SS 2018, 01.06.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-615
12: Softwaretechnik 1, Vorlesung, SS 2018, 28.05.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-614
11: Softwaretechnik 1, Vorlesung, SS 2018, 25.05.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-613
09: Softwaretechnik 1, Vorlesung , SS 2018, 14.05.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-611
08: Softwaretechnik 1, Vorlesung, SS 2018, 11.05.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-610
07: Softwaretechnik 1, Vorlesung, SS 2018, 07.05.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-609
06: Softwaretechnik 1, Übung und Vorlesung, SS 2018, 04.05.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-607
05: Softwaretechnik 1, Vorlesung, SS 2018, 30.04.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-606
04: Softwaretechnik 1, Vorlesung, SS 2018, 27.04.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-605
03: Softwaretechnik 1, Vorlesung und Übung, SS 2018, 23.04.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-604
02: Softwaretechnik 1, Übung, SS 2018, 20.04.2018.
Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-603
01: Softwaretechnik 1, Vorlesung und Übung, SS 2018, 16.04.2018.
Tichy, W. F.; Weigelt, S.; Hey, T.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-602
Introduction to Milestones in Interactive Theorem Proving.
Avigad, J.; Blanchette, J. C.; Klein, G.; Paulson, L.; Popescu, A.; Snelting, G.
2018. Journal of automated reasoning, 61 (1-4), 1–8. doi:10.1007/s10817-018-9465-5
Cleaning Antipatterns in an SQL Query Log.
Arzamasova, N.; Schaler, M.; Bohm, K.
2018. IEEE transactions on knowledge and data engineering, 30 (3), 421–434. doi:10.1109/TKDE.2017.2772252
25: Softwaretechnik 2, Vorlesung, WS 2017/18, 06.02.2018.
Reussner, R.; Fütterling, S.; Klein, F.; KIT | Webcast [Hrsg.].
2018. doi:10.5445/DIVA/2018-165
Pattern-Based Heterogeneous Parallelization. Masterarbeit.
Böhm, L.
2018
A Parallelizing Compiler for Adaptive Auto-Tuning. Masterarbeit.
Kegelmann, T.
2018
Bestmmung eines Quartiers anhand von Positionsdaten. Bachelorarbeit.
Dornfeld, B.
2018
Tailored quality modeling and analysis of software-intensive systems.
Heinrich, R.
2018. 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), Redwood City, CA, July 1-3, 2018, 336–341, Knowledge Systems Institute. doi:10.18293/SEKE2018-020
Modeling and Simulation of Load Balancing Strategies for Computing in High Energy Physics.
Caspart, R.; Firnkes, P.; Giffels, M.; Koziolek, A.; Quast, G.; Reussner, R.; Stemmer-Grabow, M.
2018. CHEP 2018 - 23rd International Conference on Computing in High Energy and Nuclear Physics, Sofia, BG, July 9-13,2018. Ed.: P. Hristov, EDP Sciences
Considering Not-quantified Quality Attributes in an Automated Design Space Exploration.
Busch, A.; Koziolek, A.
2018. Software Engineering 2018 - Fachtagung des GI-Fachbereichs Softwaretechnik (SE 20108), Ulm, 06.-09. März 2018, Gesellschaft für Informatik (GI)
Automated Analysis of the Co-evolution of Software Systems and Business Processes.
Busch, K.; Heinrich, R.; Busch, A.; Reussner, R. H.
2018. Software Engineering und Software Management 2018, Ulm, 5.-9. März 2018. Hrsg.:M. Tichy, 159–160, Gesellschaft für Informatik (GI)
Rapid Testing of IaaS Resource Management Algorithms via Cloud Middleware Simulation.
Stier, C.; Domaschka, J.; Koziolek, A.; Krach, S.; Krzywda, J.; Reussner, R.
2018. Proceedings of the 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, 9.-13. April 2018, 184–191, Association for Computing Machinery (ACM). doi:10.1145/3184407.3184428
An approach to requirement analysis in automated production systems.
Maier, T.; Busch, K.; Reussner, R.
2018. 20. Workshop Software-Reengineering und -Evolution der GI-Fachgruppe Software-Reengineering (SRE) - 9. Workshop „Design for Future“des GI-Arbeitskreises „Langlebige Softwaresysteme“ (L2S2), Bad-Honnef, 02.-04. Mai 2018
Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018).
Stephan Krusche [Hrsg.]; Kurt Schneider [Hrsg.]; Marco Kuhrmann [Hrsg.]; Robert Heinrich [Hrsg.]; Reiner Jung [Hrsg.]; Marco Konersmann [Hrsg.]; Eric Schmieders [Hrsg.]; Michael Striewe [Hrsg.]; Sven Strickroth [Hrsg.]; Ulrike Lucke [Hrsg.]; Horst Lichter [Hrsg.]; Dirk Riehle [Hrsg.]; Andreas Steffens [Hrsg.]; Robert Höttger [Hrsg.]; Jörg Teßmer [Hrsg.]; Jan-Philipp Steghöfer [Hrsg.].
2018. CEUR Workshop Proceedings
Identifying Needs for a Holistic Modelling Approach to Privacy Aspects in Enterprise Software Systems.
Alpers, S.; Pilipchuk, R.; Oberweis, A.; Reussner, R.
2018. Proceedings of the 4th International Conference on Information Systems Security and Privacy (ICISSP 2018), Funchal, P, January 22-24, 2018. Ed.: P. Mori. Vol. 1, 74–82, SciTePress. doi:10.5220/0006606200740082
Investigating Performance Metrics for Scaling Microservices in CloudIoT-Environments.
Gotin, M.; Lösch, F.; Heinrich, R.; Reussner, R.
2018. 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, 09.-13. April 2018, 157–167, Association for Computing Machinery (ACM). doi:10.1145/3184407.3184430
A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation.
Busch, K.; Rätz, J.; Koch, S.; Heinrich, R.; Reussner, R.; Cha, S.; Seitz, M.; Vogel-Heuser, B.
2018. 44th Annual Conference of the IEEE Industrial Electronics Society (IECON 2018), Washington DC, October 20-23, 2018, 2949–2954, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IECON.2018.8591302
Predicting the Perceived Modularity of MOF-based Metamodels.
Hinkel, G.; Strittmatter, M.
2018. 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Funchal, P, January 22-24, 2018, 48–58, SciTePress
Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems.
Zimmermann, D.; Reussner, R. H.
2018. Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops,Toulouse, France, June 25–29, 2018. Ed.: M. Mazzara, 506–511, Springer Nature. doi:10.1007/978-3-030-04771-9_36
Programming in Natural Language: Building Algorithms from Human Descriptions.
Wachtel, A.; Eurich, F.; Tichy, W. F.
2018. ACHI 2018 : The Eleventh International Conference on Advances in Computer-Human Interactions, Rom, Italy, 25 - 29 March 2018. Ed.: B. Gersbeck-Schierholz, 51–59, Wilmington
Towards Concise Models of Grid Stability.
Arzamasov, V.; Böhm, K.; Jochem, P. E. P.
2018. 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018; Aalborg; Denmark; 29 October 2018 through 31 October 2018, Art. Nr.: 8587498, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SmartGridComm.2018.8587498
Towards Simulation-Data Science : A Case Study on Material Failures.
Trittenbach, H.; Gauch, M.; Böhm, K.; Schulz, K.
2018. IEEE 5th International Conference on Data Science and Advanced Analytics (DSAA), Turin, Italy, 1-3 Oct. 2018, 450–459, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DSAA.2018.00058
Efficient and Reliable Estimation of Cell Positions.
Cazzolato, M. T.; Traina, A. J. M.; Böhm, K.
2018. 27th ACM International Conference on Information and Knowledge Management, CIKM 2018; Torino; Italy; 22 October 2018 through 26 October 2018. Ed.: N. Paton, 1043–1052, Association for Computing Machinery (ACM). doi:10.1145/3269206.3271734
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode.
Hamann, T.; Herda, M.; Mantel, H.; Mohr, M.; Schneider, D.; Tasch, M.
2018. Secure IT Systems: 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018; Proceedings. Ed.: N. Gruschka, 437–453, Springer Nature. doi:10.1007/978-3-030-03638-6_27
Guidance of architectural changes in technical systems with varying operational modes.
Märtin, L.; Forjahn, N.-A.; Koziolek, A.; Reussner, R.
2018. Software Architecture: 12th European Conference on Software Architecture (ECSA 2018), Madrid, E, September 24-28, 2018; Proceedings. Ed.: C.E. Cuesta, 37–45, Springer Nature. doi:10.1007/978-3-030-00761-4_3
Using informal knowledge for improving software quality trade-off decisions.
Schneider, Y.; Busch, A.; Koziolek, A.
2018. Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018; Proceedings, 265–283, Springer Nature. doi:10.1007/978-3-030-00761-4_18
A collection of software engineering challenges for big data system development.
Hummel, O.; Eichelberger, H.; Giloj, A.; Werle, D.; Schmid, K.
2018. Euromicro Conference on Software Engineering and Advanced Applications 2018 (SEAA 2018), Prague, CZ, August 29-31, 2018. Ed.: T. Bures, 362–369, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA.2018.00066
Categories of change triggers in business processes.
Kaplan, A.; Busch, K.; Koziolek, A.; Heinrich, R.
2018. Euromicro Conference on Software Engineering and Advanced Applications 2018 (SEAA 2018), Prague, CZ, August 29-31, 2018. Ed.: T. Bures, 252–259, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA.2018.00049
A Feature-based Survey of Model View Approaches.
Bruneliere, H.; Burger, E.; Cabot, J.; Wimmer, M.
2018. the 21th ACM/IEEE International Conference, Copenhagen, Denmark, 14–19 October 2018, 211, Association for Computing Machinery (ACM). doi:10.1145/3239372.3242895
A model-based approach for build avoidance.
Neumann, M.; Busch, K.; Heinrich, R.
2018. 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), Redwood City, CA, July 1-3, 2018, 104–109, KSI. doi:10.18293/SEKE2018-030
Multi-model consistency preservation.
Klare, H.
2018. 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018; Copenhagen; Denmark; 14 October 2018 through 19 October 2018, 156–161, Association for Computing Machinery (ACM). doi:10.1145/3270112.3275335
Modularizing and layering metamodels with the modular EMF designer.
Kechaou, A.; Strittmatter, M.
2018. 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, DK, October 14-19, 2018, 32–36, Association for Computing Machinery (ACM). doi:10.1145/3270112.3270119
An equal opportunity concept for the coordinated research effort AESC.
Koziolek, A.; Sanders, P.; Wagner, D.
2018. 12th European Conference on Software Architecture, ECSA 2018; Madrid; Spain; 24 September 2018 through 28 September 2018, Art. Nr.: a16, Association for Computing Machinery (ACM). doi:10.1145/3241403.3241421
In-database analytics with ibmdbpy.
Fouché, E.; Eckert, A.; Böhm, K.
2018. 30th International Conference on Scientific and Statistical Database Management, SSDBM 2018; Bolzano-Bozen; Italy; 9 July 2018 through 11 July 2018. Ed.: M. Bohlen, Art. Nr.: 31, Association for Computing Machinery (ACM). doi:10.1145/3221269.3223026
Illi Isabellistes Se Custodes Egregios Praestabant.
Bischof, S.; Breitner, J.; Lohner, D.; Snelting, G.
2018. Principled Software Development – Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Ed.: P. Müller, 267–282, Springer International Publishing. doi:10.1007/978-3-319-98047-8_17
Aligning Business Process Access Control Policies with Enterprise Architecture.
Pilipchuk, R.; Seifermann, S.; Heinrich, R.
2018. Proceedings of the Central European Cybersecurity Conference 2018 (CECC 2018), Ljubljana, SLO, November 15-16, 2018, Article no 17, Association for Computing Machinery (ACM). doi:10.1145/3277570.3277588
Modeling of dynamic trust contracts for industry 4.0 systems.
Al-Ali, R.; Heinrich, R.; Hnetynka, P.; Juan-Verdejo, A.; Stephan Seifermann; Walter, M.
2018. Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings (ECSA 2018), Madrid, E, September 24-28, 2018, 45:1–45:4, Association for Computing Machinery (ACM). doi:10.1145/3241403.3241450
Architecture-based change impact analysis in cross-disciplinary automated production systems.
Heinrich, R.; Koch, S.; Cha, S.; Busch, K.; Reussner, R.; Vogel-Heuser, B.
2018. The journal of systems and software, 146, 167–185. doi:10.1016/j.jss.2018.08.058
Towards a metamodel for modular simulation environments.
Koch, S.; Reiche, F.; Heinrich, R.
2018. ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Kopenhagen, DK, October 14-19, 2018. Ed.: R. Hebig
Integrating semantically-related legacy models in vitruvius.
Mazkatli, M.; Burger, E.; Quante, J.; Koziolek, A.
2018. 10th ACM/IEEE International Workshop on Modelling in Software Engineering, MiSE 2018; Gothenburg; Sweden; 27 May 2018 through 28 May 2018, 41–48, Association for Computing Machinery (ACM). doi:10.1145/3193954.3193961
Identifying Microservices Using Functional Decomposition.
Tyszberowicz, S.; Heinrich, R.; Liu, B.; Liu, Z.
2018. 4th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2018), Beijing, CHN, September 4-6, 2018, 50–65, Springer. doi:10.1007/978-3-319-99933-3_4
An Empirical Study on the Current and Future Challenges of Automotive Software Release and Configuration Management.
Guissouma, H.; Klare, H.; Sax, E.; Burger, E.
2018. Euromicro Conference on Software Engineering and Advanced Applications 2018 (SEAA 2018), Prague, CZ, August 29-31, 2018. Ed.: T. Bures, 298–305, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA.2018.00056
Synthesizing an instruction selection rule library from semantic specifications.
Buchwald, S.; Fried, A.; Hack, S.
2018. CGO’18, Vienna, Austria, February 24-28, 2018, 300–313, Association for Computing Machinery (ACM). doi:10.1145/3168821
Refinements and structural decompositions in generated code.
Hinkel, G.; Busch, K.; Heinrich, R.
2018. 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Funchal, P, January 22-24, 2018, 303–310, SciTePress
Continuous integration of performance model.
Mazkatli, M.; Koziolek, A.
2018. 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018) Berlin, 9.-13. April 2018, 153–158, Association for Computing Machinery (ACM). doi:10.1145/3185768.3186285
Diagnosis of privacy and performance problems in the context of mobile applications.
Monschein, D.; Heinrich, R.; Heger, C.
2018. 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, 9.-13. April 2018, 167–172, Association for Computing Machinery (ACM). doi:10.1145/3185768.3186283
Beweisbare Privatheitsgarantien durch den Einsatz wiederaufladbarer Energiespeicher.
Laforet, F.; Buchmann, E.; Böhm, K.
2018. Ideen und Innovationen für die Energie von morgen : Wissenschaftliche Beiträge des KIT zu den Jahrestagungen 2014, 2016 und 2017 des KIT-Zentrums Energie. Hrsg.: W. Breh, 43–44, KIT Scientific Publishing. doi:10.5445/IR/1000085362VolltextVolltext der Publikation als PDF-Dokument
An Overview and a Benchmark of Active Learning for One-Class Classification.
Trittenbach, H.; Englhardt, A.; Böhm, K.
2018. arXiv preprint 1808.04759
Towards Meaningful Distance-preserving Encryption.
Tex, C.; Schäler, M.; Böhm, K.
2018. 30th International Conference on Scientific and Statistical Database Management (SSDBM), Bozen-Bolzano, Italy, July 9 - 11, 2018, Artikel-Nr.: 2/1–12, Association for Computing Machinery (ACM). doi:10.1145/3221269.3223029
Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems.
Al-Ali, R.; Bures, T.; Hartmann, B.-O.; Havlik, J.; Heinrich, R.; Hnetynka, P.; Juan-Verdejo, A.; Parizek, P.; Seifermann, S.; Walter, M.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000085169VolltextVolltext der Publikation als PDF-Dokument
On the Tradeoff between Energy Data Aggregation and Clustering Quality.
Trittenbach, H.; Bach, J.; Böhm, K.
2018. 9th ACM International Conference on Future Energy Systems (ACM e-Energy), Karlsruhe, June 12-15,2018
Functional decomposition for software architecture evolution.
Faitelson, D.; Heinrich, R.; Tyszberowicz, S.
2018. 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017; Porto; Portugal; 19 February 2017 through 21 February 2017. Ed.: B. Selic, 377–400, Springer. doi:10.1007/978-3-319-94764-8_16
HIPE – An energy-Status-Data set from industrial production.
Bischof, S.; Trittenbach, H.; Vollmer, M.; Werle, D.; Blank, T.; Böhm, K.
2018. 9th ACM International Conference on Future Energy Systems, e-Energy 2018; Karlsruhe; Germany; 12 June 2018 through 15 June 2018, 599–603, Association for Computing Machinery (ACM). doi:10.1145/3208903.3210278
PrivEnergy – A privacy operator framework addressing individual concerns.
Tex, C.; Hertweck, P.; Schäler, M.; Böhm, K.
2018. 9th ACM International Conference on Future Energy Systems, e-Energy 2018; Karlsruhe; Germany; 12 June 2018 through 15 June 2018, 426–428, Association for Computing Machinery (ACM). doi:10.1145/3208903.3212048
On the tradeoff between energy data aggregation and clustering quality.
Trittenbach, H.; Bach, J.; Böhm, K.
2018. 9th ACM International Conference on Future Energy Systems, e-Energy 2018; Karlsruhe; Germany; 12 June 2018 through 15 June 2018, 399–401, Association for Computing Machinery (ACM). doi:10.1145/3208903.3212038
Low-deterministic security for low-nondeterministic programs.
Bischof, S.; Breitner, J.; Graf, J.; Hecker, M.; Mohr, M.; Snelting, G.
2018. Journal of computer security, 26, 335–366. doi:10.3233/JCS-17984
Early Studies of Conditionals in Programming Languages.
Tichy, W. F.
2018. Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061), Wadern-Dagstuhl, 4.-9. Februar 2018. Hrsg.: A. Stefik, 12–13, Leibnitz-Zentrum fuer Informatik
The palladio-bench for modeling and simulating software architectures.
Heinrich, R.; Werle, D.; Klare, H.; Reussner, R.; Kramer, M.; Becker, S.; Happe, J.; Koziolek, H.; Krogmann, K.
2018. 40th ACM/IEEE International Conference on Software Engineering (ICSE 2018), Gothenburg, S, May 27 June 3, 2018, 37–40, Association for Computing Machinery (ACM). doi:10.1145/3183440.3183474
On the Influence of Metamodel Design to Analyses and Transformations.
Hinkel, G.; Burger, E.
2018. Modelling Foundations and Applications : 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. Ed.: A. Pierantonio, 63–79, Springer International Publishing. doi:10.1007/978-3-319-92997-2_5
An Industry 4.0 Case Study: The Integration of CoCoME and xPPU.
Biczok, R.; Busch, K.; Heinrich, R.; Reussner, R.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000084283VolltextVolltext der Publikation als PDF-Dokument
Concern-oriented language development (COLD): Fostering reuse in language engineering.
Combemalee, B.; Kienzle, J.; Mussbacher, G.; Barais, O.; Bousse, E.; Cazzola, W.; Collet, P.; Degueule, T.; Heinrich, R.; Jézéquel, J.-M.; Leduc, M.; Mayerhofer, T.; Mosser, S.; Schöttle, M.; Strittmatter, M.; Wortmann, A.
2018. Computer languages, systems and structures, 54, 139–155. doi:10.1016/j.cl.2018.05.004
A Query Algebra for Temporal Text Corpora.
Willkomm, J.; Schmidt-Petri, C.; Schäler, M.; Schefczyk, M.; Böhm, K.
2018. Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, Fort Worth, TX, June 3-7, 2018, 183–192, Association for Computing Machinery (ACM). doi:10.1145/3197026.3197044
Dimension-based subspace search for outlier detection.
Trittenbach, H.; Böhm, K.
2018. International Journal of Data Science and Analytics. doi:10.1007/s41060-018-0137-7
Exploiting subspace distance equalities in Highdimensional data for knn queries.
Schäler, M.; Broneske, D.; Köpen, V.; Saake, G.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000083093VolltextVolltext der Publikation als PDF-Dokument
Distance-based data mining over encrypted data.
Tex, C.; Schäler, M.; Böhm, K.
2018. Proceedings of the 34th IEEE International Conference on Data Engineering, Paris, F, 16-19 avril 2018, 1264–1267, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICDE.2018.00126VolltextVolltext der Publikation als PDF-Dokument
Detection of Conditionals in Spoken Utterances.
Weigelt, S.; Hey, T.; Steurer, V.
2018. 12th IEEE International Conference on Semantic Computing (ICSC 2018), Laguna Hills, California, 31st January - 2nd February 2018, 85–92, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSC.2018.00021
Challenges in Modularization of Discrete Event Simulations.
Koch, S.
2018. Software Engineering Workshops 2018, SE-WS 2018, Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018) : EMLS 2018: 5th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems, Ulm, Germany, 6th March 2018. Ed.: S. Krusche, 43–46, CEUR Workshop Proceedings
Variants and Versions Management for Models with Integrated Consistency Preservation.
Ananieva, S.; Klare, H.; Burger, E.; Reussner, R.
2018. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018), Madrid, E, February 7-9, 2018, 3–10, Association for Computing Machinery (ACM). doi:10.1145/3168365.3168377
Poster: Autotuning PostgreSQL: A blueprint for successful autotuning of real-world applications.
Karcher, T.; Landhäußer, M.
2018. Proceedings of the 40th International Conference on Software Engineering : compainion proceedings, ICSE, Gothenburg, Sweden, May 27 - 3 June 2018, 436–437, Association for Computing Machinery (ACM). doi:10.1145/3183440.3195045
Comparing Predictions of Object Movements.
Taghizadeh, S.; Schäler, M.; Böhm, K.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000081005VolltextVolltext der Publikation als PDF-Dokument
Shallow Water Waves on a Deep Technology Stack : Accelerating a Finite Volume Tsunami Model Using Reconfigurable Hardware in Invasive Computing.
Pöppl, A.; Damschen, M.; Schmaus, F.; Fried, A.; Mohr, M.; Blankertz, M.; Bauer, L.; Henkel, J.; Schröder-Preikschat, W.; Bader, M.
2018. Euro-Par 2017 : Parallel Processing International Workshops, Revised Selected Papers, Santiago de Compostela, Spain, 28th - 29th August 2017. Ed.: D. B. Heras, 676–687, Springer. doi:10.1007/978-3-319-75178-8_54
Semi-Automatic Generation of Active Ontologies from Web Forms for Intelligent Assistants.
Blersch, M.; Landhäußer, M.; Mayer, T.
2018. 6th ACM/IEEE International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018; Gothenburg; Sweden; 27 May 2018 through, 28–34, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/3194104.3194108
Integrating a Dialog Component into a Framework for Spoken Language Understanding.
Weigelt, S.; Hey, T.; Landhäußer, M.
2018. RAISE’18: IEEE/ACM 6th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, Gothenburg, Sweden, May 27th 2018. doi:10.1145/3194104.3194105
Eine Architektur für Programmsynthese aus natürlicher Sprache.
Landhäußer, M.
2018. Ausgezeichnete Informatikdissertationen 2016. Hrsg.: S. Hölldobler, 179–188, Köllen Druck+Verlag GmbH VolltextVolltext der Publikation als PDF-Dokument
Autotuning PostgreSQL : A Blueprint for Successful Autotuning of Real-World Applications.
Karcher, T.; Landhäußer, M.
2018. 40th International Conference on Software Engineering (2018), Göteborg, Schweden, 27. Mai–3. Juni 2018
Towards Simulation-Data Science : A Case Study on Material Failures.
Trittenbach, H.; Gauch, M.; Böhm, K.; Schulz, K.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000079420VolltextVolltext der Publikation als PDF-Dokument
2017
Architecture-driven reduction of specification overhead for verifying confidentiality in component-based software systems.
Yurchenko, K.; Behr, M.; Klare, H.; Kramer, M.; Reussner, R.
2017. ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, September 17-22, 2017. Ed.: L. Burgueño, 321–323, CEUR Workshop Proceedings
Context Model Acquisition from Spoken Utterances.
Weigelt, S.; Hey, T.; Tichy, W. F.
2017. International journal of software engineering and knowledge engineering, 27 (9-10), 1439–1453. doi:10.1142/S0218194017400058VolltextVolltext der Publikation als PDF-Dokument
Programming Spreadsheets in Natural Language: Design of a Natural Language User Interface.
Wachtel, A.; Eurich, F.; Tichy, W. F.
2017. International Journal on Advances in Software[[Elektronische Ressource]], 10 (3-4), 286–295
05: Softwaretechnik 2, Vorlesung, WS 2017/18, 08.11.2017.
Reussner, R.; Bechtold, M.; Mandel, S.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-617
A Declarative Language for Preserving Consistency of Multiple Models. Bachelorarbeit.
Gleitze, J.
2017, Oktober 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000076905VolltextVolltext der Publikation als PDF-Dokument
Smart Grid Topologies Paving the Way for an Urban Resilient Continuity Management.
Ottenburger, S. S.; Münzberg, T.; Strittmatter, M.
2017. International Journal of Information Systems for Crisis Response and Management, 9 (4), 1–22. doi:10.4018/IJISCRAM.2017100101
Wissensbasierte Identifikation von Wertebereichen einer aktiven Ontologie. Bachelorarbeit.
Makhotsin, Y.
2017, September 8. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080546VolltextVolltext der Publikation als PDF-Dokument
How to Quantify the Impact of Lossy Transformations on Event Detection.
Efros, P.; Buchmann, E.; Englhardt, A.; Böhm, K.
2017. Big Data Research, 9, 84–97. doi:10.1016/j.bdr.2017.02.001
26: Softwaretechnik 1, Vorlesung, SS 2017, 28.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-484
25: Softwaretechnik 1, Vorlesung, SS 2017, 24.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-452
24: Softwaretechnik 1, Übung, SS 2017, 21.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-451
23: Softwaretechnik 1, Vorlesung, SS 2017, 17.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-439
22: Softwaretechnik 1, Vorlesung, SS 2017, 14.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-430
21: Softwaretechnik 1, Vorlesung, SS 2017, 10.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-411
20: Softwaretechnik 1, Übung, SS 2017, 07.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-405
19: Softwaretechnik 1, Vorlesung, SS 2017, 03.07.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-402
18: Softwaretechnik 1, Vorlesung, SS 2017, 30.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-391
17: Softwaretechnik 1, Vorlesung, SS 2017, 26.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-384
16: Softwaretechnik 1, Übung, SS 2017, 23.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-383
15: Softwaretechnik 1, Vorlesung, SS 2017, 19.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-344
14: Softwaretechnik 1, Vorlesung, SS 2017, 16.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-342
13: Softwaretechnik 1, Vorlesung, SS 2017, 12.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-330
12: Softwaretechnik 1, Übung, SS 2017, 09.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-320
11: Softwaretechnik 1, Vorlesung, SS 2017, 02.06.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-305
10: Softwaretechnik 1, Vorlesung, SS 2017, 29.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-300
09: Softwaretechnik 1, Übung, SS 2017, 26.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-279
08: Softwaretechnik 1, Vorlesung, SS 2017, 22.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-262
07: Softwaretechnik 1, Vorlesung, SS 2017, 19.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-255
06: Softwaretechnik 1, Vorlesung, SS 2017, 15.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-241
05: Softwaretechnik 1, Übung, SS 2017, 12.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-231
04: Softwaretechnik 1, Vorlesung, SS 2017, 08.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-225
03: Softwaretechnik 1, Vorlesung, SS 2017, 05.05.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-212
02: Softwaretechnik 1, Vorlesung, SS 2017, 28.04.2017.
Tichy, W. F.; Weigelt, S.; Blersch, M.; Hey, T.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-173
01: Softwaretechnik 1, Vorlesung, SS 2017, 24.04.2017.
Tichy, W. F.; Weigelt, S.; Hey, T.; Blersch, M.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-170
Softwaretechnik II, Vorlesung, WS 2016/17, 13.12.2016, 14-02.
Koziolek, A.; Reussner, R.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-28
Softwaretechnik II, Vorlesung, WS 2016/17, 08.11.2016, 05-02.
Kramer, M. E.; Reussner, R.; KIT | Webcast [Hrsg.].
2017. doi:10.5445/DIVA/2017-27
Minimal Static Single Assignment Form.
Wagner, M.; Lohner, D.
2017. Archive of Formal Proofs
Der Grader Praktomat.
Breitner, J.; Hecker, M.; Snelting, G.
2017. Automatisierte Bewertung in der Programmierausbildung. Hrsg.: O. Bott, 159–172, Waxmann Verlag
A Metaprogramming Framework for Formal Verification.
Ebner, G.; Ullrich, S.; Roesch, J.; Avigad, J.; Moura, L. de.
2017. Proceedings of the ACM on programming languages, 1, Article No.: 34. doi:10.1145/3110278
Automotive Systems Modelling with Vitruvius.
Mazkatli, M.; Burger, E.; Koziolek, A.; Reussner, R. H.
2017. INFORMATIK 2017. Tagung, Chemnitz, 25.- 29. September 2017. Hrsg.: M. Eibl, 1487–1498, Gesellschaft für Informatik (GI). doi:10.18420/in2017_148
Reconstructing Development Artifacts for Change Impact Analysis.
Rostami, K.; Langhammer, M.; Busch, A.; Gleitze, J.; Heinrich, R.; Reussner, R.
2017. 19. Workshop Software-Reengineering & Evolution, Bad Honnef, 08.-10.05.2017
Reference Scenarios for Self-aware Computing.
Kephart, J. O.; Maggio, M.; Diaconescu, A.; Giese, H.; Hoffmann, H.; Kounev, S.; Koziolek, A.; Lewis, P.; Robertsson, A.; Spinner, S.
2017. Self-Aware Computing Systems. Ed.: S. Kounev, 87–106, Springer International Publishing. doi:10.1007/978-3-319-47474-8_4
Considering Transient Effects of Self-Adaptations in Model-Driven Performance Analyses.
Stier, C.; Koziolek, A.
2017. Software Engineering 2017: Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2017), Hannover, 21.-24. Februar 2017. Hrsg.: J. Jürjens, 99–100, Gesellschaft für Informatik (GI)
Assessing Self-awareness.
Esterle, L.; Bellman, K. L.; Becker, S.; Koziolek, A.; Landauer, C.; Lewis, P.
2017. Self-Aware Computing Systems. Ed.: S. Kounev, 465–481, Springer International Publishing. doi:10.1007/978-3-319-47474-8_15
An Architectural Model-Based Approach to Quality-Aware DevOps in Cloud Applicationsc.
Heinrich, R.; Jung, R.; Zirkelbach, C.; Hasselbring, W.; Reussner, R.
2017. Software Architecture for Big Data and the Cloud. Ed.: I. Mistrik, 69–89, Elsevier
Change Impact Analysis by Ar chitectur e-based Assessment and Planning.
Rostami, K.; Stammel, J.; Heinrich, R.; Reussner, R.
2017. Software Engineering 2017: Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2017), Hannover, 21.-24. Februar 2017. Hrsg.: J. Jürjens, 69–70, Gesellschaft für Informatik (GI)
RIFL 1.1: A Common Specification Language for Information-Flow Requirements.
Bauereiß, T.; Greiner, S.; Herda, M.; Kirsten, M.; Li, X.; Mantel, H.; Mohr, M.; Perner, M.; Schneider, D.; Tasch, M.
2017. TU Darmstadt VolltextVolltext der Publikation als PDF-Dokument
Defining a Security-Oriented Evolution Scenario for the CoCoME Case Study.
Pilipchuk, R.; Seifermann, S.; Taspolatoglu, E.
2017. 4nd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS’17), Hannover, 21. Februar 2017, 70–73, Universität Duisburg-Essen
Supporting software architecture evolution by functional decomposition.
Faitelson, D.; Heinrich, R.; Tyszberowicz, S. S.
2017. MODELSWARD 2017 : Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, Porto, P, February 19-21, 2017. Ed.: L. Pires. Vol. 1, 435–442, SciTePress. doi:10.5220/0006206204350442
On using sarkar metrics to evaluate the modularity of metamodels.
Hinkel, G.; Strittmatter, M.
2017. MODELSWARD 2017 : proceedings of the 5th International Conference on Model-Driven Engineering and Software Development : Porto, P, February 19-21, 2017. Ed.: L. Pires, 253–260, SciTePress. doi:10.5220/0006105502530260
Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools.
Klare, H.; Burger, E.; Kramer, M.; Langhammer, M.; Saglam, T.; Reussner, R.
2017. ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, September 17-22, 2017, 221–228, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS.2017.30
Automatic Evaluation of Complex Design Decisions in Component-based Software Architectures.
Scheerer, M.; Busch, A.; Koziolek, A.
2017. MEMOCODE ’17 : Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, 29th September - 2nd October 2017, 67–76, Association for Computing Machinery (ACM). doi:10.1145/3127041.3127059
Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems.
Kramer, M. E.; Hecker, M.; Greiner, S.; Bao, K.; Yurchenko, K.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000076957VolltextVolltext der Publikation als PDF-Dokument
Maintenance effort estimation with KAMP4aPS for cross-disciplinary automated PLC-based Production Systems - a collaborative approach.
Vogel-Heuser, B.; Heinrich, R.; Cha, S.; Rostami, K.; Ocker, F.; Koch, S.; Reussner, R.; Ziegltrum, S.
2017. IFAC-PapersOnLine, 50 (1), 4360–4367. doi:10.1016/j.ifacol.2017.08.877
A feature-based survey of model view approaches.
Brunelière, H.; Burger, E.; Cabot, J.; Wimmer, M.
2017. Software and systems modeling, 1–22. doi:10.1007/s10270-017-0622-9
Deriving Power Models for Architecture-Level Energy Efficiency Analyses.
Stier, C.; Werle, D.; Koziolek, A.
2017. Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, 7th - 8th September 2017. Ed.: P. Reinecke, 214–229, Springer International Publishing. doi:10.1007/978-3-319-66583-2_14
Modular verification of information flow security in component-based systems.
Greiner, S.; Mohr, M.; Beckert, B.
2017. 15th IEEE International Conference on Software Engineering and Formal Methods, Trento, Italy, 4th - 8th September 2017. Ed.: A. Cimatti, 300–315, Springer. doi:10.1007/978-3-319-66197-1_19
Change propagation and bidirectionality in internal transformation DSLs.
Hinkel, G.; Burger, E.
2017. Software and systems modeling, 1–30. doi:10.1007/s10270-017-0617-6
On the Various Semantics of Similarity in Word Embedding Models.
Elekes, A.; Schäler, M.; Böhm, K.
2017. 2017 ACM/IEEE Joint Conference on Digital Libraries (JCDL), Toronto, Ontario, CND, June 19-23rd, 2017, 1–10, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/JCDL.2017.7991568
CASPA : A platform for comparability of architecture-based software performance engineering approaches.
Dullmann, T. F.; Heinrich, R.; Van Hoorn, A.; Pitakrat, T.; Walter, J.; Willnecker, F.
2017. 2017 IEEE International Conference on Software Architecture Workshops (ICSAW 2017), Gothenburg, S, Apriel 3-7, 2017, 294–297, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSAW.2017.26
Architectural Runtime Modeling and Visualization for Quality-Aware DevOps in Cloud Applications.
Heinrich, R.; Zirkelbach, C.; Jung, R.
2017. ICSAW 2017 : IEEE International Conference on Software Architecture Workshops 2017, Gothenburg, Sweden, 3rd - 7th April 2017, 199–201, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSAW.2017.33
An interactive action set detection in natral language hybrid system.
Wachtel, A.; Paczia, J.; Tichy, W. F.
2017. 11th International Conference on Interfaces and Human Computer Interaction, Lisbon, Portugal, 21st - 23rd July 2017, IADIS
Architecture-Based Change Impact Analysis in Information Systems and Business Processes.
Rostami, K.; Heinrich, R.; Busch, A.; Reussner, R.
2017. IEEE International Conference on Software Architecture (ICSA), Gothenburg, S, April 3-7, 2017, 179–188, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA.2017.17
Accelerating Multi-Column Selection Predicates in Main-Memory : The Elf Approach.
Broneske, D.; Köppen, V.; Saake, G.; Schäler, M.
2017. Proceedings of the 2017 IEEE 33rd International Conference on Data Engineering (ICDE), San Diego, USA, 19-22 April 2017, 647–658, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICDE.2017.118
Online-Autotuning in the Presence of Algorithmic Choice.
Pfaffe, P.; Tillmann, M.; Walter, S.; Tichy, W. F.
2017. IPDPSW 2017 : Proceedings of the IEEE 31st International Parallel and Distributed Processing Symposium Workshops, Lake Buena Vista, Florida, USA, 29th May - 2nd June 2017, 1379–1388, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IPDPSW.2017.28
Context Model Acquisition from Spoken Utterances.
Weigelt, S.; Hey, T.; Tichy, W. F.
2017. SEKE 2017. The 29th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, PA, July 5 - 7, 2017, 201–206, Wyndham Pittsburgh University Center. doi:10.18293/SEKE2017-083
Combining Graph-Based and Deduction-Based Information-Flow Analysis.
Beckert, B.; Bischof, S.; Herda, M.; Kirsten, M.; Kleine Büning, M.
2017. ETAPS 2017: 5th Workshop on Hot Issues in Security Principles and Trust : Hotspot 2017, Uppsala, Sweden, 22-29 April 2017, 6–25, Theoretical Foundations of Security Analysis and Design (IFIP WG 1.7) VolltextVolltext der Publikation als PDF-Dokument
Pegasus: Efficient data transfers for PGAS languages on non-cache-coherent many-cores.
Mohr, M.; Tradowsky, C.
2017. 20th Design, Automation and Test in Europe, SwissTech Convention Center Swisstech, Lausanne, Switzerland, 27. - 31. March, 2017, 1781–1786, Institute of Electrical and Electronics Engineers (IEEE). doi:10.23919/DATE.2017.7927281
Object-Oriented Stream Programming.
Otto, F.; Tichy, W. F.
2017. Programming multi-core and many-core computing systems. Ed.: S. Pllana, 185–203, John Wiley and Sons. doi:10.1002/9781119332015.ch9
Predicting Errors in Concurrent Systems. Dissertation.
Carril Rodríguez, L. M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070459VolltextVolltext der Publikation als PDF-Dokument
Performance Engineering for Microservices: Research Challenges and Directions.
Heinrich, R.; Van Hoorn, A.; Knoche, H.; Li, F.; Lwakatare, L. E.; Pahl, C.; Schulte, S.; Wettinger, J.
2017. 8th ACM/SPEC on International Conference on Performance Engineering (ICPE 2017), L’Aquila, I, April 22-26, 2017, 223–226, Association for Computing Machinery (ACM). doi:10.1145/3053600.3053653
A Generic Platform for Transforming Monitoring Data into Performance Models.
Kunz, J.; Heger, C.; Heinrich, R.
2017. 8th ACM/SPEC International Conference on Performance Engineering, L’Aquila, I, April 22-26, 2017, 151–156, Association for Computing Machinery (ACM). doi:10.1145/3053600.3053635
Challenges in business processes modeling : Is agile BPM a solution?.
Weißbach, R.; Kirchner, K.; Reher, F.; Heinrich, R.
2017. Business Process Management Workshops : BPM 2016 International Workshops, Revised Papers, Rio de Janeiro, Brazil, 19th September 2016. Ed.: M. Dumas, 157–167, Springer. doi:10.1007/978-3-319-58457-7_12
ICPE 2017 Program Chairs’ Welcome.
Koziolek, A.; Smirni, E.; Poess, M.
2017. ICPE’17, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, L’Aquila, Italy, 22-26 April 2017, III-IV, Association for Computing Machinery (ACM)
Natural Language User Interface For Software Engineering Tasks.
Wachtel, A.; Klamroth, J.; Tichy, W. F.
2017. ACHI 2017 : The Tenth International Conference on Advances in Computer-Human Interactions, Nice, France, 19 - 23 March 2017, 34–39, IARIA VolltextVolltext der Publikation als PDF-Dokument
Capturing ambiguity in artifacts to support requirements engineering for self-adaptive systems.
Muñoz-Fernández, J. C.; Knauss, A.; Castañeda, L.; Derakhshanmanesh, M.; Heinrich, R.; Becker, M.; Taherimakhsousi, N.
2017. Joint Proceedings of REFSQ-2017 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017), Essen, 27. Februar 2017. Ed.: E. Knauss, CEUR Workshop Proceedings
Artificial Intelligence in Requirements Engineering.
Landhäußer, M.; Körner, S. J.
2017. REConf, München, 27.03.2017 VolltextVolltext der Publikation als PDF-Dokument
Virtual Assistants Suck.
Körner, S. J.; Landhäußer, M.
2017. CeBIT 2017 Future Talk, Hannover, 21.03.2017
Teaching Research Methodologies with a Robot in a CS Lab Course.
Landhäußer, M.; Weigelt, S.; Blersch, M.
2017. Proceedings of the 8th International Conference on Robotics in Education (RIE) : Latest Results and Developments, Sofia, Bulgaria, 26th - 28th April 2017. Ed.: R. Balogh, 180–192, Springer Verlag. doi:10.1007/978-3-319-62875-2_16
NLCI: A Natural Language Command Interpreter.
Landhäußer, M.; Weigelt, S.; Tichy, W. F.
2017. Software Engineering 2017. Hrsg.: J. Jürgjens, 139–140, Köllen VolltextVolltext der Publikation als PDF-Dokument
Synthesizing Instruction Selection.
Buchwald, S.; Fried, A.; Hack, S.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000066092VolltextVolltext der Publikation als PDF-Dokument
Using internal domain-specific languages to inherit tool support and modularity for model transformations.
Hinkel, G.; Goldschmidt, T.; Burger, E.; Reussner, R.
2017. Software and systems modeling, 18 (1), 129–155. doi:10.1007/s10270-017-0578-9
An evaluation of combinations of lossy compression and change-detection approaches for time-series data.
Hollmig, G.; Horne, M.; Leimkühler, S.; Schöll, F.; Strunk, C.; Englhardt, A.; Efros, P.; Buchmann, E.; Böhm, K.
2017. Information systems, 65, 65–77. doi:10.1016/j.is.2016.11.001
On the Various Semantics of Similarity in Word Embedding Models.
Elekes, Á.; Schäler, M.; Böhm, K.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000065330VolltextVolltext der Publikation als PDF-Dokument
CoCoME with Security.
Greiner, S.; Herda, M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000065106VolltextVolltext der Publikation als PDF-Dokument
Hiding Outliers in HighDimensional Data Spaces.
Steinbuß, G.; Böhm, K.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000064592VolltextVolltext der Publikation als PDF-Dokument
Integrating business process simulation and information system simulation for performance prediction.
Heinrich, R.; Merkle, P.; Henss, J.; Paech, B.
2017. Software and systems modeling, 16 (1), 257–277. doi:10.1007/s10270-015-0457-1
2016
26: Softwaretechnik 1, Übung, SS 2016, am 18.07.2016.
Weigelt, S.; Landhäußer, M.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-561
25: Softwaretechnik 1, Vorlesung, SS 2016, am 15.07.2016.
Weigelt, S.; Landhäußer, M.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-560
21: Softwaretechnik 1, Übung, SS 2016, am 01.07.2016.
Landhäußer, M.; Weigelt, S.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-512
17: Softwaretechnik 1, Übung, SS 2016, am 17.06.2016.
Weigelt, S.; Landhäußer, M.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-484
11: Softwaretechnik 1, Übung, SS 2016, am 27.05.2016.
Landhäußer, M.; Weigelt, S.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-391
08: Softwaretechnik 1, Übung, SS 2016, am 13.05.2016.
Landhäußer, M.; Weigelt, S.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-356
03: Softwaretechnik 1, Vorlesung, SS 2016, am 25.04.2016.
Tichy, W. F.; Landhäußer, M.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-309
02: Softwaretechnik 1, Vorlesung, SS 2016, am 22.04.2016.
Landhäußer, M.; Weigelt, S.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-303
01: Softwaretechnik 1, Vorlesung, SS 2016, am 18.04.2016.
Tichy, W. F.; Landhäußer, M.; Weigelt, S.; KIT | Webcast [Hrsg.].
2016. doi:10.5445/DIVA/2016-301
Surprise Paradox.
Breitner, J.
2016. Archive of Formal Proofs
A Memory Model for X10.
Zwinkau, A.
2016. Proceedings of the 6th ACM SIGPLAN Workshop on X10. Ed.: C. Fohry, 7–12, Association for Computing Machinery (ACM)
Architectural Data Flow Analysis.
Seifermann, S.
2016. 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016, Venice, I, April 5-8, 2016, 270–271, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/WICSA.2016.49
Challenges in Secure Software Evolution - The Role of Software Architecture.
Seifermann, S.; Taspolatoglu, E.; Reussner, R. H.; Heinrich, R.
2016. Softwaretechnik-Trends, 36 (1)
Challenges to Trading-Off Performance and Privacy of Component-Based Systems.
Seifermann, S.; Yurchenko, K.; Kramer, M. E.
2016. Softwaretechnik-Trends, 36 (4)
Modeling and Simulating Software Architectures – The Palladio Approach.
Reussner, R. H.; Becker, S.; Happe, J.; Heinrich, R.; Koziolek, A.; Koziolek, H.; Kramer, M.; Krogmann, K. (Hrsg.).
2016. MIT Press
Parallel String Matching.
Pfaffe, P.; Tillmann, M.; Lutteropp, S.; Scheirle, B.; Zerr, K.
2016. Euro-Par 2016 : Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, 24-26 August 2016 (Revised Selected Papers). Ed.: F. Desprez, 187–198, Springer. doi:10.1007/978-3-319-58943-5 15
Predicting Data Races from Program Traces.
Carril Rodriguez, L. M.
2016. International Working Group Software Engineering for Parallel Systems (SEPARS), Technical University of Munich (TUM), Garching, Germany, 23.02.2016
Automated workload characterization for I/O performance analysis in virtualized environments.
Busch, A.; Noorshams, Q.; Kounev, S.; Koziolek, A.; Reussner, R.; Amrehn, E.
2016. Lecture Notes in Informatics (LNI), 27–28, Gesellschaft für Informatik (GI)
Analysis of the trade-offs in different modeling approaches for performance prediction of software systems.
Kounev, S.; Brosig, F.; Meier, P.; Becker, S.; Koziolek, A.; Koziolek, H.; Rygielski, P.
2016. Software Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016; Wien; Austria; 23 February 2016 through 26 February 2016. Ed. : J. Knoop, 47–48, Gesellschaft für Informatik (GI)
Integrated performance simulation of business processes & information systems.
Heinrich, R.; Merkle, P.; Henss, J.; Paech, B.
2016. Software Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016; Wien; Austria; 23 February 2016 through 26 February 2016. Ed. J. Knoop, 51–52, Gesellschaft für Informatik (GI)
2nd workshop requirements engineering & business process management (REBPM).
Heinrich, R.; Kirchner, K.; Reher, F.; Weißbach, R.
2016. Modellierung 2016 Workshop - Workshop on Modeling 2016; Karlsruhe; Germany; 2 March 2016 through 4 March 2016. Ed. : U. Reimer, 85–86, Gesellschaft für Informatik (GI)
A controlled experiment template for evaluating the understandability of model transformation languages.
Kramer, M. E.; Hinkel, G.; Klare, H.; Langhammer, M.; Burger, E.
2016. 2nd International Workshop on Human Factors in Modeling, HuFaMo 2016; Saint Malo; France; 4 October 2016 through. Ed. : M. Goulao, 11–18, CEUR Workshop Proceedings
3nd collaborative workshop on evolution and maintenance of long-living software systems (EMLS’16).
Heinrich, R.; Jung, R.; Konersmann, M.; Schmieders, E.
2016. Software Engineering 2016 : 23.-26. Februar 2016, Wien, Österreich. Hrsg. : J. Knoop, 125–126, Gesellschaft für Informatik (GI)
Automatically binding variables of invariants to violating elements in an OCL-aligned XBase-language.
Fiss, S.; Kramer, M. E.; Langhammer, M.
2016. Modellierung 2016 - Modeling 2016; Karlsruhe; Germany; 2 March 2016 through 4 March 2016, 189–204, Gesellschaft für Informatik (GI)
Towards a framework for end-to-end control of a simulated vehicle with spiking neural networks.
Kaiser, J.; Tieck, J. C. V.; Hubschneider, C.; Wolf, P.; Weber, M.; Hoff, M.; Friedrich, A.; Wojtasik, K.; Roennau, A.; Kohlhaas, R.; Dillmann, R.; Zollner, J. M.
2016. Proceedings of the 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots, San Francisco, CA, Dec 13-16, 2016, 127–134, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SIMPAR.2016.7862386
GECO: A Generator Composition Approach for Aspect-Oriented DSLs.
Jung, R.; Heinrich, R.; Hasselbring, W.
2016. 9th International Conference on Theory and Practice of Model Transformations, ICMT 2016 Held as Part of Conference on Software Technologies: Applications and Foundations, STAF 2016; Vienna; Austria; 4 July 2016 through 5 July 2016. Ed.: P. Van Gorp, 141–156, Springer International Publishing. doi:10.1007/978-3-319-42064-6_10
Process Synthesis with Sequential and Parallel Constraints.
Mrasek, R.; Mülle, J.; Böhm, K.
2016. Confederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016; Rhodes; Greece; 24 October 2016 through 28 October 2016. Ed.: C. Debruyne, 43–60, Springer International Publishing. doi:10.1007/978-3-319-48472-3_3
Towards provable privacy guarantees using rechargeable energy-storage devices.
Laforet, F.; Buchmann, E.; Böhm, K.
2016. the Seventh International Conference, Waterloo, Ontario, Canada, 21–24 June 2016, 14 S., Association for Computing Machinery (ACM). doi:10.1145/2934328.2934335
Considering Transient Effects of Self-Adaptations in Model-Driven Performance Analyses.
Stier, C.; Koziolek, A.
2016. 2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Venice, Italy, 5–8 April 2016, 80–89, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/QoSA.2016.14
Considering Not-Quantified Quality Attributes in an Automated Design Space Exploration.
Busch, A.; Koziolek, A.
2016. 2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Venice, Italy, 5–8 April 2016, 50–59, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/QoSA.2016.10
Automated Extraction of Rich Software Models from Limited System Information.
Langhammer, M.; Shahbazian, A.; Medvidovic, N.; Reussner, R. H.
2016. 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), Venice, Italy, 5–8 April 2016, 99–108, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/WICSA.2016.35
Context-Based Architectural Security Analysis.
Taspolatoglu, E.; Heinrich, R.
2016. 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), Venice, Italy, 5–8 April 2016, 281–282, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/WICSA.2016.55
A Reference Structure for Metamodels of Quality-Aware Domain-Specific Languages.
Strittmatter, M.; Heinrich, R.
2016. 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), Venice, Italy, 5–8 April 2016, 268–269, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/WICSA.2016.51
Language and Compilation of Parallel Programs for *-Predictable MPSoC Execution Using Invasive Computing.
Teich, J.; GlaB, M.; Roloff, S.; Schroder-Preikschat, W.; Snelting, G.; Weichslgartner, A.; Wildermann, S.
2016. 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), Lyon, France, 21–23 September 2016, 313–320, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MCSoC.2016.30
Modelling the structure of reusable solutions for architecture-based quality evaluation.
Busch, A.; Schneider, Y.; Koziolek, A.; Rostami, K.; Kienzle, J.
2016. 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Luxembourg, L, December 12-15, 2016, 521–526, IEEE Computer Society. doi:10.1109/CloudCom.2016.0091
Improving accuracy and robustness of self-tuning histograms by subspace clustering.
Khachatryan, A.; Müller, E.; Bohm, K.; Stier, C.
2016. 32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki; Finland, 16 - 20 May, 2016, 1544–1545, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICDE.2016.7498416
Architectural run-time models for performance and privacy analysis in dynamic cloud applications.
Heinrich, R.
2016. ACM SIGMETRICS performance evaluation review, 43 (4), 13–22. doi:10.1145/2897356.2897359
View-based and Model-driven Outage Management for the Smart Grid.
Burger, E.; Mittelbach, V.; Koziolek, A.
2016. 11th International Workshop on Models@run.time (MRT) co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), Saint Malo, France, October 4, 2016. Ed.: S. Götz, 1–8, RWTH Aachen
Property specification, process verification, and reporting - A case study with vehicle-commissioning processes.
Mrasek, R.; Mülle, J.; Böhm, K.; Becker, M.; Allmann, C.
2016. Information systems, 56, 326–346. doi:10.1016/j.is.2015.09.005
Challenges in the evolution of metamodels: Smells and anti-patterns of a historically-grown metamodel.
Strittmatter, M.; Hinkel, G.; Langhammer, M.; Jung, R.; Heinrich, R.
2016. 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, ModComp 2016; Saint-Malo; France; October 2-7, 2016. Ed.: F. Ciccozzi, 30–39, CEUR Workshop Proceedings
Performance modeling in the age of big data: Some reflections on current limitations.
Heinrich, R.; Eichelberger, H.; Schmid, K.
2016. 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, ModComp 2016; Saint-Malo; France; October 2-7, 2016. Ed.: F. Ciccozzi, 37–38, CEUR Workshop Proceedings
Fault-Aware pareto frontier exploration for dependable system architectures.
Märtin, L.; Baller, H.; Koziolek, A.; Reussner, R.
2016. 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, ModComp 2016; Saint-Malo; France; October 2-7, 2016. Ed.: F. Ciccozzi, 25–30, CEUR Workshop Proceedings
Towards concern-oriented design of component-based systems.
Kienzle, J.; Koziolek, A.; Busch, A.; Reussner, R.
2016. 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, ModComp 2016; Saint-Malo; France; October 2-7, 2016. Ed.: F. Ciccozzi, 31–36, CEUR Workshop Proceedings
Editorial of special issue on Software Engineering for Parallel Systems.
Jannesari, A.; Wolf, F.; Tichy, W. F.
2016. The journal of systems and software, (Sep). doi:10.1016/j.jss.2016.09.029
Visual Theorem Proving with the Incredible Proof Machine.
Breitner, J.
2016. Interactive Theorem Proving. 7th International Conference (ITP), Nancy, France, August 22-25, 2016, 123–139, Springer Verlag. doi:10.1007/978-3-319-43144-4_8
Identifying defective nodes in wireless sensor networks.
Ossner, C.; Buchmann, E.; Bohm, K.
2016. Distributed and parallel databases, 34 (4), 591–610. doi:10.1007/s10619-015-7189-7
The End of (Numeric) Error : An Interview with John L. Gustafson.
Tichy, W. F.
2016. Ubiquity, 2016 (April), Art.Nr. 1. doi:10.1145/2913029
A Natural Language Dialog System Based on Active Ontologies.
Wachtel, A.; Klamroth, J.; Tichy, W. F.
2016. ACHI 2016 : The Ninth International Conference on Advances in Computer-Human Interactions, Venice, Italy, 24-28 April 2016. Ed. : A. L. Culén, 417–422, IARIA VolltextVolltext der Publikation als PDF-Dokument
Online-Autotuning of Parallel SAH kD-Trees.
Tichy, W. F.; Kaag, C.; Pfaffe, P.; Tillmann, M.
2016. 2016 IEEE 30th International Parallel and Distributed Processing Symposium., 628–637, IEEE Computer Society. doi:10.1109/IPDPS.2016.31
A memory model for X10.
Zwinkau, A.
2016. 6th ACM SIGPLAN Workshop on X10, X10 2016, Santa Barbara, United States, 14 June 2016 through 17 June 2016, 7–12, Association for Computing Machinery (ACM). doi:10.1145/2931028.2931031
Parallel String Matching.
Pfaffe, P.; Tillmann, M.; Lutteropp, S.; Scheirle, B.; Zerr, K.
2016. Fifth International Workshop on Multicore Software Engineering (IWMSE16), August 22, 2016, Grenoble, France, 12 S VolltextVolltext der Publikation als PDF-Dokument
Safe zero-cost coercions for Haskell.
Breitner, J.; Eisenberg, R. A.; Peyton Jones, S.; Weiruch, S.
2016. Journal of functional programming, 26, 1–79. doi:10.1017/S0956796816000150
NLCI : a natural language command interpreter.
Landhäußer, M.; Weigelt, S.; Tichy, W. F.
2016. Automated software engineering, 24 (4), 839–861. doi:10.1007/s10515-016-0202-1
An empirical study on the perception of metamodel quality.
Hinkel, G.; Kramer, M.; Burger, E.; Strittmatter, M.; Happe, L.
2016. Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), Rome, I, February 19-21, 2016, 145–152, SciTePress
Assessing survivability to support power grid investment decisions.
Koziolek, A.; Avritzer, A.; Suresh, S.; Menasché, D. S.; Diniz, M.; de Souza e Silva, E.; Leão, R. M.; Trivedi, K.; Happe, L.
2016. Reliability engineering & system safety, 155, 30–43. doi:10.1016/j.ress.2016.05.015
Two-channel image analysis method for the screening of OBOC libraries.
Helmer, D.; Brahm, K.; Helmer, C.; Wack, J. S.; Brenner-Weiss, G.; Schmitz, K.
2016. Analytical methods, 8 (20), 4142–4152. doi:10.1039/C5AY02981C
View-based model-driven software development with ModelJoin.
Burger, E.; Henss, J.; Küster, M.; Kruse, S.; Happe, L.
2016. Software & Systems Modeling, 15 (2), 473–496. doi:10.1007/s10270-014-0413-5
Verified construction of static single assignment form.
Buchwald, S.; Lohner, D.; Ullrich, S.
2016. Proceedings of CC 2016: The 25th International Conference on Compiler Construction, Barcelona; Spain; 17 March 2016 through 18 March 2016, 67–76, Association for Computing Machinery (ACM). doi:10.1145/2892208.2892211
Easier : An Approach to Automatically Generate Active Ontologies for Intelligent Assistants.
Blersch, M.; Landhäußer, M.
2016. 20th World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI 2016) : Proceedings Volume I (Post-Conference Edition), Orlando, USA, July 5-8, 2016. Ed.: N. C. Callaos, 236–241, International Institute of Informatics and Systemics VolltextVolltext der Publikation als PDF-Dokument
Projecting UML Class Diagrams from Java Code Models.
Klare, H.; Langhammer, M.; Kramer, M. E.
2016. 4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling : Proceedings, 2 March 2016, Karlsruhe, Germany. Ed.: C. Atkinson, 11–18, Karlsruher Institut für Technologie (KIT)
Modellierung von Prozessen und Datenflüssen im Hintergrund des Datenschutzes.
Junker, M.
2016. Studierendenprogramm der Fachtagung „Modellierung 2016“. Hrsg.: R. Heinrich, Karlsruher Institut für Technologie (KIT)
Modellierung von Prozessen und Datenflüssen basierend auf gesetzlichen Vorgaben.
Madlung, M.
2016. Studierendenprogramm der Fachtagung „Modellierung 2016“. Hrsg.: R. Heinrich, Karlsruher Institut für Technologie (KIT)
A Domain-Specific Language for Model Consistency.
Werle, D.
2016. Studierendenprogramm der Fachtagung „Modellierung 2016“. Hrsg.: R. Heinrich, Karlsruher Institut für Technologie (KIT)
The Media Store 3 Case Study System.
Strittmatter, M.; Kechaou, A.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052197VolltextVolltext der Publikation als PDF-Dokument
2015
Learning to Juggle in an Interactive Virtual Reality Environment.
Kahlert, T.; van de Camp, F.; Stiefelhagen, R.
2015. HCI International 2015 - Posters’ Extended Abstracts – International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part 1. Ed.: C. Stephanidis, 196–201, Springer International Publishing. doi:10.1007/978-3-319-21380-4_35
Punktgenau – Multimedia-Spielzeug Tiptoi selbst programmieren.
Breitner, J.; Podszun, C.
2015. Make, 2015 (6), 108–114
View-based, aspect-oriented and orthographic software modelling (VAO).
Aßmann, U.; Burger, E.; Goldschmidt, T.; Reussner, R. H.
2015. Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering (MORSE/VAO), L’Aquila, Italy, 21 July 2015. Ed.: U. Aßmann, 4, Association for Computing Machinery (ACM)
Unsupervised interaction-preserving discretization of multivariate data (vol 28, pg 1366, 2014).
Hoang-Vu Nguyen; Müller, E.; Vreeken, J.; Boehm, K.
2015. Data mining and knowledge discovery, 29 (1), 296–297. doi:10.1007/s10618-014-0353-2
Allocative and strategic effects of privacy enhancement in smart grids.
Kessler, S.; Flath, C. M.; Böhm, K.
2015. Information systems, 53, 170–181. doi:10.1016/j.is.2014.09.007
Does automated unit test generation really help software testers? A controlled empirical study.
Fraser, G.; Staats, M.; McMinn, P.; Arcuri, A.; Padberg, F.
2015. ACM transactions on software engineering and methodology, 24 (4), Art.Nr.:23. doi:10.1145/2699688
Efficient and secure exact-match queries in outsourced databases.
Heidinger, C.; Böhm, K.; Buchmann, E.; Spoo, M.
2015. World wide web, 18 (3), 567–605. doi:10.1007/s11280-013-0270-0
The CoCoME platform: A research note on empirical studies in information system evolution.
Heinrich, R.; Gärtner, S.; Hesse, T.-M.; Ruhroth, T.; Reussner, R.; Schneider, K.; Paech, B.; Jürjens, J.
2015. International journal of software engineering and knowledge engineering, 25 (9-10), 1715–1720. doi:10.1142/S0218194015710059
Formal Verification of Annotated Textual Use-Cases.
Simko, V.; Hauzar, D.; Hnetynka, P.; Bures, T.; Plasil, F.
2015. The computer journal, 58 (7), 1495–1529. doi:10.1093/comjnl/bxu068
Poster: ProNat: An Agent-Based System Design for Programming in Spoken Natural Language.
Weigelt, S.; Tichy, W. F.
2015. 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, Vol.2, Pt. 1, 819–820, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSE.2015.264
SE-WS 2015, software engineering workshops 2015 : Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.
Zimmermann, W.; Böhm, W.; Grelck, C.; Heinrich, R.; Jung, R.; Konersmann, M.; Schlaefer, A.; Schmieders, E.; Schupp, S.; Trancón y Widemann, B.; Weyer, T. (Hrsg.).
2015. CEUR-WS.org
Improving IaaS Cloud Analyses by Black-Box Resource Demand Modeling [to appear].
Groenda, H.; Stier, C.
2015. Symposium on Software Performance 2015, November 4-6, 2015, Munich, Germany, to appear
Modeling Complex User Behavior with the Palladio Component Model [to appear].
Vögele, C.; Heinrich, R.; Heilein, R.; Krcmar, H.; Hoorn, A. van.
2015. 2015 Symposium on Software Performance, November 4-6, 2015, Munich, Germany, to appear
A Modular Reference Structure for Component-based Architecture Description Languages.
Strittmatter, M.; Rostami, K.; Heinrich, R.; Reussner, R.
2015. 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems, ModComp 2015 - co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015; Ottawa; Canada; 28 September 2015, 36–41, CEUR-WS.org
Architectural Run-Time Models for Operator-in-the-Loop Adaptation of Cloud Applications.
Heinrich, R.; Jung, R.; Schmieders, E.; Metzger, A.; Hasselbring, W.; Reussner, R.; Pohl, K.
2015. IEEE 9th Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments (MESOCA), Bremen, Germany, 2-2 Oct. 2015, 36–40, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MESOCA.2015.7328124
Architecture-based Assessment and Planning of Software Changes in Information and Automated Production Systems.
Vogel-Heuser, B.; Feldmann, S.; Folmer, J.; Rösch, S.; Heinrich, R.; Rostami, K.; Reussner, R. H.
2015. IEEE International Conference on Systems, Man, and Cybernetics(SMC2015), Hong Kong, 9-12 October 2015, 687–694, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SMC.2015.130
A Platform for Empirical Research on Information System Evolution.
Heinrich, R.; Gärtner, S.; Hesse, T.-M.; Ruhroth, T.; Reussner, R.; Schneider, K.; Paech, B.; Jürjens, J.
2015. 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, Pittsburgh, PA, USA, July 6-8, 2015. Ed.: H. Xu, 415–420, KSI Research Inc. doi:10.18293/SEKE2015-066
Integration of Existing Software Artifacts into a View- and Change-Driven Development Approach.
Leonhardt, S.; Hettwer, B.; Hoor, J.; Langhammer, M.
2015. MORSE/VAO ’15 Proceedings of the 2015 Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering : 3rd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 21 July 2015, LʼAquila, Italy, 17–24, Association for Computing Machinery (ACM). doi:10.1145/2802059.2802061
Architecture-based Analysis of Changes in Information System Evolution.
Heinrich, R.; Rostami, K.; Stammel, J.; Knapp, T.; Reussner, R.
2015. Softwaretechnik-Trends, 35 (2)
Domain-spanning Maintainability Analysis for Software-intensive Systems.
Rostami, K.
2015. Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. Ed.: M. Konersmann, 106–108, CEUR-WS.org
Architecture-based Assessment and Planning of Change Requests.
Rostami, K.; Stammel, J.; Heinrich, R.; Reussner, R.
2015. Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, Montréal, Canada, 4 to 7 May 2015, 21–30, Association for Computing Machinery (ACM). doi:10.1145/2737182.2737198
Automated Decision Support for Recurring Design Decisions Considering Non-Functional Requirements.
Axel Busch.
2015. Software Engineering & Management 2015 : Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW; 17. März - 20, März 2015 in Dresden. Ed.: U. Aßmann, 291–294, Gesellschaft für Informatik (GI)
DynamicSpotter: Automatic, Experiment-based Diagnostics of Performance Problems (Invited Demonstration Paper).
Wert, A.
2015. Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin; United States; 31 January 2015 through 4 February 2015, 105–106, Association for Computing Machinery (ACM). doi:10.1145/2668930.2693844
Generic Instrumentation and Monitoring Description for Software Performance Evaluation.
Wert, A.; Schulz, H.; Heger, C.; Farahbod, R.
2015. Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin; United States; 31 January 2015 through 4 February 2015, 203–206, Association for Computing Machinery (ACM). doi:10.1145/2668930.2695525
An extensive systematic review on the Model-Driven Development of secure systems.
Nguyen, P. H.; Kramer, M.; Klein, J.; Le Traon, Y.
2015. Information & software technology, 68, 62–81. doi:10.1016/j.infsof.2015.08.006
A Co-evolution Approach for Source Code and Component-based Architecture Models.
Langhammer, M.; Krogmann, K.
2015. Softwaretechnik-Trends, 35 (2), 33–34
Change-Driven Consistency for Component Code, Architectural Models, and Contracts.
Kramer, M. E.; Langhammer, M.; Messinger, D.; Seifermann, S.; Burger, E.
2015. Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE’15), Montreal, QC, Canada, May 04 - 08, 2015, 21–26, Association for Computing Machinery (ACM). doi:10.1145/2737166.2737177VolltextVolltext der Publikation als PDF-Dokument
Change-Driven Multi-View Consistency for Component Models, Code, and Contracts.
Kramer, M. E.; Langhammer, M.; Messinger, D.; Seifermann, S.; Burger, E.
2015. Poster at the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 04. - 08.05.2014, Montréal, QC, Canada
A Generative Approach to Change-Driven Consistency in Multi-View Modeling.
Kramer, M. E.
2015. QoSA ’15 : Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures and WCOP´15 the 20th International Doctoral Symposium on Components and Architecture , May 4-8, 2015, Montréal, QC, Canada, 129–134, Association for Computing Machinery (ACM). doi:10.1145/2737182.2737194
A visual tracking model implemented on the iCub robot as a use case for a novel neurorobotic toolkit integrating brain and physics simulation.
Vannucci, L.; Ambrosano, A.; Cauli, N.; Albanese, U.; Falotico, E.; Ulbrich, S.; Pfotzer, L.; Hinkel, G.; Denninger, O.; Peppicelli, D.; Guyot, L.; Von Arnim, A.; Deser, S.; Maier, P.; Dillman, R.; Klinker, G.; Levi, P.; Knoll, A.; Gewaltig, M.-O.; Laschi, C.
2015. 2015 IEEE-RAS 15th International Conference on Humanoid Robots (Humanoids), Seoul, South Korea, 3-5 Nov. 2015, 1179–1184, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/HUMANOIDS.2015.7363512
An NMF Solution to the Java Refactoring Case.
Hinkel, G.
2015. Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L’Aquila, Italy, July 24, 2015 Hrsg.: L. Rose, 95–99, CEUR-WS.org
An NMF Solution to the TTC Train Benchmark Case.
Hinkel, G.; Happe, L.
2015. Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L’Aquila, Italy, July 24, 2015. Hrsg.: L. Rose, 142–146, CEUR-WS.org
A Domain-Specific Language (DSL) for Integrating Neuronal Networks in Robot Control.
Hinkel, G.; Groenda, H.; Vannucci, L.; Denninger, O.; Cauli, N.; Ulbrich, S.
2015. MORSE/VAO ’15 Proceedings of the 2015 Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering, LʼAquila, Italy, 21 July 2015. Ed.: U. Aßmann, 9–15, Association for Computing Machinery (ACM). doi:10.1145/2802059.2802060
Change Propagation in an Internal Model Transformation Language.
Hinkel, G.
2015. Theory and Practice of Model Transformations : 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 20-21, 2015. Proceedings. Ed.: D. Kolovos, 3–17, Springer International Publishing. doi:10.1007/978-3-319-21155-8_1
The Cooperate Assistive Teamwork Environment for Software Description Languages.
Groenda, H.; Seifermann, S.; Müller, K.; Jaworek, G.
2015. Proceedings of the 13th European conference of the Association for the Advancement of Assistive Technology in Europe (AAATE 2015), Budapest; Hungary; 9 September 2015 through 12 September 2015. Ed.: C. Sik-Lányi, 111–118, IOS Press. doi:10.3233/978-1-61499-566-1-111
Towards Collaboration on Accessible UML Models.
Seifermann, S.; Groenda, H.
2015. Mensch und Computer 2015 - Workshopband. Hrsg.: A. Weisbecker, 411–417, Oldenbourg Verlag
Run-time architecture models for dynamic adaptation and evolution of cloud applications.
Heinrich, R.; Jung, R.; Schmieders, E.; Hasselbring, W.; Metzger, A.; Pohl, K.; Reussner, R.
2015. Kiel
Orientierungswissen für Dienstanbieter zur Standardauswahl für Cloud-Dienstleistungen.
Alpers, S.; Groenda, H.; Krogmann, K.
2015. Kompendium Trusted Clouds für die digitale Transformation in der Wirtschaft. Hrsg.: Bundesministerium für Wirtschaft und Energie (BMWi), Kompetenzzentrum Trusted Cloud, BMWi
Agile Anti-Patterns -- Warum viele Organisationen weniger agil sind, als sie denken.
Klaus Krogmann; Matthias Naab; Oliver Hummel.
2015. Entwickler Magazin Spezial: Agilität, 3
AIM: Adaptable Instrumentation and Monitoring for Automated Software Performance Analysis.
Wert, A.; Schulz, H.; Heger, C.
2015. IEEE/ACM 10th International Workshop on Automation of Software Test, AST 2015; Florence; Italy; 23 May 2015 through 24 May 2015, 38–42, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/AST.2015.15
BUNGEE : An Elasticity Benchmark for Self-Adaptive IaaS Cloud Environments.
Herbst, N. R.; Kounev, S.; Weber, A.; Groenda, H.
2015. SEAMS ’15 Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Firenze, Italy, May 16 - 24, 2015, 46–56, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAMS.2015.23
Towards Automated Data-Driven Model Creation for Cloud Computing Simulation.
Svorobej, S.; Byrne, J.; Liston, P.; Byrne, P. J.; Stier, C.; Groenda, H.; Papazachos, Z.; Nikolopoulos, D.
2015. SIMUTools ’15 Proceedings of the 8th International Conference on Simulation Tools and Techniques, Athens; Greece; 24 August 2015 through 26 August 2015, 248–255, Association for Computing Machinery (ACM). doi:10.4108/eai.24-8-2015.2261129
SensIDL: Ein Werkzeug zur Vereinfachung der Schnittstellenimplementierung intelligenter Sensoren.
Groenda, H.; Rathfelder, C.; Taspolatoglu, E.
2015. OBJEKTspektrum - Themenspecial Internet der Dinge 2015, (SI), 1–4
Pattern-driven parallelization of sequential software.
Molitorisz, K.; Carril Rodriguez, L. M.
2015. parallel 2015, Softwarekonferenz für Parallel Programming, Concurrency und Multicore-Systeme, Karlsruhe, IHK, 21.-24. April 2015
Initial implementation of natural language turn-based dialog system.
Wachtel, A.; Weigelt, S.; Tichy, W. F.
2015. Procedia computer science, 84, 47–54. doi:10.1016/j.procs.2016.04.065
An Empirical Study on Parallelism in Modern Open-Source Projects.
Kiefer, M. A.; Warzel, D.; Tichy, W. F.
2015. SEPS 2015 : Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States, 35–44, Association for Computing Machinery (ACM). doi:10.1145/2837476.2837481
Rezension zu: M. Zollner: Physik der Elektrogitarre. Regensburg, 2014. ISBN 978-3-9816995-8-6.
Snelting, G., [Rez.].
2015. Spektrum der Wissenschaft, (5), 100, Spektrum der Wissenschaft Verlags-Gesellschaft
Stiftzauber - Eigene Bücher und Spiele für den Tiptoi vertonen.
Breitner, J.; Podszum, C.
2015. C’t, (8), 156–159
Optimal Shuffle Code with Permutation Instructions. [Preprint].
Buchwald, S.; Mohr, M.; Rutter, I.
2015. arXiv [cs.DS], arXiv:1504.07073
Performance-oriented DevOps: A Research Agenda. [Preprint].
Brunnert, A.; Hoorn, A. van; Willnecker, F.; Danciu, A.; Hasselbring, W.; Heger, C.; Herbst, N.; Jamshidi, P.; Jung, R.; Kistowski, J. von; Koziolek, A.; Kroß, J.; Spinner, S.; Vögele, C.; Walter, J.; Wert, A.
2015. arXiv : Computing Research Repository (CoRR), arXiv:1508.04752
Interleaving Generation for Data Race and Deadlock Reproduction.
Carril Rodriguez, L. M.; Tichy, W. F.
2015. Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems : SEPS 2015, Pittsburgh, PA, USA, 25-30 October, 26–34, Association for Computing Machinery (ACM). doi:10.1145/2837476.2837480
DeNom: A Tool to Find Problematic Nominalizations using NLP.
Landhäußer, M.; Körner, S. J.; Keim, J.; Tichy, W. F.; Krisch, J.
2015. Second International Workshop on Artificial Intelligence for Requirements Engineering ( AIRE´15) : the 23rd IEEE International Requirements Engineering Conference (RE 2015) , August 24-28, 2015 Ottawa, Canada, 9–16, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/AIRE.2015.7337623
Text Understanding for Programming in Natural Language: Control Structures.
Landhäußer, M.; Hug, R.
2015. 2015 IEEE/ACM Proceedings of the 4th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering : ICSE ’15 37th International Conference on Software Engineering, May 16 - 24, 2015 Florence/Firenze, Italy, 7–12, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/RAISE.2015.9
Parallelizing a Real-time Audio Application - A Case Study in Multithreaded Software Engineering.
Kiefer, M. A.; Molitorisz, K.; Bieler, J.; Tichy, W. F.
2015. 17th Workshop on Advances in Parallel and Distributed Computational Models (APDCM) : May 25-29, 2015, Hyderabad, India, 405–414, Institute of Electrical and Electronics Engineers (IEEE)
nlrpBENCH: A Benchmark for Natural Language Requirements Processing.
Tichy, W. F.; Landhäußer, M.; Körner, S. J.
2015. Multikonferenz Software Engineering & Management 2015 : 1Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015 in Dresden, Germany. Hrsg.: U. Aßmann, Gesellschaft für Informatik (GI)
Combining Unit Tests for Data Race Detection.
Schimmel, J.; Molitorisz, K.; Jannesari, A.; Tichy, W. F.
2015. 10th IEEE/ACM International Workshop on Automation of Software Test (AST 2015), 23 May 2015 through 24 May 2015, Florence, Italy, 43–47, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/AST.2015.16
Predicting and witnessing data races using CSP.
Carril Rodriguez, L. M.; Tichy, W. F.
2015. Nasa Formal Methods Symposium 2015. Part 3 : 7th International Symposium, NFM 2015, April 27-29, 2015, Pasadena, CA, USA. Ed.: K. Havelund, 400–407, Springer International Publishing. doi:10.1007/978-3-319-17524-9_28VolltextVolltext der Publikation als PDF-Dokument
Patty: A Pattern-based Parallelization Tool for the Multicore Age.
Molitorisz, K.; Müller, T.; Tichy, W. F.
2015. The 6th International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM), to be held in conjunction with the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) : February 7-8, 2015, San Francisco Bay Area, USA, 153–163, Association for Computing Machinery (ACM). doi:10.1145/2712386.2712392
Prototyp einer natürlichsprachlichen Schnittstelle für Tabellenkalkulation.
Wachtel, A.; Weigelt, S.; Voigt, P.; Tichy, W. F.
2015. Multikonferenz Software Engineering & Management 2015 : 1Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015 in Dresden, Germany. Hrsg.: U. Aßmann, 1617–5468, Gesellschaft für Informatik (GI)
Model-Based Energy Efficiency Analysis of Software Architectures.
Stier, C.; Koziolek, A.; Groenda, H.; Reussner, R.
2015. Software Architecture : Proceedings of the 9th European Conference on Software Architecture (ECSA ’15), September 7-11, 2015, Dubrovnik/Cavtat, Croatia. Ed.: D. Weyns, 221–238, Springer International Publishing. doi:10.1007/978-3-319-23727-5_18
Assessing Security to Compare Architecture Alternatives of Component-Based Systems.
Busch, A.; Strittmatter, M.; Koziolek, A.
2015. Proceedings of the IEEE International Conference on Software Quality, Reliability & Security, 3-5 Aug. 2015, Vancouver, BC, Canada, 99–108, IEEE Computer Society
Survivability Evaluation of Gas, Water and Electricity Infrastructures.
Avritzer, A.; Carnevali, L.; Ghasemieh, H.; Happe, L.; Haverkort, B. R.; Koziolek, A.; Menasche, D.; Remke, A.; Sarvestani, S. S.; Vicario, E.
2015. Electronic notes in theoretical computer science, 310, 5–25. doi:10.1016/j.entcs.2014.12.010
Exploiting Software Performance Engineering Techniques to Optimise the Quality of Smart Grid Environments.
Trubiani, C.; Koziolek, A.; Happe, L.
2015. Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, Texas, USA, Jan. 31 - Feb. 4, 2015, 199–202, Association for Computing Machinery (ACM). doi:10.1145/2668930.2695532
Quality-oriented Decision Support for maintaining Architectures of fault-tolerant Space Systems.
Märtin, L.; Koziolek, A.; Reussner, R. H.
2015. Proceedings of the 2015 European Conference on Software Architecture Workshops (ECSAW ’15), September 7-11, 2015, Dubrovnik/Cavtat, Croatia. Ed.: I. Crnkovic, Art.Nr.49, Association for Computing Machinery (ACM). doi:10.1145/2797433.2797484
Interplay of Design Time Optimization and Run Time Optimization (Talk Abstract).
Koziolek, A.
2015. Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). January 18–23, 2015, Wadern, Germany. Ed.: S. Kounev, 183, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI). doi:10.4230/DagRep.5.1.164
Supporting requirements update during software evolution.
Ben Charrada, E.; Koziolek, A.; Glinz, M.
2015. Journal of Software: Evolution and Process, 27 (3), 166–194. doi:10.1002/smr.1705
Twin Peaks Goes Agile.
Galster, M.; Mirakhorli, M.; Koziolek, A.
2015. ACM SIGSOFT software engineering notes, 40 (5), 47–49. doi:10.1145/2815021.2815038
Checking Applications using Security APIs with JOANA.
Graf, J.; Hecker, M.; Mohr, M.; Gregor Snelting.
2015. 8th International Workshop on Analysis of Security APIs, Satellite workshop of IEEE CSF, Verona, Italy, July 13th 2015
Adaptive fault tolerance through invasive computing.
Witterauf, M.; Tanase, A.; Teich, J.; Lari, V.; Zwinkau, A.; Snelting, G.
2015. 2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Montreal, QC, Canada, June 15-18, 2015, 7231155/1–8, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/AHS.2015.7231155
JoDroid: Adding Android Support to a Static Information Flow Control Tool.
Mohr, M.; Graf, J.; Hecker, M.
2015. Software Engineering Workshops 2015 - Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, 17.-18. März 2015. Beiträge zur 8. Arbeitstagung Programmiersprachen (ATPS 2015). Hrsg.: W. Zimmermann, 140–145, CEUR Workshop Proceedings
SHRIFT System-Wide HybRid Information Flow Tracking.
Lovat, E.; Fromm, A.; Mohr, M.; Pretschner, A.
2015. ICT Systems Security and Privacy Protection : 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015. Proceedings. Ed.: H. Federrath, 371–385, Springer. doi:10.1007/978-3-319-18467-8_25
Optimal Shuffle Code with Permutation Instructions.
Buchwald, S.; Mohr, M.; Rutter, I.
2015. Algorithms and Data Structures : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings. Ed.: F. Dehne, 528–541, Springer. doi:10.1007/978-3-319-21840-3_44
Optgen: A Generator for Local Optimizations.
Buchwald, S.
2015. Compiler Construction : 24th International Conference, CC 2015. Proceedings, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, April 11-18, 2015, London, U