EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Mauw, S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 5.

2016

Probst, C.W. and Willemson, J. and Pieters, W. (2016) The Attack Navigator (Invited). In: Graphical Models for Security - Revised Selected Papers. Lecture Notes in Computer Science 9390. Springer Verlag, Berlin, pp. 1-17. ISSN 0302-9743 ISBN 978-3-319-29967-9

2015

Ivanova, M.G. and Probst, C.W. and Hansen, R.R. and Kammüller, F. (2015) Transforming Graphical System Models To Graphical Attack Models. In: The Second International Workshop on Graphical Models for Security (GraMSec 2015), 13 Jul 2015, Verona, Italy. pp. 82-96. Lecture Notes in Computer Science 9390. Springer Verlag. ISBN 978-3-319-29967-9

2014

Kordy, B. and Mauw, S. and Pieters, W., ed. (2014) Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, 12th April, 2014. EPTCS 148. EPTCS.ORG. ISSN 2075-2180

1999

Baier, C. and Katoen, J.P. and Hermanns, H. (1999) Approximate symbolic model checking of continous-time Markov chains. In: CONCUR '99: Concurrency Theory, 10th International Conference, August 24-27, 1999, Eindhoven, The Netherlands. pp. 146-162. Lecture Notes in Computer Science 1664. Springer-Verlag. ISBN 3-540-66425-4
Tretmans, G.J. (1999) Testing Concurrent Systems: A Formal Approach. In: CONCUR'99 - Concurrency Theory: 10th International Conference, August 1999, Eindhoven, The Netherlands. pp. 46-65. Lecture Notes in Computer Science 1664. Springer Verlag. ISBN 3-540-66425-4

This list was generated on Mon Mar 27 05:14:43 CEST 2017.