by Jens Weber | Jul 7, 2022 | formal methods, Grape, tools
Given flight chaos, pandemic and other issues, I was not able to participate in person in this year’s Workshop on Graph Computation Models (GCM ’22). I presented my paper on control structures for functional graph rewriting using an online presentation...
by Jens Weber | Jul 5, 2022 | Uncategorized
The proceedings for the Int. Conference on Graph Transformations (ICGT) have now been published in a Springer book (as part of the LNCS series). My paper on GrapeVine has a chapter in that volume. It is available for download here...
by Jens Weber | Jun 1, 2022 | formal methods
My paper on a graph transformation control algebra for functional graph transformations has been accepted at the 13th International Workshop on Graph Computation Models (GCM 2022). https://gcm2022.github.io
by Jens Weber | Jun 1, 2022 | formal methods
My paper on functional graph transformations with GrapeVine has been accepted at the Int. Conference on Graph Transformations (ICGT) 2022 in Nante, France.
by Jens Weber | Jun 1, 2022 | formal methods
I am thrilled that my paper on GRAPEpress won a Best Paper Award at the International Conference on Graph Transformations (ICGT 2021). ICGT has never given a best paper award for a tools paper. Apparently this new category has been created because the program...
