My new article, accepted for publication in Science of Computer Programming, describes a novel calculus for dynamically adapting architectures. The calculus is shown to be sound and relative complete and it is implemented in Isabelle where it can be used to support the verification of dynamic architectures.
My paper, accepted for presentation at the 13th International Symposium on Theoretical Aspects of Software Engineering, describes a denotational semantics for dynamically evolving architectures based on fixed points in lattices.
My new paper, accepted for presentation at the 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, describes a case study in which I applied FACTum to verify persistency of blocks in Blockchain Architectures.
I’m just back from a Lorentz Center Workshop on Dynamics of Multi-Agent Systems where I was presenting my work on the verification of dynamic architectures.