P. Kordy

ADTool: Security Analysis with Attack-Defense Trees (Tool Demonstration Paper)

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2013 .

MinUS: Mining User Similarity with Trajectory Patterns

Jun Pang, Ruipeng Lu, Piotr Kordy, 2014, ECML/PKDD.

Symbolic Robustness Analysis of Timed Automata

Conrado Daws, Piotr Kordy, C. Daws, 2006, FORMATS.

A Symbolic Algorithm for the Analysis of Robust Timed Automata

Jan Willem Polderman, Sjouke Mauw, Rom Langerak, 2014, FM.