Boudewijn R. Haverkort

发表

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, Proceedings International Conference on Dependable Systems and Networks.
Boudewijn R. Haverkort, Anne Remke, B. Haverkort, 2007, FORMATS.
Kishor S. Trivedi, Boudewijn R. Haverkort, B. Haverkort, 1992 .
Boudewijn R. Haverkort, Anne Remke, Nigel Thomas, 2016, Electron. Notes Theor. Comput. Sci..
Boudewijn R. Haverkort, Katinka Wolter, Pankaj K. Garg, 2002, Computer Performance Evaluation / TOOLS.
Boudewijn R. Haverkort, M. R. van der Werff, 1993 .
Boudewijn R. Haverkort, Mehmet Aksit, Rene Mostert, 1990 .
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, 2010, QEST.
Matthias Kuntz, Boudewijn R. Haverkort, Mariëlle Stoelinga, 2007 .
Boudewijn R. Haverkort, Lucia Cloth, B. Haverkort, 2006 .
Christel Baier, Matthias Kuntz, Boudewijn R. Haverkort, 2007, IEEE Transactions on Software Engineering.
Boudewijn R. Haverkort, 2001 .
Boudewijn R. Haverkort, Wan Fokkink, Lucia Cloth, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Boudewijn R. Haverkort, M. R. van der Werff, M.H.K. de Grijp, 1993 .
Boudewijn R. Haverkort, Arjan J. Mooij, Anne Remke, 2013, EPEW.
Christel Baier, Matthias Kuntz, Boudewijn R. Haverkort, 2004, International Conference on Dependable Systems and Networks, 2004.
Boudewijn R. Haverkort, Michel Mandjes, Willem R.W. Scheinhardt, 2004 .
Boudewijn R. Haverkort, N. M. van Dijk, E. Smeitink, 1990 .
Boudewijn R. Haverkort, Byung G. Kim, Hessel P. Idzenga, 1994, Modelling and Evaluation of ATM Networks.
Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp, 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).
Matthias Kuntz, Boudewijn R. Haverkort, Anne Remke, 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2015, EAI Endorsed Trans. Self Adapt. Syst..
Vahid Garousi, Boudewijn R. Haverkort, Bedir Tekinerdogan, 2018, 2018 13th Annual Conference on System of Systems Engineering (SoSE).
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2008, ASMTA.
Ramin Sadre, Boudewijn R. Haverkort, 2011 .
Boudewijn R. Haverkort, Freek van den Berg, Björn F. Postema, 2016, QAPL.
Boudewijn R. Haverkort, Peter Janssen, Leonard Franken, 1994 .
Boudewijn R. Haverkort, Alexander Bell, Alexander Bell, 2006, Formal Methods Syst. Des..
Boudewijn R. Haverkort, Aad P. A. van Moorsel, A. Moorsel, 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.
Boudewijn R. Haverkort, Gianfranco Ciardo, Reinhard German, 2002, IEEE Trans. Software Eng..
Aiko Pras, Boudewijn R. Haverkort, Ricardo de Oliveira Schmidt, 2013, Prax. Inf.verarb. Kommun..
Boudewijn R. Haverkort, Marko Schuba, Gaby Schneider, 2000, Perform. Evaluation.
Boudewijn R. Haverkort, 2001 .
Joost-Pieter Katoen, Boudewijn R. Haverkort, Holger Hermanns, 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.
Ramin Sadre, Boudewijn R. Haverkort, Rachid El Abdouni Khayari, 2002, Proceedings International Conference on Dependable Systems and Networks.
Joost-Pieter Katoen, Boudewijn R. Haverkort, Anne Remke, 2011, Perform. Evaluation.
Boudewijn R. Haverkort, Leonard Franken, Leonard J. N. Franken, 1996 .
Jozef Hooman, Boudewijn R. Haverkort, Freek van den Berg, 2018, MMB.
Morten Bisgaard, Boudewijn R. Haverkort, Kim Guldstrand Larsen, 2018, Acta Astronautica.
Boudewijn R. Haverkort, Lucia Cloth, Henrik C. Bohnenkamp, 2001, PAPM-PROBMIV.
Boudewijn R. Haverkort, 2013, IEEE Security & Privacy.
Joost-Pieter Katoen, Lothar Thiele, Boudewijn R. Haverkort, 2007 .
Boudewijn R. Haverkort, Nico M. van Dijk, E. Smeitink, 1990 .
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, Performance.
Boudewijn R. Haverkort, B. Haverkort, 1999, Application of Petri Nets to Communication Networks.
Boudewijn R. Haverkort, Björn F. Postema, Niels J. Geuze, 2018, e-Energy.
Boudewijn R. Haverkort, Marko Schuba, Gaby Schneider, 1998, Computer Performance Evaluation.
Boudewijn R. Haverkort, B. Haverkort, 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.
Boudewijn R. Haverkort, Lucia Cloth, Marijn R. Jongerden, 2006 .
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, PERV.
Boudewijn R. Haverkort, Leonard J. N. Franken, Raymond H. Pijpers, 1994, Computer Performance Evaluation.
Matthias Kuntz, Boudewijn R. Haverkort, 2007 .
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, Theor. Comput. Sci..
Boudewijn R. Haverkort, Anne Remke, Maarten Wegdam, 2009 .
Ramin Sadre, Boudewijn R. Haverkort, 2000, Computer Performance Evaluation / TOOLS.
Boudewijn R. Haverkort, Georgios Karagiannis, Gunnar Karlsson, 2008, IWQoS 2008.
Ignas G. Niemegeers, Boudewijn R. Haverkort, I. Niemegeers, 1989, SIGMETRICS.
Matthias Kuntz, Boudewijn R. Haverkort, 2007, EPEW.
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2005, TACAS.
Boudewijn R. Haverkort, ByungGuk Kim, Hessel P. Idzenga, 1995 .
Boudewijn R. Haverkort, José M. Martínez, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Boudewijn R. Haverkort, Ellen Giebels, Mariëlle Stoelinga, 2016 .
Boudewijn R. Haverkort, Anne Remke, Marijn R. Jongerden, 2016, 2016 IEEE International Energy Conference (ENERGYCON).
Boudewijn R. Haverkort, 2001 .
Boudewijn R. Haverkort, Henrik C. Bohnenkamp, B. Haverkort, 1999, ARTS.
Boudewijn R. Haverkort, Leonard Franken, Leonard J. N. Franken, 1994 .
Boudewijn R. Haverkort, Björn Frits Postema, 2014 .
Boudewijn R. Haverkort, Freek van den Berg, 2020, MMB.
Boudewijn R. Haverkort, Marijn R. Jongerden, 2017, QEST.
Boudewijn R. Haverkort, 2001 .
Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew J. Rindos, 1994, Computer Performance Evaluation.
Joost-Pieter Katoen, Lothar Thiele, Boudewijn R. Haverkort, 2007, Quantitative Aspects of Embedded Systems.
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, Formal Methods Syst. Des..
Boudewijn R. Haverkort, Gerard Hoekstra, Maurits de Graaf, 2010, ARCS Workshops.
Boudewijn R. Haverkort, 1994 .
Boudewijn R. Haverkort, Norbert Ludwig, Rachid El Abdouni Khayari, 2001, Wirtschaftsinformatik.
Jozef Hooman, Boudewijn R. Haverkort, Freek van den Berg, 2017, ModelEd, TestEd, TrustEd.
Joost-Pieter Katoen, Boudewijn R. Haverkort, Alexandru Mereacre, 2010, IEEE Transactions on Industrial Informatics.
Boudewijn R. Haverkort, Anne Remke, Marijn R. Jongerden, 2015, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
Boudewijn R. Haverkort, B. Haverkort, 1993, Perform. Evaluation.
Boudewijn R. Haverkort, Anne Remke, Justyna Joanna Chromik, 2018, Energy Inform..
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2007, Theor. Comput. Sci..
Boudewijn R. Haverkort, Marijn R. Jongerden, 2010, OR.
Joost-Pieter Katoen, Lothar Thiele, Boudewijn R. Haverkort, 2007, Quantitative Aspects of Embedded Systems.
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2016, Perform. Evaluation.
Boudewijn R. Haverkort, Anne Remke, Max Kerkers, 2018, MMB.
Boudewijn R. Haverkort, Anne Remke, B. Haverkort, 2005 .
Boudewijn R. Haverkort, Pietro Tesi, Claudio De Persis, 2018, ICPE Companion.
Laura Carnevali, Enrico Vicario, Boudewijn R. Haverkort, 2015, Electron. Notes Theor. Comput. Sci..
Boudewijn R. Haverkort, Ben van Lier, Milou Maria Petronella Habraken, 2018 .
Boudewijn R. Haverkort, 2001 .
Boudewijn R. Haverkort, Anne Remke, J. J. Chromik, 2016, 2016 Joint Workshop on Cyber- Physical Security and Resilience in Smart Grids (CPSR-SG).
Pieter H. Hartel, Boudewijn R. Haverkort, Anne Remke, 2009 .
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2014, MMB/DFT.
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, Commun. ACM.
Ivana Cerná, Boudewijn R. Haverkort, I. Cerná, 2011, J. Log. Comput..
Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt, 2007, EPEW.
Boudewijn R. Haverkort, 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.
Matthias Kuntz, Boudewijn R. Haverkort, 2007 .
Boudewijn R. Haverkort, Richard E. Harper, 2001, Perform. Evaluation.
Kishor S. Trivedi, Boudewijn R. Haverkort, Jogesh K. Muppala, 1992, Perform. Evaluation.
Boudewijn R. Haverkort, 2001 .
Boudewijn R. Haverkort, Alexander Bell, Alexander Bell, 2005, International Journal on Software Tools for Technology Transfer.
Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, PERV.
Aiko Pras, Boudewijn R. Haverkort, R.R.R. Barbosa, 2009 .
Boudewijn R. Haverkort, Wan Fokkink, Rena Bakhshi, 2010, 2010 International Conference on Electrical and Control Engineering.
Boudewijn R. Haverkort, Anne Remke, J. J. Chromik, 2017, 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm).
Boudewijn R. Haverkort, Wan Fokkink, François Bonnet, 2007, OPSR.
Boudewijn R. Haverkort, 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
Boudewijn R. Haverkort, Georgios Karagiannis, Giang T. Pham, 2014, MMB/DFT.
Boudewijn R. Haverkort, Marco Gribaudo, Anne Remke, 2012, FORMATS.
Ramin Sadre, Boudewijn R. Haverkort, Anne Remke, 2012, MMB/DFT.
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2003 .
Boudewijn R. Haverkort, Anne Remke, Freek van den Berg, 2014, MCPS.
Boudewijn R. Haverkort, Marijn R. Jongerden, 2016 .
Ramin Sadre, Boudewijn R. Haverkort, 2001, MMB.
Boudewijn R. Haverkort, Henrik C. Bohnenkamp, B. Haverkort, 2002, PAPM-PROBMIV.
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2013, VALUETOOLS 2013.
Boudewijn R. Haverkort, Leonard J. N. Franken, Leonard J. N. Franken, 1997, Distributed Syst. Eng..
Boudewijn R. Haverkort, Lucia Cloth, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
Boudewijn R. Haverkort, José M. Martínez, B. Haverkort, 2005, MMB.
Boudewijn R. Haverkort, Hessel P. Idzenga, B. Haverkort, 1999, Application of Petri Nets to Communication Networks.
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, CONCUR.
Boudewijn R. Haverkort, Geert J. Heijenk, Yimeng Yang, 2008, PIK Prax. Informationsverarbeitung Kommun..
Boudewijn R. Haverkort, Alexander Ost, B. Haverkort, 1998, PERV.
Boudewijn R. Haverkort, Jaco van de Pol, Martin Leucker, 2006 .
Boudewijn R. Haverkort, 2000, ICALP Satellite Workshops.
Boudewijn R. Haverkort, Wan Fokkink, Rena Bakhshi, 2010, QEST.
Boudewijn R. Haverkort, Lucia Cloth, B. Haverkort, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2008, Logic and Automata.
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2000, ICALP.
Boudewijn R. Haverkort, Armin Zimmermann, A. Zimmermann, 2017, IEEE Internet Comput..
Boudewijn R. Haverkort, Björn F. Postema, 2017, e-Energy.
Joost-Pieter Katoen, Boudewijn R. Haverkort, Anne Remke, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Ramin Sadre, Boudewijn R. Haverkort, Rachid Khayari el Abdouni, 2003 .
Boudewijn R. Haverkort, Wan Fokkink, Lucia Cloth, 2009, QEST.
Ramin Sadre, Boudewijn R. Haverkort, R. El Abdouni Khayari, 2002 .
Ignas G. Niemegeers, Boudewijn R. Haverkort, Aad P. A. van Moorsel, 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, 2013, QEST.
Boudewijn R. Haverkort, Nico M. van Dijk, E. Smeitink, 1992 .
Matthias Kuntz, Boudewijn R. Haverkort, Jaco van de Pol, 2008, Electron. Notes Theor. Comput. Sci..
Boudewijn R. Haverkort, Leonard Franken, G. S. Vermeer, 1993 .
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2011, EPEW.
Boudewijn R. Haverkort, Anne Remke, Hamed Ghasemieh, 2013, 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing.
Boudewijn R. Haverkort, Marijn R. Jongerden, 2012, MMB/DFT.
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Willem R.W. Scheinhardt, 2013 .
Boudewijn R. Haverkort, Lucia Cloth, 2008, 2008 Design, Automation and Test in Europe.
Boudewijn R. Haverkort, Roger Kalden, B. Haverkort, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Boudewijn R. Haverkort, Wan Fokkink, Lucia Cloth, 2011, Perform. Evaluation.
Boudewijn R. Haverkort, Marijn R. Jongerden, Erik Ramsgaard Wognsen, 2015 .
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, IEEE Trans. Software Eng..
Jozef Hooman, Boudewijn R. Haverkort, Anne Remke, 2015, EPEW.
Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen, 1992 .
Kim G. Larsen, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, ISoLA.
Matthias Kuntz, Boudewijn R. Haverkort, Mariëlle Stoelinga, 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
Boudewijn R. Haverkort, Marijn R. Jongerden, M. Jongerden, 2008, IET Softw..
Boudewijn R. Haverkort, Geert J. Heijenk, 1996, Distributed Syst. Eng..
Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen, B. Haverkort, 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.
Boudewijn R. Haverkort, Ignas Niemegeers, Aad P. A. van Moorsel, 1992 .
Boudewijn R. Haverkort, Javier Campos, 2015, Lecture Notes in Computer Science.
Ramin Sadre, Boudewijn R. Haverkort, Alexander Ost, 2004, Perform. Evaluation.
Boudewijn R. Haverkort, Geert J. Heijenk, Patrick Goering, 2007, EPEW.
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2013, Mathematical Structures in Computer Science.
Boudewijn R. Haverkort, Geert J. Heijenk, Yimeng Yang, 2009, 2009 International Conference on Ultra Modern Telecommunications & Workshops.
Joost-Pieter Katoen, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
Boudewijn R. Haverkort, 2001 .
Matthias Kuntz, Boudewijn R. Haverkort, Mariëlle Stoelinga, 2008, 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN).
Boudewijn R. Haverkort, Björn F. Postema, 2015, EPEW.
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, 2015, International Journal on Software Tools for Technology Transfer.
Boudewijn R. Haverkort, Alexander Bell, Alexander Bell, 2002, PDMC@CONCUR.
Ramin Sadre, Boudewijn R. Haverkort, R. Sadre, 2008, DSOM.
Ramin Sadre, Boudewijn R. Haverkort, Rachid El Abdouni Khayari, 2001, SPIE ITCom.
Kim G. Larsen, Boudewijn R. Haverkort, René Rydhof Hansen, 2015, FORMATS.
Boudewijn R. Haverkort, Anne Remke, William J. Knottenbelt, 2016 .
Boudewijn R. Haverkort, 2009, 2009 IEEE International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems.
Boudewijn R. Haverkort, ByungGuk Kim, Hessel P. Idzenga, 1994 .
Boudewijn R. Haverkort, A. Bondavalli, L. Cloth, 2005 .
Joost-Pieter Katoen, Lothar Thiele, Boudewijn R. Haverkort, 2007, Quantitative Aspects of Embedded Systems.
Boudewijn R. Haverkort, Anne Remke, Geert J. Heijenk, 2010, MMB/DFT.
Boudewijn R. Haverkort, Anne Remke, J. J. Chromik, 2016, ICS-CSR.
Boudewijn R. Haverkort, Geert J. Heijenk, Yimeng Yang, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
Boudewijn R. Haverkort, Werner Scheinhardt, Daniël Reijsbergen, 2009 .
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2000, CAV.
Boudewijn R. Haverkort, C. E. M. Pearce, William Henderson, 1996, Telecommun. Syst..
Boudewijn R. Haverkort, Anne Remke, Freek van den Berg, 2015, EPEW.
Boudewijn R. Haverkort, 2006 .
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Ignas G. Niemegeers, Boudewijn R. Haverkort, I. Niemegeers, 1996, Perform. Evaluation.
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Willem R.W. Scheinhardt, 2013 .
Boudewijn R. Haverkort, Maarten van Steen, Markus Siegle, 2008, PERV.
Boudewijn R. Haverkort, Gianfranco Ciardo, Anne Remke, 2016, VALUETOOLS.
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2016, 2016 12th International Conference on the Design of Reliable Communication Networks (DRCN).
Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman, 1994, Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.
Boudewijn R. Haverkort, Geert J. Heijenk, Yimeng Yang, 2011, WWIC.
Boudewijn R. Haverkort, Lucia Cloth, Marijn R. Jongerden, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
Y. Wang, Boudewijn R. Haverkort, Marijn R. Jongerden, 2015, Electron. Notes Theor. Comput. Sci..
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Boudewijn R. Haverkort, 2001 .
Boudewijn R. Haverkort, Alexander Ost, 1998, PERV.
Ramin Sadre, Boudewijn R. Haverkort, Rachid El Abdouni Khayari, 2003, Computer Performance Evaluation / TOOLS.
Boudewijn R. Haverkort, Michel Mandjes, Werner R. W. Scheinhardt, 2007, Perform. Evaluation.
Ivana Cerná, Boudewijn R. Haverkort, 2008, Electron. Notes Theor. Comput. Sci..
Boudewijn R. Haverkort, Lucia Cloth, B. Haverkort, 2005 .
Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2006, SMCtools '06.
Boudewijn R. Haverkort, 1991 .
Boudewijn R. Haverkort, Ignas Niemegeers, Boudewijn R. Haverkort, 1991 .
Boudewijn R. Haverkort, A.P.A. van Moorsel, A. Dijkstra, 1993 .
Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Willem R.W. Scheinhardt, 2012 .
Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp, 2007 .
Boudewijn R. Haverkort, 1995 .
Boudewijn R. Haverkort, Anne Remke, Justyna J. Chromik, 2017 .
Boudewijn R. Haverkort, Alexander Ost, B. Haverkort, 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.