Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2010 | 2009 | 2006
Number of items: 5.

2014

Kordy, Piotr and Langerak, Rom and Mauw, Sjouke and Polderman, Jan Willem (2014) A Symbolic Algorithm for the Analysis of Robust Timed Automata. In: 19th International Symposium on Formal Methods, FM 2014, 12-16 May 2014, Singapore (pp. pp. 351-366).

2013

Kordy, Barbara and Kordy, Piotr and Mauw, Sjouke and Schweitzer, Patrick (2013) ADTool: security analysis with attack-defense trees. In: 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 173-176).

2010

Kordy, Piotr and Langerak, Rom and Polderman, Jan Willem (2010) Re-verification of a Lip Synchronization Protocol using Robust Reachability. In: Proceedings FM-09 Workshop on Formal Methods for Aerospace. Electronic Proceedings in Theoretical Computer Science, 20 . EPTCS, pp. 49-62.

2009

Kordy, Piotr and Langerak, Rom and Polderman, Jan Willem (2009) Re-verification of a Lip Synchronization Algorithm using robust reachability. In: Formal Methods for Aerospace, FMA, 03 Nov 2009, Eindhoven, The Netherlands.

2006

Daws, C.F. and Kordy, P.T. (2006) Symbolic Robustness Analysis of Timed Automata. In: Formal Modeling and Analysis of Timed Systems, 25-27 September 2006, Paris,France (pp. pp. 143-155).

This list was generated on Thu Dec 18 05:37:52 2014 CET.