The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Int

One of the key challenges in service-oriented systems engineering is the prediction and assurance of non-functional properties, such as the reliability and the

Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such syste

This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, durin

This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in con