activity
20112023
most citedAn Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions

2 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.SE2011★ 2 cited

Distributed MAP in the SpinJa Model Checker

Stefan Vijzelaar, Kees Verstoep, Wan Fokkink +1

Spin in Java (SpinJa) is an explicit state model checker for the Promela modelling language also used by the SPIN model checker. Designed to be extensible and reusable, the impleme…