Abstract is missing.
- A Semiautomatic Approach to Identify Architectural Technical Debt from Heterogeneous ArtifactsBoris Pérez. 5-16 [doi]
- Big Data and Machine Intelligence in Software Platforms for Smart CitiesMubashir Ali. 17-26 [doi]
- Decentralized Self-adaptation in Large-Scaled Systems of SystemsDaniel Matusek. 27-37 [doi]
- Systematic Approach to Engineer Decentralized Self-adaptive SystemsFederico Quin. 38-50 [doi]
- Voyager: Software Architecture Trade-off ExplorerJason Mashinchi, Javier Cámara. 55-67 [doi]
- A Decision Support System for Pattern-Driven Software ArchitectureSiamak Farshidi, Slinger Jansen. 68-81 [doi]
- Gropius - A Tool for Managing Cross-component IssuesSandro Speth, Uwe Breitenbücher, Steffen Becker 0001. 82-94 [doi]
- SecoArc: A Framework for Architecting Healthy Software EcosystemsBahar Schwichtenberg, Gregor Engels. 95-106 [doi]
- SQuAT-Vis: Visualization and Interaction in Software Architecture OptimizationSebastian Frank, André van Hoorn. 107-119 [doi]
- Girl-Friendly Computer Science Classroom: Czechitas Experience ReportBarbora Buhnova, Lucia Happe. 125-137 [doi]
- Mining Gender Bias: A Preliminary Study on Implicit Biases and Gender Identity in the Department of Computer Science at the Technical University of MunichAna Petrovska, Patricia Goldberg, Anne Brüggemann-Klein, Anne Nyokabi. 138-150 [doi]
- State of the Practice Survey: Predicting the Influence of AI Adoption on System Software Architecture in Traditional Embedded SystemsJasmin Jahic, Robin Roitsch. 155-169 [doi]
- Composition Algorithm Adaptation in Service Oriented SystemsNiranjana Deshpande, Naveen Sharma. 170-179 [doi]
- A Statistical Approach for Context-Awareness of Mobile ApplicationsMai Abusair, Mohammad Sharaf, Antinisca Di Marco, Paola Inverardi. 180-194 [doi]
- A Reference Architecture for Personalized and Self-adaptive e-Health AppsEoin Martino Grua, Martina de Sanctis, Patricia Lago. 195-209 [doi]
- Collecting Service-Based Maintainability Metrics from RESTful API Descriptions: Static Analysis and Threshold DerivationJustus Bogner, Stefan Wagner 0001, Alfred Zimmermann. 215-227 [doi]
- Optimizing Parametric Dependencies for Incremental Performance Model ExtractionSonya Voneva, Manar Mazkatli, Johannes Grohmann, Anne Koziolek. 228-240 [doi]
- Data Pipeline Architecture for Serverless PlatformChinmaya Kumar Dehury, Pelle Jakovits, Satish Narayana Srirama, Vasilis Tountopoulos, Giorgos Giotis. 241-246 [doi]
- Examination and Comparison of TOSCA Orchestration ToolsAnze Luzar, Saso Stanovnik, Matija Cankar. 247-259 [doi]
- Auto-scaling Using TOSCA Infrastructure as CodeMatija Cankar, Anze Luzar, Damian A. Tamburri. 260-268 [doi]
- Towards Coordinated Autoscaling and Application Brownout at the Orchestrator LevelIvan Kotegov, Antonio Filieri. 269-274 [doi]
- Measurement-Based Timing Analysis on Heterogeneous MPSoCs: A Practical ApproachRoy Jamil, Emmanuel Grolleau, Bernard Dautrevaux, Antoine Bertout. 279-293 [doi]
- Awas: AADL Information Flow and Error Propagation Analysis FrameworkHariharan Thiagarajan, John Hatcliff, Robby. 294-310 [doi]
- Formal Verification of Run-to-Completion Style Statecharts Using Event-BKarla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler. 311-325 [doi]
- A Simulator Coupling Architecture for the Creation of Digital TwinsThomas Kuhn 0001, Pablo Oliveira Antonino, Adam Bachorek. 326-339 [doi]
- Integrating Runtime Verification into an Automated UAS Traffic Management SystemMatthew Cauwels, Abigail Hammer, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier. 340-357 [doi]
- Dependability of Model-Driven Executable DSLs - Critical Review and SolutionsAkram Idani. 358-373 [doi]
- Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri NetsMarkus Frank, Alireza Hakamian, Stefen Becker. 381-394 [doi]
- Model-Based Simulation at Runtime with Abstract State MachinesElvinia Riccobene, Patrizia Scandurra. 395-410 [doi]
- Merging Railway Standard Notations in a Formal DSL-Based FrameworkAsfand Yar, Akram Idani, Simon Collart Dutilleul. 411-419 [doi]
- Continuous Formal Verification of Microservice-Based Process FlowsMatteo Camilli. 420-435 [doi]
- Defining Design Patterns for IoT APIsRasmus Svensson, Adell Tatrous, Francis Palma. 443-458 [doi]
- Access Control for Smart Manufacturing SystemsBjörn Leander, Aida Causevic, Hans Hansson, Tomas Lindström. 463-476 [doi]
- Industrie 4.0 Virtual Automation Bus ArchitectureThomas Kuhn 0001, Pablo Oliveira Antonino, Frank Schnicke. 477-489 [doi]
- Enabling Industry 4.0 Service-Oriented Architecture Through Digital TwinsFrank Schnicke, Thomas Kuhn 0001, Pablo Oliveira Antonino. 490-503 [doi]
- System Health Indicators in Mixed Criticality E/E Systems in Automated Driving ContextFriederike Dollinger, Rinat Asmus, Marc Dreiser. 509-517 [doi]
- How to Conduct Experiments with a Real Car? Experiences and Practical GuidelinesThomas Hutzelmann, Dominik Mauksch, Alexander Pretschner. 518-526 [doi]
- Towards a Systems Engineering Based Automotive Product Engineering ProcessHassan Hage, Vahid Hashemi, Frank Mantwill. 527-541 [doi]
- Development of a Virtual Simulation Environment and a Digital Twin of an Autonomous Driving Truck for a Distribution CenterIon Barosan, Arash Arjmandi Basmenj, Sudhanshu G. R. Chouhan, David Manrique. 542-557 [doi]