Computing unique input-output sequences (UIOs) from finite state machines (FSMs) is important for conformance testing in software engineering, where evolutionary algorithms (EAs)...
We propose new data structures for navigation in sequences of balanced parentheses, a standard tool for representing compressed trees. The most striking property of our approach is...
This article introduces new similarity measures between trajectories, in order to detect uncommon behaviors. These measures are used to find the most common trajectories in a seq...
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Measurements at different time points and positions in large temporal or spatial databases requires effective and efficient data mining techniques. For several parallel measureme...
Ira Assent, Ralph Krieger, Boris Glavic, Thomas Se...