( en | de | ru )

 

Disambiguation of "Verstoep, Kees"

Author of the publication

copydeleteadd this publication to your clipboard
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.

, , , , , , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 244-260. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Brigitte Kees

Brigitte Kees

Andreas Kees

Norbert Kees

Sabine Kees

 

Other publications of authors with the same name

Efficient Large-Scale Model Checking., , , and . Distributed Verification and Grid Computing, volume 08332 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism., , , and . HiPC, page 76-86. IEEE, (2023)Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks., , and . SSCI, page 1687-1694. IEEE, (2020)From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems., , , , , , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 244-260. Springer, (2013)Evaluating Design Alternatives for Reliable Communication on High-Speed Networks., , , , and . ASPLOS, page 71-81. ACM Press, (2000)Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS., , , and . DCOSS, page 149-152. IEEE, (2022)Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs., , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 17-32. Springer, (2014)Using Group Communication to Implement a Fault-Tolerant Directory Service., , and . ICDCS, page 130-139. IEEE Computer Society, (1993)Using Model Checking to Analyze the System Behavior of the LHC Production Grid., , , , , and . CCGRID, page 335-343. IEEE Computer Society, (2012)Reinforcement Learning-Guided Channel Selection Across Time for Multivariate Time Series Classification., , , and . SSCI, page 1406-1413. IEEE, (2023)