Latest news

PRODeep: a platform for robustness verification of deep neural networks (06 Jul 2020)
PRODeep is a platform for robustness verification of deep neural networks (DNNs). It incorporates constraint-based, abstraction-based, and optimization-based robustness verification...
JCST special section on software systems 2020 (29 Mar 2020)
The Journal of Computer Science & Technology, a CCF B ranked journal, is going to have a special section on...
The 24th International Conference on Engineering of Complex Computer Systems was rounded off (15 Nov 2019)
The 24th international conference on engineering of complex computer systems (ICECCS 2019) was held on 10th – 13th November in...
Professor Bow-Yaw Wang (Academia Sinica) visited our lab (23 Aug 2019)
Professor Bow-Yaw Wang, from Academia Sinica, paid a visit to the Sino-Europe Institute of Dependable and Smart Software during Jul....
Professor Panagiotis Katsaros (Aristotle University of Thessaloniki) visited our lab (23 Aug 2019)
Professor Panagiotis Katsaros, from Aristotle University of Thessaloniki, paid a visit to the Sino-Europe Institute of Dependable and Smart Software...