Publications
Scientific Publications are the most important measure of our scientific excellence and impact. In the past years, CISPA researchers have published many papers at scientific conferences – most of which were in top-tier conferences – and articles in prestigious journals. The publications from 2011 onwards are listed in our publications database, including a direct link to the original paper.
International Conference on Runtime Verification (RV)
Runtime Verification
International Conference on Runtime Verification (RV)
Runtime Verification
NeurIPS-Workshop (NeurIPS-W)
Workshop on Approximation and Online Algorithms (WAOA)
Conference on Neural Information Processing Systems (NeurIPS)
IEEE Symposium on Security and Privacy (S&P)
International Symposium on Algorithms and Computation (ISAAC)
Conference on Neural Information Processing Systems (NeurIPS)