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 Symposium on Software Testing and Analysis (ISSTA) SyncProf: detecting, localizing, and optimizing synchronization bottlenecks
International Symposium on Software Testing and Analysis (ISSTA) Monkey see, monkey do: effective generation of GUI tests with inferred macro events
ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) Parallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-Ford
IEEE International Symposium on Information Theory (ISIT) Hierarchy of Three-Party Consistency Specifications
SIAM International Conference on Data Mining (SDM) Linear-time Detection of Non-linear Changes in Massively High Dimensional Time Series
SIAM International Conference on Data Mining (SDM) Flexibly Mining Better Subgroups
SIAM International Conference on Data Mining (SDM) Universal Dependency Analysis
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Kizzle: A Signature Compiler for Detecting Exploit Kits
World Environmental and Water Resources Congress Assessing the Effect of Cyber-Physical Attacks on Water Distribution Systems