Kees Verstoep
Kees Verstoep
Scientific Programmer
Verified email at cs.vu.nl
Title
Cited by
Cited by
Year
Fast measurement of LogP parameters for message passing platforms
T Kielmann, HE Bal, K Verstoep
International Parallel and Distributed Processing Symposium, 1176-1183, 2000
2312000
The distributed ASCI supercomputer project
H Bal, R Bhoedjang, R Hofman, C Jacobs, T Kielmann, J Maassen, ...
ACM SIGOPS Operating Systems Review 34 (4), 76-96, 2000
1422000
Network performance-aware collective communication for clustered wide-area systems
T Kielmann, HE Bal, S Gorlatch, K Verstoep, RFH Hofman
Parallel Computing 27 (11), 1431-1456, 2001
1072001
Efficient reliable multicast on Myrinet
K Verstoep, K Langendoen, H Bal
Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing …, 1996
851996
Group communication in Amoeba and its applications
MF Kaashoek, AS Tanenbaum, K Verstoep
Distributed Systems Engineering 1 (1), 48, 1993
591993
Wide-area communication for grids: An integrated solution to connectivity, performance and security problems
A Denis, O Aumage, R Hofman, K Verstoep, T Kielmann, HE Bal
Proceedings. 13th IEEE International Symposium on High performance …, 2004
572004
Efficient large-scale model checking
K Verstoep, HE Bal, J Barnat, L Brim
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-12, 2009
512009
Real-world distributed computer with ibis
HE Bal, J Maassen, RV van Nieuwpoort, N Drost, R Kemp, T van Kessel, ...
Computer 43 (8), 54-62, 2010
422010
Performance of a high-level parallel language on a high-speed network
H Bal, R Bhoedjang, R Hofman, C Jacobs, K Langendoen, T Rühl, ...
Journal of Parallel and Distributed Computing 40 (1), 49-64, 1997
391997
Early experiences with the Egrid testbed
G Allen, T Dramlitsch, T Goodale, G Lanfermann, T Radke, E Seidel, ...
Proceedings First IEEE/ACM International Symposium on Cluster Computing and …, 2001
372001
Programming environments for high-performance grid computing: the Albatross project
T Kielmann, HE Bal, J Maassen, R Van Nieuwpoort, L Eyraud, R Hofman, ...
Future Generation Computer Systems 18 (8), 1113-1125, 2002
322002
Using group communication to implement a fault-tolerant directory service
MF Kaashoek, AS Tanenbaum, K Verstoep
[1993] Proceedings. The 13th International Conference on Distributed …, 1993
301993
Middleware adaptation with the delphoi service
J Maassen, RV Van Nieuwpoort, T Kielmann, K Verstoep, M den Burger
Concurrency and Computation: Practice and Experience 18 (13), 1659-1679, 2006
252006
Using model checking to analyze the system behavior of the LHC production grid
D Remenska, TAC Willemse, K Verstoep, J Templon, H Bal
Future Generation Computer Systems 29 (8), 2239-2251, 2013
202013
Evaluating design alternatives for reliable communication on high-speed networks
RAF Bhoedjang, K Verstoep, T Rühl, HE Bal, RFH Hofman
ACM SIGPLAN Notices 35 (11), 71-81, 2000
202000
Experiences with fine-grained distributed supercomputing on a 10g testbed
K Verstoep, J Maassen, HE Bal, JW Romein
2008 Eighth IEEE International Symposium on Cluster Computing and the Grid …, 2008
192008
On the design of the Amoeba Configuration Manager
EH Baalbergen, K Verstoep, AS Tanenbaum
ACM SIGSOFT Software Engineering Notes 14 (7), 15-22, 1989
191989
From UML to process algebra and back: An automated approach to model-checking software design artifacts of concurrent systems
D Remenska, J Templon, TAC Willemse, P Homburg, K Verstoep, ...
NASA Formal Methods Symposium, 244-260, 2013
182013
Cluster communication protocols for parallel-programming systems
K Verstoep, RAF Bhoedjang, T Rühl, HE Bal, RFH Hofman
ACM Transactions on Computer Systems (TOCS) 22 (3), 281-325, 2004
182004
Property specification made easy: Harnessing the power of model checking in UML designs
D Remenska, TAC Willemse, J Templon, K Verstoep, H Bal
International Conference on Formal Techniques for Distributed Objects …, 2014
162014
The system can't perform the operation now. Try again later.
Articles 1–20