Kees Verstoep

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 10

Top Topics

Multivariate Time Series

Reinforcement Learning

Top Venues

Ershov Memorial Conference

Publications

Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
Channel-Adaptive Early Exiting Using Reinforcement Learning for Multivariate Time Series Classification. ICMLA (2023)
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
Multivariate Time Series Early Classification Across Channel and Time Dimensions. CoRR (2023)
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
Reinforcement Learning-Guided Channel Selection Across Time for Multivariate Time Series Classification. SSCI (2023)
Henk Dreuning, Kees Verstoep, Henri E. Bal, Rob V. van Nieuwpoort
CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism. HiPC (2023)
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS. CoRR (2022)
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions. ICMLA (2022)
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri Bal
An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions. CoRR (2022)
Leonardos Pantiskas, Kees Verstoep, Mark Hoogendoorn, Henri E. Bal
Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS. DCOSS (2022)
Leonardos Pantiskas, Kees Verstoep, Henri E. Bal
Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks. SSCI (2020)
Mathijs Kattenberg, Zuhaitz Beloki, Aitor Soroa, Xabier Artola, Antske Fokkens, Paul Huygen, Kees Verstoep
Two Architectures for Parallel Processing of Huge Amounts of Text. LREC (2016)
Kaveh Razavi, Stefania Costache, Andrea Gardiman, Kees Verstoep, Thilo Kielmann
Scaling VM Deployment in an Open Source Cloud Stack. ScienceCloud@HPDC (2015)
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
Bonsai: Cutting Models Down to Size. Ershov Memorial Conference (2014)
Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. FORTE (2014)
Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, 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)
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal
Using model checking to analyze the system behavior of the LHC production grid. Future Gener. Comput. Syst. 29 (8) (2013)
Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal
Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID (2012)
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
Distributed MAP in the SpinJa Model Checker PDMC (2011)
Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink
Embedded Network Protocols for Mobile Devices. FMICS (2010)
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)
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
Efficient large-scale model checking. IPDPS (2009)
Henri E. Bal, Kees Verstoep
Large-Scale Parallel Computing on Grids. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
Efficient Large-Scale Model Checking. Distributed Verification and Grid Computing (2008)
Kees Verstoep, Jason Maassen, Henri E. Bal, John W. Romein
Experiences with Fine-Grained Distributed Supercomputing on a 10G Testbed. CCGRID (2008)
Gosia Wrzesinska, Jason Maassen, Kees Verstoep, Henri E. Bal
Satin++: Divide-and-Share on the Grid. e-Science (2006)
Jason Maassen, Rob van Nieuwpoort, Thilo Kielmann, Kees Verstoep, Mathijs den Burger
Middleware adaptation with the Delphoi service. Concurr. Comput. Pract. Exp. 18 (13) (2006)
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)
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) (2004)
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 Gener. Comput. Syst. 18 (8) (2002)
Thilo Kielmann, Henri E. Bal, Sergei Gorlatch, Kees Verstoep, Rutger F. H. Hofman
Network performance-aware collective communication for clustered wide-area systems. Parallel Comput. 27 (11) (2001)
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)
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 C. 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. ACM SIGOPS Oper. Syst. Rev. 34 (4) (2000)
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)
Thilo Kielmann, Henri E. Bal, Kees Verstoep
Fast Measurement of LogP Parameters for Message Passing Platforms. IPDPS Workshops (2000)
Henri E. Bal, Rutger F. H. Hofman, Kees Verstoep
A Comparison of Three High Speed Networks for Parallel Cluster Computing. CANPC (1997)
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 Distributed Comput. 40 (1) (1997)
Kees Verstoep, Koen Langendoen, Henri E. Bal
Efficient Reliable Multicast on Myrinet. ICPP, Vol. 3 (1996)
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
Using Group Communication to Implement a Fault-Tolerant Directory Service. ICDCS (1993)
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
Group communication in Amoeba and its applications. Distributed Syst. Eng. 1 (1) (1993)
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
An experimental comparison of remote procedure call and group communication. ACM SIGOPS European Workshop (1992)
Erik H. Baalbergen, Kees Verstoep, Andrew S. Tanenbaum
On the Design of the Amoeba Configuration Manager. SCM (1989)