Towards the Formal Verification of Lower System Layers in Automotive Systems. - Sven Beyer; Peter Böhm; Michael Gerke 002; Mark A. Hillebrand; Thomas In der Rieden; Steffen Knapp; Dirk Leinenbach; Wolfgang J. Paul (ICCD, 2005)

A Refinement Approach to Design and Verification of On-Chip Communication Protocols. - Peter Böhm; Tom Melham (FMCAD, 2008)

Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. - Eyad Alkassar; Peter Böhm; Steffen Knapp (DIPES, 2008)

Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. - Eyad Alkassar; Peter Böhm; Steffen Knapp (MEMOCODE, 2008)

Incremental modelling and verification of the PCI Express transaction layer. - Peter Böhm (MEMOCODE, 2009)

A framework for incremental modelling and verification of on-chip protocols. - Peter Böhm (FMCAD, 2010)

Incremental and Verified Modeling of the PCI Express Protocol. - Peter Böhm (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Nutzungsanalyse des Deutschen Bildungsservers und Konzeption eines Personalisierungsangebots. - Peter Böhm; Marc Rittberger (ISI, 2011)

Lem: A Lightweight Tool for Heavyweight Semantics. - Scott Owens; Peter Böhm; Francesco Zappa Nardelli; Peter Sewell (ITP, 2011)

Incremental modelling for verified communication architectures. - Peter Böhm (2011)

Verification of streaming hardware and software codesigns. - Tim Todman; Peter Böhm; Wayne Luk (FPT, 2012)

Qualitative Web Analytics: New Insights into Navigation Analysis and User Behavior - A Case Study of the German Education Server. - Stefan Keil; Peter Böhm; Marc Rittberger (ISI, 2015)

FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration. - Dionisios N. Pnevmatikatos; Kyprianos Papadimitriou; Tobias Becker; Peter Böhm; Andreas Brokalakis; Karel Bruneel; Catalin Bogdan Ciobanu; Tom Davidson; Georgi Gaydadjiev; Karel Heyse; Wayne Luk; Xinyu Niu; et al. (Microprocess. Microsystems, 2015)

Einsatz von Webanalyse in überregionalen Informationsinfrastruktureinrichtungen. - Peter Böhm; Marc Rittberger (Inf. Wiss. Prax., 2016)

Limits and Potentials of Grasping User Interaction in Controlled and Open World Environments - Contrasting PIAAC Large-Scale-Assessment Usage Data with Web Analytics. - Peter Böhm; Christoph Schindler 001; Heiko Rölke; Marc Rittberger (ISI, 2017)

Non-blocking Asynchronous Training for Reinforcement Learning in Real-World Environments. - Peter Böhm; Pauline Pounds; Archie C. Chapman (IROS, 2022)

Feature Extraction for Effective and Efficient Deep Reinforcement Learning on Real Robotic Platforms. - Peter Böhm; Pauline Pounds; Archie C. Chapman (ICRA, 2023)

Training Directional Locomotion for Quadrupedal Low-Cost Robotic Systems via Deep Reinforcement Learning. - Peter Böhm; Archie C. Chapman; Pauline Pounds (CoRR, 2025)

Low-cost Real-world Implementation of the Swing-up Pendulum for Deep Reinforcement Learning Experiments. - Peter Böhm; Pauline Pounds; Archie C. Chapman (CoRR, 2025)