Follow
Kees Verstoep
Kees Verstoep
ICT Consultant
Verified email at vu.nl - Homepage
Title
Cited by
Cited by
Year
Fast measurement of LogP parameters for message passing platforms
T Kielmann, HE Bal, K Verstoep
Parallel and Distributed Processing: 15 IPDPS 2000 Workshops Cancun, Mexico …, 2000
2662000
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
1452000
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
1132001
Efficient reliable multicast on Myrinet
K Verstoep, K Langendoen, H Bal
Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing …, 1996
961996
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
632004
Group communication in Amoeba and its applications
MF Kaashoek, AS Tanenbaum, K Verstoep
Distributed Systems Engineering 1 (1), 48, 1993
591993
Efficient large-scale model checking
K Verstoep, HE Bal, J Barnat, L Brim
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-12, 2009
562009
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
452010
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
402001
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
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
372002
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
331993
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
312013
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
282006
Interpretable multivariate time series forecasting with temporal attention convolutional neural networks
L Pantiskas, K Verstoep, H Bal
2020 IEEE Symposium Series on Computational Intelligence (SSCI), 1687-1694, 2020
262020
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: 5th International Symposium, NFM 2013, Moffett Field …, 2013
242013
Property specification made easy: Harnessing the power of model checking in UML designs
D Remenska, TAC Willemse, J Templon, K Verstoep, H Bal
Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014
222014
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
222008
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
212004
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
The system can't perform the operation now. Try again later.
Articles 1–20