Jan Kofroň – författare

This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023.The 11 full papers included in this book were carefully reviewed and selected from 26 submissions and present software, hardware, and communication perspectives of systems engineering through its many facets. The special theme of this year is ”Engineering for Responsible AI“.

This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023. The 11 full papers included in this book were carefully reviewed and selected from 26 submissions and present software, hardware, and communication perspectives of systems engineering through its many facets. The special theme of this year is ”Engineering for Responsible AI“.

This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014.The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance computing; computer aided analysis, verification, and testing; hardware design and diagnostics; computer graphics and image processing; and artificial intelligence and natural language processing.

This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014.The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance computing; computer aided analysis, verification, and testing; hardware design and diagnostics; computer graphics and image processing; and artificial intelligence and natural language processing.

This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telč, Czech Republic, in October 2015.The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. The topics covered include: security and safety, bioinformatics, recommender systems, high-performance and cloud computing, and non-traditional computational models (quantum computing, etc.).

The goal of QoSA is to addressaspects of softwarearchitecturefocusing broadly on quality characteristics and how these relate to the design of software arc- tectures. Speci?c issues of interest are de?ning quality measures, evaluating and managing architecture quality, linking architecture to requirements and imp- mentation, and preserving architecture quality throughout the lifetime of the system. Past themes for QoSA include Architectures for Adaptive Software S- tems (2009), Models and Architecture (2008), and Software Architecture, C- ponents, and Applications (2007). In this, the sixth incarnation of QoSA, researchers and practitioners dem- strated how speci?c sub-elements within an architecture lead to measurable quality in the implemented system. While clear challenges remain, the theme for QoSA 2010 was"Research into Practice - Reality and Gaps. " Therewere32submissionstoQoSA2010fromwhichtheProgramCommittee selected 11 long papers, for an acceptance rate of 34%.To further foster collaborationandexchangeofideaswiththecomponent-basedsoftwareengine- ing community, QoSAwasheldaspart ofthe conferenceseriesFederatedEvents on Component-based Software Engineering and Software Architecture (COMPARCH). These federated events wereQoSA 2010,the 13th International Symposium on Component-Based Software Engineering (CBSE 2010), the 15th International Workshop on Component-Oriented Programming (WCOP 2010), and the First International Symposium on Architecting Critical Systems (ISARCS 2010), a symposium dedicated to dependability, safety, security and testing/analysis for architecting systems. Because of the close relationship - tween the CBSE and QoSA communities, COMPARCH 2010 once again in- gratedthesetechnicalprogramstofurtherpromotediscussionandcollaboration. We would like to thank the QoSA Steering Committee and the members of theProgramCommitteefor their dedicatedandvaluableworkduringthe review process. We thank Alfred Hofmann from Springer for his continuing support in reviewing and publishing this proceedings volume.