Design and Verification of Cyber-Physical Systems : from Theory to ApplicationsAndreas Rauh, Bernd Finkbeiner, Paul Kröger · First published 2026Open the Tome
Verification, Model Checking, and Abstract InterpretationBernd Finkbeiner, Thomas Wies · First published 2022Open the Tome
Fields of Logic and Computation IIIAndreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner · First published 2020Open the Tome
Lautes Denken, «Stimulated Recall» und Dokumentarische MethodeBernd Tesch, Karin Aguado, Claudia Finkbeiner · First published 2018Open the Tome
Automated Technology for Verification and AnalysisBernd Finkbeiner, Geguang Pu, Lijun Zhang · First published 2015Open the Tome
Fields of Logic and Computation IILev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte · First published 2015Open the Tome
Runtime VerificationHoward Barringer,Ylies Falcone,Bernd Finkbeiner · First published 2011Open the Tome
