Oliver Denninger

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 10

Top Topics

Software Engineering

Energy Efficiency

Software Systems

Top Venues

IPDPS Workshops

Frontiers Neurorobotics

Publications

Max Scheerer, Jonas Klamroth, Simon Garhofer, Florian Knäble, Oliver Denninger
Experiences in Quantum Software Engineering. IPDPS Workshops (2023)
Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger
QIn: Enabling Formal Methods to Deal with Quantum Circuits. QSW (2023)
Max Scheerer, Jonas Klamroth, Oliver Denninger
Fault-tolerant Hybrid Quantum Software Systems. QSW (2022)
Jonas Klamroth, Max Scheerer, Oliver Denninger
Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking. GI-Jahrestagung (2021)
Max Scheerer, Jonas Klamroth, Oliver Denninger
Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach. Q-SET@QCE (2021)
Jörg Henß, Oliver Denninger
Software Engineering am FZI Forschungszentrum Informatik. SE (2020)
Egidio Falotico, Lorenzo Vannucci, Alessandro Ambrosano, Ugo Albanese, Stefan Ulbrich, Juan Camilo Vasquez Tieck, Georg Hinkel, Jacques Kaiser, Igor Peric, Oliver Denninger, Nino Cauli, Murat Kirtay, Arne Roennau, Gudrun Klinker, Axel von Arnim, Luc Guyot, Daniel Peppicelli, Pablo Martínez-Cañada, Eduardo Ros, Patrick Maier, Sandro Weber, Manuel Hubert, David A. Plecher, Florian Röhrbein, Stefan Deser, Alina Roitberg, Patrick van der Smagt, Rüdiger Dillmann, Paul Levi, Cecilia Laschi, Alois C. Knoll, Marc-Oliver Gewaltig
Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform. Frontiers Neurorobotics 11 (2017)
Georg Hinkel, Henning Groenda, Sebastian Krach, Lorenzo Vannucci, Oliver Denninger, Nino Cauli, Stefan Ulbrich, Arne Roennau, Egidio Falotico, Marc-Oliver Gewaltig, Alois C. Knoll, Rüdiger Dillmann, Cecilia Laschi, Ralf H. Reussner
A Framework for Coupled Simulations of Robots and Spiking Neuronal Networks. J. Intell. Robotic Syst. 85 (1) (2017)
Georg Hinkel, Oliver Denninger, Sebastian Krach, Henning Groenda
Experiences with Model-Driven Engineering in Neurorobotics. ECMFA (2016)
Lorenzo Vannucci, Alessandro Ambrosano, Nino Cauli, Ugo Albanese, Egidio Falotico, Stefan Ulbrich, Lars Pfotzer, Georg Hinkel, Oliver Denninger, Daniel Peppicelli, Luc Guyot, Axel von Arnim, Stefan Deser, Patrick Maier, Rüdiger Dillmann, Gudrun Klinker, Paul Levi, Alois C. Knoll, Marc-Oliver Gewaltig, Cecilia Laschi
A visual tracking model implemented on the iCub robot as a use case for a novel neurorobotic toolkit integrating brain and physics simulation. Humanoids (2015)
Benjamin Ranft, Oliver Denninger, Philip Pfaffe
A Stream Processing Framework for On-Line Optimization of Performance and Energy Efficiency on Heterogeneous Systems. IPDPS Workshops (2014)
Frank Padberg, Luis M. Carril, Oliver Denninger, Martin Blersch
On Detecting Concurrency Defects Automatically at the Design Level. APSEC (1) (2013)
Benjamin Ranft, Oliver Denninger
Run-time Adaptation to Heterogeneous Processing Units for Real-time Stereo Vision. HPCC-ICESS (2012)
Oliver Denninger
Recommending relevant code artifacts for change requests using multiple predictors. RSSE@ICSE (2012)
Oliver Denninger, Tom Gelhausen, Rubino Geiß
Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD. AGTIVE (2007)