EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Research Project: S3CADA: Secure and Survivable SCADA

Home Policy Brochure Browse Search User Area Contact Help

2010

Gribaudo, M. and Remke, A.K.I. (2010) Hybrid Petri nets with general one-shot transitions for dependability evaluation of fluid critical infrastructures. In: 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010, 3-4 Nov 2010, San Jose, USA. pp. 84-93. IEEE Computer Society. ISBN 978-0-7695-4292-8

Haverkort, B.R.H.M. and Kuntz, G.W.M. and Leitner-Fischer, F. and Remke, A.K.I. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 852-860. Taylor & Francis. ISBN 978-0-415-60427-7

Haverkort, B.R.H.M. and Kuntz, G.W.M. and Remke, A.K.I. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society. ISBN 978-1-4244-7499-8

Kuntz, G.W.M. and Haverkort, B.R.H.M. and Remke, A.K.I. and Roolvink, S. (2010) Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 27-34. Taylor & Francis Group. ISBN 978-0-415-60427-7

2009

Camacho, J. and de Boer, P.T. and Remke, A.K.I. (2009) Survivability of SCADA Control Loop. Technical Report TR-CTIT-09-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Haverkort, B.R.H.M. and Remke, A.K.I. and Hartel, P.H. (2009) Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren. Bits en chips, 11 (16). pp. 23-23. ISSN 1879-6443

Roolvink, S. and Remke, A.K.I. and Stoelinga, M.I.A. (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: 9th International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary. pp. 4-7. PMCCS 2009. Budapest University of Technology and Economics. ISBN not assigned