Skip to content

Ralph Hoch

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

11

Active years

2013–2025

Best venue rank

B

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2025ETFAVision-Based Human Awareness Estimation for Enhanced Safety and Efficiency of AMRs in Industrial Warehouses.Maximilian Haug, Christian Stippel, Lukas Pscherer, Benjamin Schwendinger, Ralph Hoch, Angel Gaydarov, Sebastian Schlund, Thilo Sauter
2024ICMLAExploring Machine Learning for Faster Mapping and Scheduling of Automotive Applications on ADAS Platforms.Rafael Sterzinger, Wolfgang Koch, Ralph Hoch
2023GECCOTowards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms.Christian Stippel, Benjamin Schwendinger, Michael Kammerhofer, Ralph Hoch, Hermann Kaindl, Thilo Sauter
2021RO-MANFormal Verification of Safety Properties of Collaborative Robotic Applications including Variability.Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl
2019ENASEAn Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces.Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
2019ICSoftEfficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking.Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
2018ENASEVerification of Feature Coordination using the Fluent Calculus.Ralph Hoch, Hermann Kaindl
2018ENASEFormal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
2018SPLCAn inductive learning perspective on automated generation of feature models from given product specifications.Hermann Kaindl, Stefan Kramer, Ralph Hoch
2017RCISSemantic task specification in business process context.Hermann Kaindl, Ralph Hoch, Roman Popp
2016ICSRReuse vs. Reusability of Software Supporting Business Processes.Hermann Kaindl, Roman Popp, Ralph Hoch, Christian Zeidler
2016WorldCISTVerification of Business Processes Against Business Rules Using Object Life Cycles.Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp
2013IUISemi-automatic generation of recommendation processes and their GUIs.Hermann Kaindl, Elmar P. Wach, Ada Okoli, Roman Popp, Ralph Hoch, Werner Gaulke, Tim Hussein