February 15, 2001 article Specification and development of interactive systems: focus on streams, interfaces, and refinement OpenAlex Authors 0 Author list not loaded yet. Cited by 8 stored of 345 Search Sort Most cited Newest Oldest Patent citations Title Any typearticle review book-chapter conference-paper preprint dissertation book dataset other Any fieldAgricultural and Biological Sciences Arts and Humanities Biochemistry, Genetics and Molecular Biology Business, Management and Accounting Chemical Engineering Chemistry Computer Science Decision Sciences Dentistry Earth and Planetary Sciences Economics, Econometrics and Finance Energy Engineering Environmental Science Health Professions Immunology and Microbiology Materials Science Mathematics Medicine Neuroscience Nursing Pharmacology, Toxicology and Pharmaceutics Physics and Astronomy Psychology Social Sciences Veterinary Open access Modeling the composition of analysis components and automatic constraint checking for semantic soundness 2025 Journal of Systems and Software article Computer Science Model-Driven Software Engineering Techniques Open access 3 citations Integrating models of civil structures in digital twins: State-of-the-Art and challenges 2024 Journal of Infrastructure Intelligence and Resilience article Engineering Digital Transformation in Industry Open access 26 citations Model-Based Engineering of Multi-Purpose Digital Twins in Manufacturing 2024 Digital Twin book-chapter Engineering Digital Transformation in Industry Open access 2 citations Understanding and improving model-driven IoT systems through accompanying digital twins 2021 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) conference-paper Computer Science Model-Driven Software Engineering Techniques 24 citations Synchronous Execution Semantics for Component & Connector Models 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Computer Science Model-Driven Software Engineering Techniques 0 citations Model-driven digital twin construction 2020 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques cited by 1 patent 101 citations Automated semantics-preserving parallel decomposition of finite component and connector architectures 2020 Automated Software Engineering article Computer Science Advanced Software Engineering Methodologies 4 citations Structurally evolving component-port-connector architectures of centrally controlled systems 2020 International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS) conference-paper Computer Science Advanced Software Engineering Methodologies 0 citations 8 results References 0