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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2014
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

2013
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

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

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

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

2009
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

2008
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

2006
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

2004
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

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

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


2000
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

1997
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

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

1993
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

1992
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

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


  Loading...