Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004
Number of items: 50.

2016

Chromik, Justyna J. and Remke, Anne and Haverkort, Boudewijn R. (2016) Improving SCADA security of a local process with a power grid model. In: 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016, 23-25 August 2016, Belfast, UK (pp. pp. 114-123).

Chromik, Justyna J. and Remke, Anne and Haverkort, Boudewijn R. (2016) What's under the hood? Improving SCADA security with process awareness. In: Joint Workshop on Cyber-physical Security and Resilience in Smart Grids, CPSR-SG 2016, 12 April 2016, Vienna, Austria.

Jongerden, Marijn R. and Hüls, Jannik and Haverkort, Boudewijn R. and Remke, Anne (2016) Assessing the Cost of Energy Independence. In: IEEE International Energy Conference, ENERGYCON 2016, 4-8 April 2016, Leuven, Belgium (pp. pp. 1-6).

Jongerden, Marijn R. and Hüls, Jannik and Remke, Anne and Haverkort, Boudewijn R. (2016) Does your domestic photovoltaic energy system survive grid outages? Energies, 9 (9). p. 736. ISSN 1996-1073

2015

Berg, Freek van den and Hooman, Jozef and Hartmanns, Arnd and Haverkort, Boudewijn R. and Remke, Anne (2015) Computing response time distributions using iterative probabilistic model checking. In: 12th European Workshop on Computer Performance Engineering, EPEW 2015, 31 August - 1 September 2015, Madrid, Spain (pp. pp. 208-224).

Berg, Freek van den and Remke, Anne and Haverkort, Boudewijn R. (2015) iDSL: automated performance prediction and analysis of medical imaging systems. In: 12th European Workshop on Computer Performance Engineering, EPEW 2015, 31 August - 1 September 2015, Madrid, Spain (pp. pp. 227-242).

Ghasemieh, Hamed and Haverkort, Boudewijn R. and Jongerden, Marijn R. and Remke, Anne (2015) Energy resilience modeling for smart houses. In: 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, 22-25 June 2015, Rio de Janeiro, Brasil (pp. pp. 275-286).

Ghasemieh, Hamed and Remke, Anne and Haverkort, Boudewijn R. (2015) Survivability analysis of a sewage treatment facility using hybrid Petri nets. Performance evaluation, 97 . pp. 36-56. ISSN 0166-5316

2014

Berg, Freek van den and Remke, Anne and Haverkort, Boudewijn R. (2014) A domain specific language for performance evaluation of medical imaging systems. In: 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, 14 April 2014, Berlin, Germany (pp. pp. 80-93).

Ghasemieh, Hamed and Remke, Anne and Haverkort, Boudewijn R. (2014) Hybrid Petri nets with multiple stochastic transition firings. In: 8th International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2014, 9-11 December 2014, Bratislava, Slovakia (pp. pp. 217-224).

Heijenk, Geert and Eenennaam, Martijn van and Remke, Anne (2014) Performance comparison of IEEE 802.11 DCF and EDCA for beaconing in vehicular networks. In: 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, 8-10 September 2014, Florence, Italy (pp. pp. 154-169).

Kolesnichenko, Anna and Senni, Valerio and Pourranjabar, Alireza and Remke, Anne (2014) Applying mean-field approximation to continuous time Markov chains. In: A.K.I. Remke & M.I.A. Stoelinga (Eds.), Stochastic model checking: rigorous dependability analysis using model checking techniques for stochastic systems: International Autumn School ROCKS 2012. Lecture notes in computer science, 8453 . Springer, Berlin, Germany, pp. 242-280. ISBN 9783662454886

Postema, Björn and Remke, Anne and Haverkort, Boudewijn R. and Ghasemieh, Hamed (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 March 2014, Bamberg, Germany (pp. pp. 255-259).

Remke, Anne and Stoelinga, Mariëlle , eds. (2014) Stochastic model checking: rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanced Lectures. Lecture notes in computer science ; 8453 . Springer, Berlin, Germany.

2013

Berg, Freek van den and Remke, Anne and Mooij, Arjan and Haverkort, Boudewijn (2013) Performance evaluation for collision prevention based on a domain specic language. In: 10th European Workshop on Performance Engineering, EPEW 2013, 16-17 September 2013, Venice, Italy (pp. pp. 276-287).

Ghasemieh, Hamed and Remke, Anne and Haverkort, Boudewijn R. (2013) Survivability evaluation of fluid critical infrastructures using hybrid Petri nets. In: 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013, 2-4 December 2013, Vancouver, Canada.

Ghasemieh, Hamed and Remke, Anne and Haverkort, Boudewijn R. (2013) Analysis of a sewage treatment facility using hybrid Petri nets. In: 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013, 10-12 December 2013, Torino, Italy.

Kolesnichenko, Anna and Boer, Pieter-Tjerk de and Remke, Anne and Haverkort, Boudewijn R. (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. pp. 1-12).

Remke, Anne 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. pp. 1-12).

2012

Avritzer, Alberto and Di Giandomenico, Felicita and Remke, Anne and Riedl, Martin (2012) Assessing dependability and resilience in critical infrastructures: challenges and opportunities. In: Katinka Wolter & Alberto Avritzer & Marco Vieira & Aad van Moorsel (Eds.), Resilience assessment and evaluation of computing systems. Springer, Berlin, Germany, pp. 41-63. ISBN 9783642290312

Eenennaam, Martijn van and Remke, Anne and Heijenk, Geert (2012) An analytical model for beaconing in VANETs. In: Fourth IEEE Vehicular Networking Conference, VNC 2012, 14-16 November 2012, Seoul, South Korea (pp. pp. 9-16).

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 September 2012, London, UK (pp. pp. 139-154).

Kolesnichenko, Anna and Remke, Anne and Boer, Pieter-Tjerk de and Haverkort, Boudewijn R. (2012) A logic for model-checking of mean-field models. [Report]

Sadre, Ramin and Remke, Anne and Hettinga, Sjors and Haverkort, Boudewijn (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 Tolarance, MMB & DFT 2012, 19-21 March 2012, Kaiserslautern, Germany (pp. pp. 166-181).

2011

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance Evaluation, 68 (2). pp. 105-125. ISSN 0166-5316

Kolesnichenko, Anna and Boer, Pieter-Tjerk de and Remke, Anne and Zambon, Emmanuele and Haverkort, Boudewijn R. (2011) Is Quantitative Analysis of Stuxnet Possible? In: 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, September 5-8, 2011, Aachen, Germany (pp. pp. 9-10).

Kolesnichenko, Anna and Remke, Anne and Boer, Pieter-Tjerk de and Haverkort, Boudewijn (2011) Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Octtober 2011, Borrowdale, United Kingdom (pp. pp. 133-147).

2010

Gribaudo, Marco and Remke, Anne (2010) Hybrid Petri nets with general one-shot transitions for dependability evaluation. In: IEEE 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010, 3-4 Nov 2010, San Jose, USA (pp. pp. 84-93).

Haverkort, B.R. and Kuntz, M. and Leitner-Fischer, F. and Remke, A. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos (pp. pp. 852-860).

Haverkort, B.R. and Kuntz, M. and Remke, A. and Roolvink, S. (2010) Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos (pp. pp. 27-34).

Haverkort, B.R. and Kuntz, M. and Remke, A. 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 2010, 28 June - 1 July 2010, Chicago, IL, USA (pp. pp. 419-424).

Remke, Anne and Haverkort, Boudewijn R. and Heijenk, Geert and Bax, Jesper (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 March 2010, Essen, Germany (pp. pp. 168-182).

2009

Broek, J.G. van den and Remke, A. 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. pp. 54-58).

Camacho, José and Boer, Pieter-Tjerk de and Remke, Anne (2009) The Survivability of SCADA Control Loop. [Report]

Haverkort, Boudewijn and Remke, Anne and Hartel, Pieter (2009) Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 11 (16). p. 23. ISSN 1879-6443

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 133-142).

Roolvink, Stephan and Remke, Anne and Stoelinga, Mariëlle (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: Ninth International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary (pp. pp. 4-7).

Schippers, Jorrit and Remke, Anne and Punt, Henk and Wegdam, Maarten and Haverkort, Boudewijn (2009) A Massively Scalable Architecture For Instant Messaging & Presence. In: Fourth International Workshop on Practical Applications of Stochastic Modelling, PASM 2009, 24 September 2009, London, UK. (In Press)

2008

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. pp. 188-202).

Remke, Anne (2008) Model checking structured infinite Markov chains. thesis.

Remke, Anne and Haverkort, Boudewijn R. and Heijenk, Geert and Cloth, Lucia (2008) Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. In: 15th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA, June 4-6, 2008, Nicosia, Cyprus (pp. pp. 279-294).

2007

Remke, Anne and Haverkort, Boudewijn R. (2007) CSL Model Checking Algorithms for Infinite-state Structured Markov chains. In: 5th International Conferenceon Formal Modeling and Analysis of Timed Systems, FORMATS 2007, October 3-5, 2007, Salzburg, Austria (pp. pp. 336-351).

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2007) CSL model checking algorithms for QBDs. Theoretical Computer Science, 382 (1). pp. 24-41. ISSN 0304-3975

2006

Remke, A. and Haverkort, B.R. 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. pp. 23-26).

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (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 September 2006, Riverside, CA, USA (pp. pp. 63-72).

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (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 (pp. p. 7).

2005

Remke, Anne and Haverkort, Boudewijn R. (2005) Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. In: 7th International Workshop on Performability Modeling of Computer and Communication Systems, 23-24 Oct 2005, Turin, Italy (pp. pp. 23-26).

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2005) Model checking Infinite-State Markov Chains. In: 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 4-8 April 2005, Edinburgh, UK (pp. pp. 237-252).

2004

Remke, A.K.I. (2004) Model checking Quasi Birth Death processes. [Masters Thesis]

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2004) Model checking infinite-state Markov chains. [Report]

This list was generated on Sat Feb 25 05:45:37 2017 CET.