Benders decomposition uses a strategy of``learning from one's mistakes.''The aim of this
paper is to extend this strategy to a much larger class of problems. The key is to generalize …

This study presents an optimization model using constraint programming (CP) for project
selection and scheduling problems with time-dependent resource constraints. A generic …

Logic-based Benders decomposition (LBBD) is a substantial generalization of classical
Benders decomposition that, in principle, allows the subproblem to be any optimization …

This paper presents an approach to execute safety-critical applications on multi-and many-
core processors in a predictable manner. We investigate three concrete platforms: the Intel …

This book is the first comprehensive guide to logic-based Benders decomposition (LBBD), a
general and versatile method for breaking large, complex optimization problems into …

Many cyber physical systems have little or no cybersecurity mechanisms due to their limited
computing capabilities or their history of running on isolated networks. As these systems …

We present an overview of the integration of constraint programming (CP) and operations
research (OR) to solve combinatorial optimization problems. We interpret CP and OR as …

Tasks in real-time embedded systems (RTES) are often subject to hard deadlines that
constrain how quickly the system must react to external inputs. These inputs and their timing …

Abstract Time-Triggered Protocol (TTP) is an industry-standard bus protocol widely-used in
safety-critical avionics distributed embedded systems. Design space exploration for TTP …

A complete toolchain for an interference-free deployment of avionic applications on multi-core
systems Page 1 A COMPLETE TOOL CHAIN FOR AN INTERFERENCE-FREE DEPLOYMENT …