Kees Verstoep

According to our database1, Kees Verstoep authored at least 31 papers between 1989 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Two Architectures for Parallel Processing of Huge Amounts of Text.
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 2016

Scaling VM Deployment in an Open Source Cloud Stack.
Proceedings of the 6th Workshop on Scientific Cloud Computing, 2015

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Bonsai: Cutting Models Down to Size.
Proceedings of the Perspectives of System Informatics, 2014

Using model checking to analyze the system behavior of the LHC production grid.
Future Generation Comp. Syst., 2013

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.
Proceedings of the NASA Formal Methods, 2013

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

Distributed MAP in the SpinJa Model Checker
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Embedded Network Protocols for Mobile Devices.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Efficient large-scale model checking.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Assessing the impact of future reconfigurable optical networks on application performance.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Large-Scale Parallel Computing on Grids.
Electr. Notes Theor. Comput. Sci., 2008

Efficient Large-Scale Model Checking.
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

Middleware adaptation with the Delphoi service.
Concurrency and Computation: Practice and Experience, 2006

Satin++: Divide-and-Share on the Grid.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Cluster communication protocols for parallel-programming systems.
ACM Trans. Comput. Syst., 2004

Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems.
Proceedings of the 13th International Symposium on High-Performance Distributed Computing (HPDC-13 2004), 2004

Programming environments for high-performance Grid computing: the Albatross project.
Future Generation Comp. Syst., 2002

Network performance-aware collective communication for clustered wide-area systems.
Parallel Computing, 2001

The Distributed ASCI Supercomputer Project.
Operating Systems Review, 2000

Fast Measurement of LogP Parameters for Message Passing Platforms.
Proceedings of the Parallel and Distributed Processing, 2000

Evaluating Design Alternatives for Reliable Communication on High-Speed Networks.
Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

Performance of a High-Level Parallel Language on a High-Speed Network.
J. Parallel Distrib. Comput., 1997

A Comparison of Three High Speed Networks for Parallel Cluster Computing.
Proceedings of the Communication and Architectural Support for Network-Based Parallel Computing, 1997

Efficient Reliable Multicast on Myrinet.
Proceedings of the 1996 International Conference on Parallel Processing, 1996

Group communication in Amoeba and its applications.
Distributed Systems Engineering, 1993

Using Group Communication to Implement a Fault-Tolerant Directory Service.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

An experimental comparison of remote procedure call and group communication.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

On the Design of the Amoeba Configuration Manager.
Proceedings of the 2nd International Workshop on Software Configuration Management, 1989