Peter Böhm

According to our database, Peter Böhm authored at least 17 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Feature Extraction for Effective and Efficient Deep Reinforcement Learning on Real Robotic Platforms.

Peter Böhm, Pauline Pounds, Archie C. Chapman

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

Non-blocking Asynchronous Training for Reinforcement Learning in Real-World Environments.

Peter Böhm, Pauline Pounds, Archie C. Chapman

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2017

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, Heiko Rölke, Marc Rittberger

Proceedings of the Everything Changes, 2017

2016

Einsatz von Webanalyse in überregionalen Informationsinfrastruktureinrichtungen.

Peter Böhm, Marc Rittberger

Inf. Wiss. Prax., 2016

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, Ioannis Papaefstathiou, Danilo Pau, Oliver Pell, Christian Pilato, Marco D. Santambrogio, Donatella Sciuto, Dirk Stroobandt, Tim Todman, Elias Vansteenkiste

Microprocess. Microsystems, 2015

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

Proceedings of the Re:inventing Information Science in the Networked Society. Proceedings of the 14th International Symposium on Information Science, 2015

2012

Verification of streaming hardware and software codesigns.

Tim Todman, Peter Böhm, Wayne Luk

Proceedings of the 2012 International Conference on Field-Programmable Technology, 2012

2011

Incremental modelling for verified communication architectures.

Peter Böhm

PhD thesis, 2011

Lem: A Lightweight Tool for Heavyweight Semantics.

Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Nutzungsanalyse des Deutschen Bildungsservers und Konzeption eines Personalisierungsangebots.

Peter Böhm, Marc Rittberger

Proceedings of the Information und Wissen: global, 2011

2010

Incremental and Verified Modeling of the PCI Express Protocol.

Peter Böhm

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

A framework for incremental modelling and verification of on-chip protocols.

Peter Böhm

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Incremental modelling and verification of the PCI Express transaction layer.

Peter Böhm

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008

Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.

Eyad Alkassar, Peter Böhm, Steffen Knapp

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.

Eyad Alkassar, Peter Böhm, Steffen Knapp

Proceedings of the Distributed Embedded Systems: Design, 2008

A Refinement Approach to Design and Verification of On-Chip Communication Protocols.

Peter Böhm, Tom Melham

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2005

Towards the Formal Verification of Lower System Layers in Automotive Systems.

Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005