Challenges for Software Engineering in Automation

• Structural Analysis of GRAFCET Control Specifications

  2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Petri Nets in System Modeling

  2

  citations
• Structural Analysis of GRAFCET Control Specifications

  2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

  0

  citations
• A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

  2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

  4

  citations
• A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

  2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

  0

  citations
• Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy

  2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Engineering Digital Transformation in Industry

  7

  citations
• Towards Service Deployment and Composition in Industry 4.0

  2021 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Advanced Software Engineering Methodologies

  7

  citations

6 results