Bernhard Reiterer

Publication Activity (10 Years)

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

Top Topics

Robotic Systems

Symbolic Model Checking

Formal Verification

Top Venues

Elektrotech. Informationstechnik

Mensch & Computer Workshopband

Publications

Thomas Thurner, Thomas Kammerhofer, Bernhard Reiterer, Michael W. Hofbaur
Tactile sensor solution with MEMS pressure sensors in industrial robotics. Elektrotech. Informationstechnik 140 (6) (2023)
Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael W. Hofbaur
A Formal Verification Approach for Robotic Workflows. ICAR (2021)
Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. RO-MAN (2021)
Lucas Paletta, Martin Pszeida, Harald Ganster, Ferdinand Fuhrmann, Wolfgang Weiss, Stefan Ladstätter, Amir Dini, Sandra Murg, Harald Mayer, Inka Brijacak, Bernhard Reiterer
Gaze-based Human Factors Measurements for the Evaluation of Intuitive Human-Robot Collaboration in Real-time. ETFA (2019)
Heimo Gursch, Nelson Silva, Bernhard Reiterer, Lucas Paletta, Patrick Bernauer, Martin Fuchs, Eduardo E. Veas, Roman Kern
Flexible Scheduling for Human Robot Collaboration in Intralogistics Teams. Mensch & Computer Workshopband (2018)
Bernhard Reiterer, Michael W. Hofbaur
Opportunistic Planning with Recovery for Robot Safety. KI (2017)
Bernhard Reiterer, Cyril Concolato, Hermann Hellwagner
Natural-Language-Based Conversion of Images to Mobile Multimedia Experiences. UCMedia (2009)
Raffaele Bolla, Matteo Repetto, Saar De Zutter, Rik Van de Walle, Stefano Chessa, Francesco Furfari, Bernhard Reiterer, Hermann Hellwagner, Mark Asbach, Mathias Wien
A context-aware architecture for QoS and transcoding management of multimedia streams in smart homes. ETFA (2008)
Bernhard Reiterer, Cyril Concolato, Janine Lachner, Jean Le Feuvre, Jean-Claude Moissinac, Stefano Lenzi, Stefano Chessa, Enrique Fernández Ferrá, Juan José González Menaya, Hermann Hellwagner
User-centric universal multimedia access in home networks. Vis. Comput. 24 (7-9) (2008)
Janine Lachner, Andreas Lorenz, Bernhard Reiterer, Andreas Zimmermann, Hermann Hellwagner
Challenges Toward User-Centric Multimedia. SMAP (2007)