Ákos Schmidt

According to our database, Ákos Schmidt authored at least 3 papers between 2003 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time.

Szilvia Gyapay, Ákos Schmidt, Dániel Varró

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

Model Checking Graph Transformations: A Comparison of Two Approaches.

Arend Rensink, Ákos Schmidt, Dániel Varró

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

CheckVML: A Tool for Model Checking Visual Modeling Languages.

Ákos Schmidt, Dániel Varró

Proceedings of the «UML» 2003, 2003