Robin Mross

Orcid: 0000-0002-1007-5597

According to our database1, Robin Mross authored at least 6 papers between 2022 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern.
Autom., 2023

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

GRAFCET Reduction Techniques for Model Checking.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Structural Analysis of GRAFCET Control Specifications.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model.
IEEE Access, 2022


  Loading...