Lehrstuhl Informatik 11 ▲ Sign in to save

• ▲ Stefan Kowalewski

  RWTH Aachen University Computer Science
  2.67k

  citations

  27

  h-index

  39

  Aachen papers
• ▲ Stefan Kowalewski

  RWTH Aachen University Engineering
  785

  citations

  11

  h-index

  19

  Aachen papers
• ▲ Marcus Völker

  RWTH Aachen University Computer Science
  126

  citations

  5

  h-index

  22

  Aachen papers
• ▲ Robin Mroß

  RWTH Aachen University Computer Science
  31

  citations

  4

  h-index

  13

  Aachen papers

4 results

• Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

  2022 IEEE Access article Computer Science Model-Driven Software Engineering Techniques Open access

  12

  citations
• Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review

  2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Industrial Automation and Control Systems Open access

  4

  citations
• GRAFCET Reduction Techniques for Model Checking

  2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Formal Methods in Verification

  4

  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
• Model Checking Generated Control Code for Consistency with its Specification in IEC 60848 GRAFCET

  2024 IFAC-PapersOnLine article Computer Science Formal Methods in Verification Open access

  2

  citations
• 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
• 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
• Structural Analysis of GRAFCET Control Specifications

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

  0

  citations

8 results