Oliver Denninger

According to our database, Oliver Denninger authored at least 15 papers between 2007 and 2023.

Collaborative distances:

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

2023

QIn: Enabling Formal Methods to Deal with Quantum Circuits.

Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger

Proceedings of the IEEE International Conference on Quantum Software, 2023

Experiences in Quantum Software Engineering.

Max Scheerer, Jonas Klamroth, Simon Garhofer, Florian Knäble, Oliver Denninger

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

2022

Fault-tolerant Hybrid Quantum Software Systems.

Max Scheerer, Jonas Klamroth, Oliver Denninger

Proceedings of the IEEE International Conference on Quantum Software, 2022

2021

Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach.

Max Scheerer, Jonas Klamroth, Oliver Denninger

Proceedings of the Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), 2021

Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking.

Jonas Klamroth, Max Scheerer, Oliver Denninger

Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2020

Software Engineering am FZI Forschungszentrum Informatik.

Jörg Henß, Oliver Denninger

Proceedings of the Software Engineering 2020, 2020

2017

A Framework for Coupled Simulations of Robots and Spiking Neuronal Networks.

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

J. Intell. Robotic Syst., 2017

Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform.

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

Frontiers Neurorobotics, 2017

2016

Experiences with Model-Driven Engineering in Neurorobotics.

Georg Hinkel, Oliver Denninger, Sebastian Krach, Henning Groenda

Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015

A visual tracking model implemented on the iCub robot as a use case for a novel neurorobotic toolkit integrating brain and physics simulation.

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

Proceedings of the 15th IEEE-RAS International Conference on Humanoid Robots, 2015

2014

A Stream Processing Framework for On-Line Optimization of Performance and Energy Efficiency on Heterogeneous Systems.

Benjamin Ranft, Oliver Denninger, Philip Pfaffe

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013

On Detecting Concurrency Defects Automatically at the Design Level.

Frank Padberg, Luis M. Carril, Oliver Denninger, Martin Blersch

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Recommending relevant code artifacts for change requests using multiple predictors.

Oliver Denninger

Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, 2012

Run-time Adaptation to Heterogeneous Processing Units for Real-time Stereo Vision.

Benjamin Ranft, Oliver Denninger

Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

2007

Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD.

Oliver Denninger, Tom Gelhausen, Rubino Geiß

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007