Latest News New article accepted for publication in the IEEE Transactions on Computers February 1, 2020
Latest News New article accepted for publication in the ACM Transactions on Internet Technology January 22, 2020
Latest News New paper accepted at the ACM/IEEE Design, Automation and Test in Europe (DATE) Conference 2020 November 29, 2019
Latest News Paper accepted at the international Forum on specification and Design Languages (FDL 2019) July 30, 2019
Latest News Paper accepted at IEEE International Conference on Industrial Informatics 2019 May 23, 2019
