EEMCS

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

EEMCS EPrints Service


Author: Remke, A.K.I.
Home Policy Brochure Browse Search User Area Contact Help

2016

Chromik, J.J. and Remke, A.K.I. and Haverkort, B.R.H.M. (2016) Improving SCADA security of a local process with a power grid model. In: Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016, 23-25 Aug 2016, Belfast, UK. pp. 114-123. Electronic Workshops in Computing. BCS Learning & Development Ltd.. ISSN 1477-9358
Chromik, J.J. and Remke, A.K.I. and Haverkort, B.R.H.M. (2016) What's under the hood? Improving SCADA security with process awareness. In: Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016), 12 Apr 2016, Vienna, Austria. IEEE. ISBN 978-1-5090-1165-0
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
Jongerden, M.R. and Huls, J. and Remke, A.K.I. and Haverkort, B.R.H.M. (2016) Does Your Domestic Photovoltaic Energy System Survive Grid Outages? Energies, 9 (9). 736. ISSN 1996-1073 *** ISI Impact 2,077 ***

2015

van den Berg, F.G.B. and Hooman, Jozef and Hartmanns, A. and Haverkort, B.R.H.M. and Remke, A.K.I. (2015) Computing Response Time Distributions Using Iterative Probabilistic Model Checking. In: Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, 31 Aug - 1 Sep 2015, Madrid, Spain. pp. 208-224. Lecture notes in computer science 9272. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-23266-9
van den Berg, F.G.B. and Remke, A.K.I. and Haverkort, B.R.H.M. (2015) iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. In: Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, 30 Aug - 1 Sep 2015, Madrid, Spain. pp. 227-242. Lecture Notes in Computer Science 9272. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-23266-9
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

van den Berg, F.G.B. and Remke, A.K.I. and Haverkort, B.R.H.M. (2014) A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. In: Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, 14 Apr 2014, Berlin, Germany. pp. 80-93. OASICS 36. Schloss Dagstuhl. ISSN 2190-6807 ISBN 978-3-939897-66-8
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
Heijenk, G.J. and van Eenennaam, E.M. and Remke, A.K.I. (2014) Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks. In: Proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, 08-10 Sept 2014, Florence, Italy. pp. 154-169. Lecture Notes in Computer Science 8657. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-10695-3
Kolesnichenko, A.V. and Senni, V. and Pourranjabar, A. and Remke, A.K.I. (2014) Applying Mean-Field Approximation to Continuous Time Markov Chains. In: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: Advanced Lectures of the International Autumn School ROCKS 2012. Lecture Notes in Computer Science 8453. Springer Verlag, Berlin, pp. 242-280. ISSN 0302-9743 ISBN 978-3-662-45488-6
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

van den Berg, F.G.B. and Remke, A.K.I. and Mooij, A. and Haverkort, B.R.H.M. (2013) Performance evaluation for collision prevention based on a domain specic language. In: Proceedings of the 10th European Workshop on Performance Engineering, EPEW 2013, 16-17 Sep 2013, Venice, Italy. pp. 276-287. Lecture Notes in Computer Science 8168. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40724-6
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
Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Haverkort, B.R.H.M. (2013) A logic for model-checking mean-field models. In: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 24-27 June 2013, Budapest, Hungary. pp. 1-12. International Conference on Dependable Systems and Networks. IEEE. ISSN 1530-0889 ISBN 978-1-4673-6471-3
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
van Eenennaam, E.M. and Remke, A.K.I. and Heijenk, G.J. (2012) An analytical model for beaconing in VANETs. In: Fourth IEEE Vehicular Networking Conference (VNC 2012), 14-16 Nov 2012, Seoul, South Korea. pp. 9-16. IEEE Communications Society. ISSN 2157-9865 ISBN 978-1-4673-4995-6
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
Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. (2012) A logic for model-checking of mean-field models. Technical Report TR-CTIT-12-11, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Sadre, R. and Remke, A.K.I. and Hettinga, S.A. and Haverkort, B.R.H.M. (2012) Simulative and Analytical Evaluation for ASD-Based Embedded Software. In: 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings, 19-21 Mar 2012, Kaiserslautern, Germany. pp. 166-181. Lecture Notes in Computer Science 7201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28539-4

2011

Klink, D. and Remke, A.K.I. and Haverkort, B.R.H.M. and Katoen, J.P. (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance evaluation, 68 (2). pp. 105-125. ISSN 0166-5316 *** ISI Impact 0,944 ***
Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Zambon, Emmanuele and Haverkort, B.R.H.M. (2011) Is Quantitative Analysis of Stuxnet Possible? In: QEST 2011: Fast Abstracts, 5-8 Sep 2011, Aachen, Germany. pp. 9-10. CTIT Workshop Proceedings WP11-03. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. (2011) Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Oct 2011, Borrowdale, United Kingdom. pp. 133-147. Lecture Notes in Computer Science 6977. Springer Verlag. ISSN 0302-9743

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
Remke, A.K.I. and Haverkort, B.R.H.M. and Heijenk, G.J. and Bax, J. (2010) Setting the parameters right for two-hop IEEE 802.11e ad hoc networks. In: 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, 15-17 Mar 2010, Essen, Germany. pp. 168-182. Lecture Notes in Computer Science 5987. Springer Verlag. ISBN 978-3-642-12103-6
Schippers, J. and Remke, A.K.I. and Punt, H. and Wegdam, M. and Haverkort, B.R.H.M. (2010) A Massively Scalable Architecture for Instant Messaging & Presence. In: Fourth International Workshop on Practical Applications of Stochastic Modelling, 24 Sept 2009, London. pp. 109-130. Electronic Notes in Theoretical Computer Science 261. Elsevier. ISSN 1571-0661

2009

van den Broek, G. and Remke, A.K.I. and Gribaudo, M. (2009) Survivability study of a Water Cleaning Facility using Fluid Stochastic Petri Nets. In: Ninth International Workshop on Performability of Computer and Communication Systems, 17-18 Sept 2009, Eger, Hungary. pp. 54-58. Budapest University of Technology and Economics. ISBN not assigned
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
Klink, D. and Remke, A.K.I. and Haverkort, B.R.H.M. and Katoen, J.P. (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09), 13-16 Sept 2009, Budapest, Hungary. pp. 133-142. IEEE Computer Society. ISBN 978-0-7695-3808-2
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

2008

Remke, A.K.I. (2008) Model Checking Structured Infinite Markov Chains. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-118 ISBN 978-90-8570-304-4
Remke, A.K.I. and Haverkort, B.R.H.M. (2008) A uniformization-based algorithm for model checking the CSL until operator on labeled queueing networks. In: The 6th International Conference on Formal Modelling and Analysis of Timed Systems, 15-17 Sept 2008, St. Malo, France. pp. 188-202. Lecture Notes in Computer Science. Springer Verlag. ISSN 0302-9743
Remke, A.K.I. and Haverkort, B.R.H.M. and Heijenk, G.J. and Cloth, L. (2008) Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. In: Analytical and Stochastic Modeling Techniques and Application, 04-06 Jun 2008, Nicosia, Cyprus. pp. 279-294. Lecture Notes in Computer Science 5055. Springer. ISSN 0302-9743 ISBN 978-3-540-68980-5

2007

Remke, A.K.I. and Haverkort, B.R.H.M. (2007) CSL Model Checking Algorithms for Infinite-state Structured Markov chains. In: 5th International Conference, FORMATS 2007, 3-5 Oct 2007, Salzburg. pp. 336-351. Lecture Notes in Computer Science 4763. Springer Verlag. ISBN 978-3-540-75453-4
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2007) CSL model checking algorithms for QBDs. Theoretical computer science, 382 (1). pp. 24-41. ISSN 0304-3975 *** ISI Impact 0,643 ***

2006

Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 Sept 2006, Riverside, CA. pp. 63-72. IEEE Computer Society. ISBN 0769526659
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs. In: First International Conference on Performance Evaluation Methodologies and Tools, 10 Oct 2006, Pisa, Italy. 7. ACM. ISBN 1-59593-506-1
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way. In: Stochastic Performance Models for Resource Allocation in Communication Systems, 8-10 Nov 2006, Amsterdam, the Netherlands. pp. 23-26. Centrum voor Wiskunde en Informatica. ISBN not assigned

2005

Remke, A.K.I. and Haverkort, B.R.H.M. (2005) Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. In: Proceedings of the 7th International Workshop on Performability Modeling of Computer and communication Systems, 23-24 Oct 2005, Turin. pp. 23-26. Alma Riska, Andras Horvath. ISBN not assigned
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2005) Model checking Infinite-State Markov Chains. In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005), 4-8 Apr 2005, Edinburgh, UK. pp. 237-252. Lecture Notes in Computer Science 3440. Springer. ISBN 9783540253334

2004

Remke, A.K.I. (2004) Model checking Quasi Birth Death processes. Master's thesis, RWTH Aachen.
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2004) Model Checking Infinite-State Markov Chains. Technical Report TR-CTIT-04-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625