14 citations · 31 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019★ 1 cited
Classifying Pattern and Feature Properties to Get a Checker and Reformulation for Sliding Time-Series Constraints
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper +1
Given, a sequence of variables, a time-series constraint ctr using the Sum aggregator, and a sliding time-series constraint enforcing the constraint ctr on each s…
cs.SE2019★ 14 cited
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Morten Mossige, Arnaud Gotlieb, Helge Spieker +2
Testing cyber-physical systems involves the execution of test cases on target-machines equipped with the latest release of a software control system. When testing industrial robots…