Author Publications

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

2014

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).

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: 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´e 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, 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).

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).

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 Aug 23 05:25:53 2014 CEST.