EEMCS

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

EEMCS EPrints Service


Research Project: Dependability Analysis Of Fluid Critical Infrastructures Using Stochastic Hybrid Models
Home Policy Brochure Browse Search User Area Contact Help

2016

Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. (2016) Survivability analysis of a sewage treatment facility using hybrid Petri nets. Performance evaluation, 97. pp. 36-56. ISSN 0166-5316 *** ISI Impact 0,944 ***
Jongerden, M.R. and Hüls, J. and Haverkort, B.R.H.M. and Remke, A.K.I. (2016) Assessing the Cost of Energy Independence. In: Proceedings of the IEEE International Energy Conference, ENERGYCON 2016, 4-8 Apr 2016, Leuven, Belgium. pp. 1-6. IEEE Power & Energy Society. ISBN 978-1-4673-8464-3

2015

Ghasemieh, H. and Haverkort, B.R.H.M. and Jongerden, M.R. and Remke, A.K.I. (2015) Energy Resilience Modeling for Smart Houses. In: Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, 22-25 June 2015, Rio de Janeiro, Brasil. pp. 275-286. IEEE Computer Society. ISBN 978-1-4799-8629-3

2014

Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. (2014) Hybrid Petri nets with multiple stochastic transition firings. In: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2014, 9-11 Dec 2014, Bratislava, Slovakia. pp. 217-224. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. ISBN 978-1-63190-057-0
Postema, B.F. and Remke, A.K.I. and Haverkort, B.R.H.M. and Ghasemieh, H. (2014) Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. In: 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014, 17-19 Mar 2014, Bamberg, Germany. pp. 255-259. Lecture Notes in Computer Science 8376. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-05358-5

2013

Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. (2013) Survivability evaluation of fluid critical infrastructures using hybrid Petri nets. In: Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013, 02-04 Dec 2013, Vancouver, Canada. pp. 152-161. IEEE Computer Society. ISBN 978-0-7695-5130-2
Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. (2013) Analysis of a sewage treatment facility using hybrid Petri nets. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013, 10-12 Dec 2013, Torino, Italy. pp. 165-174. ACM. ISBN 978-1-936968-48-0
Remke, A.K.I. and Wu, Xian (2013) WirelessHART modeling and performance evaluation. In: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2013, 24-27 June 2013, Budapest, Hungary. pp. 1-12. IEEE Computer Society. ISSN 1530-0889 ISBN 978-1-4673-6471-3

2012

Avritzer, A. and Di Giandomenico, F. and Remke, A.K.I. and Riedl, M. (2012) Assessing dependability and resilience in critical infrastructures: challenges and opportunities. In: Resilience assessment and evaluation of computing systems. Springer Verlag, Berlin, pp. 41-63. ISBN 978-3-642-29031-2
Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. and Gribaudo, M. (2012) Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. In: 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), 18-20 Sep 2012, London, UK. pp. 139-154. Lecture Notes in Computer Science 7595. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33364-4