Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Kees Verstoep
2010 – today
- 2013
[c17]Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adria Casajus, Henri E. Bal: From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. NASA Formal Methods 2013: 244-260- 2012
- [c16]Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan Fokkink, Jeff Templon, Henri E. Bal: Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID 2012: 335-343
- 2011
- [c15]Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal: Distributed MAP in the SpinJa Model Checker. PDMC 2011: 84-90
- 2010
- [c14]Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink: Embedded Network Protocols for Mobile Devices. FMICS 2010: 164-179
2000 – 2009
- 2009
- [c13]Jason Maassen, Kees Verstoep, Henri E. Bal, Paola Grosso, Cees de Laat: Assessing the impact of future reconfigurable optical networks on application performance. IPDPS 2009: 1-8
- [c12]Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim: Efficient large-scale model checking. IPDPS 2009: 1-12
- 2008
- [j8]Henri E. Bal, Kees Verstoep: Large-Scale Parallel Computing on Grids. Electr. Notes Theor. Comput. Sci. 220(2): 3-17 (2008)
- [c11]Kees Verstoep, Jason Maassen, Henri E. Bal, John W. Romein: Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed. CCGRID 2008: 376-383
- 2006
- [j7]Jason Maassen, Rob van Nieuwpoort, Thilo Kielmann, Kees Verstoep, Mathijs den Burger: Middleware adaptation with the Delphoi service. Concurrency and Computation: Practice and Experience 18(13): 1659-1679 (2006)
- [c10]Gosia Wrzesinska, Jason Maassen, Kees Verstoep, Henri E. Bal: Satin++: Divide-and-Share on the Grid. e-Science 2006: 61
- 2004
- [j6]Kees Verstoep, Raoul Bhoedjang, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman: Cluster communication protocols for parallel-programming systems. ACM Trans. Comput. Syst. 22(3): 281-325 (2004)
- [c9]Alexandre Denis, Olivier Aumage, Rutger F. H. Hofman, Kees Verstoep, Thilo Kielmann, Henri E. Bal: Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems. HPDC 2004: 97-106
- 2002
- [j5]Thilo Kielmann, Henri E. Bal, Jason Maassen, Rob van Nieuwpoort, Lionel Eyraud, Rutger F. H. Hofman, Kees Verstoep: Programming environments for high-performance Grid computing: the Albatross project. Future Generation Comp. Syst. 18(8): 1113-1125 (2002)
- 2001
- [j4]Thilo Kielmann, Henri E. Bal, Sergei Gorlatch, Kees Verstoep, Rutger F. H. Hofman: Network performance-aware collective communication for clustered wide-area systems. Parallel Computing 27(11): 1431-1456 (2001)
- [c8]Gabrielle Allen, Thomas Dramlitsch, Tom Goodale, Gerd Lanfermann, Thomas Radke, Edward Seidel, Thilo Kielmann, Kees Verstoep, Zoltán Balaton, Péter Kacsuk, Ferenc Szalai, Jörn Gehring, Axel Keller, Achim Streit, Ludek Matyska, Miroslav Ruda, Ales Krenek, Harald Knipp, André Merzky, Alexander Reinefeld, Florian Schintke, Bogdan Ludwiczak, Jarek Nabrzyski, Juliusz Pukacki, Hans-Peter Kersken, Giovanni Aloisio, Massimo Cafaro, Wolfgang Ziegler, Michael Russell: Early Experiences with the EGrid Testbed. CCGRID 2001: 130-139
- 2000
- [j3]Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Thilo Kielmann, Jason Maassen, Rob van Nieuwpoort, John Romain, Luc Renambot, Tim Rühl, Ronald Veldema, Kees Verstoep, Aline Baggio, Gerco Ballintijn, Ihor Kuz, Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum, Gerben Doornbos, Desmond Germans, Hans J. W. Spoelder, Evert Jan Baerends, Stan J. A. van Gisbergen, Hamid Afsermanseh, G. Dick van Albada, Adam Belloum, David Dubbeldam, Zeger W. Hendrikse, Louis O. Hertzberger, Alfons G. Hoekstra, Kamil Iskra, Drona Kandhai, Dennis Koelma, Frank van der Linden, Benno J. Overeinder, Peter M. A. Sloot, Piero Spinnato, Dick H. J. Epema, Arjan J. C. van Gemund, Pieter P. Jonker, Andrei Radulescu, Kees van Reeuwijk, Henk J. Sips, Peter M. W. Knijnenburg, Michael S. Lew, Floris Sluiter, Lex Wolters, Hans Blom, Cees de Laat: The Distributed ASCI Supercomputer Project. Operating Systems Review 34(4): 76-96 (2000)
- [c7]Raoul Bhoedjang, Kees Verstoep, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman: Evaluating Design Alternatives for Reliable Communication on High-Speed Networks. ASPLOS 2000: 71-81
- [c6]Thilo Kielmann, Henri E. Bal, Kees Verstoep: Fast Measurement of LogP Parameters for Message Passing Platforms. IPDPS Workshops 2000: 1176-1183
1990 – 1999
- 1997
- [j2]Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Koen Langendoen, Tim Rühl, Kees Verstoep: Performance of a High-Level Parallel Language on a High-Speed Network. J. Parallel Distrib. Comput. 40(1): 49-64 (1997)
- [c5]Henri E. Bal, Rutger F. H. Hofman, Kees Verstoep: A Comparison of Three High Speed Networks for Parallel Cluster Computing. CANPC 1997: 184-197
- 1996
- [c4]Kees Verstoep, Koen Langendoen, Henri E. Bal: Efficient Reliable Multicast on Myrinet. ICPP, Vol. 3 1996: 156-165
- 1993
- [j1]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep: Group communication in Amoeba and its applications. Distributed Systems Engineering 1(1): 48- (1993)
- [c3]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep: Using Group Communication to Implement a Fault-Tolerant Directory Service. ICDCS 1993: 130-139
- 1992
- [c2]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep: An experimental comparison of remote procedure call and group communication. ACM SIGOPS European Workshop 1992
1980 – 1989
- 1989
- [c1]Erik H. Baalbergen, Kees Verstoep, Andrew S. Tanenbaum: On the Design of the Amoeba Configuration Manager. SCM 1989: 15-22
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-25 21:25 CEST by the dblp team