The submission deadline for the first workshop on Formal Methods for Blockchain co-located with the 3th Formal Methods World Congress was extended. The new deadlines are as follows:
- Abstract Submission: 2019-06-30
- Paper Submission: 2019-07-07
We are looking forward to your submission!
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.
I am looking forward to present my work on Blockchain at FORTE and my work about Runtime Verification at ICE, both held as part of the 14th International Federated Conference on Distributed Computing Techniques in Copenhagen.
My new Paper, accepted for presentation at the 12th Interaction and Concurrency Experience, describes an approach, based on FACTum, to detect Architectural Erosion using Runtime Verification.
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.
I just prepared a summary of my research for SE 2019. A preprint is available here. In addition you can download a poster of my overall research here. Feel free to leave a comment!
Our proposal for FMBC got accepted at FM 2019.
With this newly proposed workshop, we want to discuss and identify possibilities and limitations of Formal Methods to provide a more rigorous approach to Blockchain. We invite authors to submit papers related to the use of FMs techniques and tools for blockchain technology.
Topics include, but are not limited to:
- Formal models of blockchain applications or concepts
- Formal methods for consensus protocols
- Formal methods for blockchain-specific cryptographic primitives or protocols
- Formal languages for Smart Contracts
- Verification of Smart Contracts
We look forward to your contribution!
Hi, this is my new website:
- This page contains all the news.
- Under research you can find details about my research: projects, publications, …
- Under teaching I provide more details about my past and current teaching activities.
- If you are looking for topics for your thesis or guided research, you should visit supervision.
- On page FACTum you can find more details about my approach for the axiomatic specification of dynamic architectures as well as its implementation in Eclipse/EMF.