Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
International Conference on Web Information Systems Engineering (WISE) A Graph-Based Approach to Explore Relationship Between Hashtags and Images
International Symposium on Automated Technology for Verification and Analysis (ATVA) Truth Assignments as Conditional Autarkies
Formal Methods in Computer-Aided Design (FMCAD) GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.
Formal Methods in Computer-Aided Design (FMCAD)
ISPA/IUCC Trusted Autonomous Vehicles: an Interactive Exhibit
Fundamenta Informaticae