Category: News
-
Best Artifact Award for security verification
The paper “Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2”, coauthored with Hamed Arshad, Ross Horne, Olaf Owe, and Tim Willemse, wins the Best Artifact Award at the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
-
Posets with Interfaces
After quite some time, we have released a long version of our work on “Posets with Interfaces for Concurrent Kleene Algebra“, co-authored with Uli Fahrenberg, Georg Struth, and Krzysztof Ziemiański, which is now being reviewed for a journal. Abstract: We introduce posets with interfaces (iposets) and generalise the serial composition of posets to a new…
-
Sculptures in Concurrency
Logical Methods in Computer Science, the most prestigious journal managed solely by the theoretical computer science community, has published our work on Sculptures in Concurrency, co-authored with Uli Fahrenberg, Christopher A. Trotter, and Krzysztof Ziemiański. Abstract: We give a formalization of Pratt’s intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture…