Piotr Kordy
According to our database1,
Piotr Kordy
authored at least 8 papers
between 2006 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
0
1
2
3
1
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Proceedings of the Risks and Security of Internet and Systems, 2016
2014
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2014
Proceedings of the FM 2014: Formal Methods, 2014
2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
2009
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006