Piotr Kordy

According to our database, Piotr Kordy authored at least 8 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

SPTool - Equivalence Checker for SAND Attack Trees.

Barbara Kordy, Piotr Kordy, Yoann van den Boom

Proceedings of the Risks and Security of Internet and Systems, 2016

2014

MinUS: Mining User Similarity with Trajectory Patterns.

Xihui Chen, Piotr Kordy, Ruipeng Lu, Jun Pang

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2014

A Symbolic Algorithm for the Analysis of Robust Timed Automata.

Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman

Proceedings of the FM 2014: Formal Methods, 2014

2013

ADTool: Security Analysis with Attack- Defense Trees (Extended Version)

Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer

CoRR, 2013

ADTool: Security Analysis with Attack-Defense Trees.

Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2009

Re-verification of a Lip Synchronization Protocol using Robust Reachability

Piotr Kordy, Rom Langerak, Jan Willem Polderman

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2006

Symbolic Robustness Analysis of Timed Automata.

Conrado Daws, Piotr Kordy

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006