Send email Copy Email Address

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.

Filter

Year 2020

Conference / Medium

ATVA
LNCS, Volume 1230218th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020

Conference / Medium

ATVA
Lecture Notes in Computer ScienceAutomated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Conference / Medium

ATVA
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020

Conference / Medium

RV
Runtime VerificationRV 2020

Conference / Medium

RV
Runtime VerificationRV 2020

Conference / Medium

ICAPS
System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20)System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20)