Books by Robert Wille

This book describes the current state of the art for simulating paint shop applications, their advantages and limitations, as well as corresponding high-performance computing (HPC) methods utilized in this domain.

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.

This book presents contributions to a design flow for reversible logic, including advanced methods for synthesis, optimization, verification, and debugging. It proposes several techniques for synthesis of very large functions in reversible logic.