Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Mats Carlsson

Mats Carlsson
Alert button

Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints


Dec 03, 2019
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz

Add code
Alert button

Figure 1 for Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Figure 2 for Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Figure 3 for Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Figure 4 for Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
* 47 pages, 5 figures, 5 tables 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Time-aware Test Case Execution Scheduling for Cyber-Physical Systems


Feb 12, 2019
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Add code
Alert button

Figure 1 for Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Figure 2 for Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Figure 3 for Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Figure 4 for Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
* In: Beck J. (eds) Principles and Practice of Constraint Programming. CP 2017. Lecture Notes in Computer Science, vol 10416. Springer, Cham 
 * Published in the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017) 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Global Constraint Catalog, Volume II, Time-Series Constraints


Sep 18, 2018
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

Add code
Alert button

Figure 1 for Global Constraint Catalog, Volume II, Time-Series Constraints
Figure 2 for Global Constraint Catalog, Volume II, Time-Series Constraints
Figure 3 for Global Constraint Catalog, Volume II, Time-Series Constraints
Figure 4 for Global Constraint Catalog, Volume II, Time-Series Constraints
* 3762 pages 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email