Symbolic Robustness Analysis of Timed Automata. - Conrado Daws; Piotr Kordy (FORMATS, 2006)

Re-verification of a Lip Synchronization Protocol using Robust Reachability - Piotr Kordy; Rom Langerak; Jan Willem Polderman (FMA, 2009)

ADTool: Security Analysis with Attack-Defense Trees. - Barbara Kordy; Piotr Kordy; Sjouke Mauw; Patrick Schweitzer (QEST, 2013)

ADTool: Security Analysis with Attack- Defense Trees (Extended Version) - Barbara Kordy; Piotr Kordy; Sjouke Mauw; Patrick Schweitzer (CoRR, 2013)

A Symbolic Algorithm for the Analysis of Robust Timed Automata. - Piotr Kordy; Rom Langerak; Sjouke Mauw; Jan Willem Polderman (FM, 2014)

MinUS: Mining User Similarity with Trajectory Patterns. - Xihui Chen; Piotr Kordy; Ruipeng Lu; Jun Pang 001 (ECML/PKDD (3), 2014)

SPTool - Equivalence Checker for SAND Attack Trees. - Barbara Kordy; Piotr Kordy; Yoann van den Boom (CRiSIS, 2016)

Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0. - Olga Gadyatskaya; Ravi Jhawar; Piotr Kordy; Karim Lounis; Sjouke Mauw; Rolando Trujillo-Rasua (QEST, 2016)