In this post I want to share some impressions from Tallinn, Estonia. Tallinn has been the host city for the European Joint Conferences on Theory and Practice of Software (ETAPS) conference this year. At the conference, my colleagues and I published and presented two publications I also want to advertise here: “Design and Analysis of [...]
Tag Archives: Rewriting Logic
Enhancing Safety and Security of Distributed Systems through Formal Patterns
Jonas Eckhardt and I published a paper on how safety and security of distributed systems can be enhanced through formal patterns. The article is part of the Proceedings of the Doctoral Symposium of the International Symposium on Engineering Secure Software and Systems (ESSoS 2012). Abstract: Distributed systems are often safety- and security-critical systems and have [...]