Ralph Hoch

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 20

Top Topics

Business Process

Formal Verification

Inductive Learning

Design Space Exploration

Top Venues

Publications

Christoph Luckeneder, Ralph Hoch, Hermann Kaindl
Towards Using Structural Abstraction for Model Checking. DSA (2023)
Christian Stippel, Benjamin Schwendinger, Michael Kammerhofer, Ralph Hoch, Hermann Kaindl, Thilo Sauter
Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms. GECCO Companion (2023)
Ralph Hoch, Christoph Luckeneder, Roman Popp, Hermann Kaindl
Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. IEEE Trans. Software Eng. 48 (10) (2022)
Petar Paradzikovic, Ralph Hoch, Hermann Kaindl
Assigning Systems to Test Environments Through Ontological Reasoning. SEMANTiCS (2022)
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)
Kelvin Sparr, Damian Drexel, Ralph Hoch
Using an Auction-Based System in Cloud Manufacturing for Selecting Manufacturing-as-a-Service Providers. APMS (5) (2021)
Hermann Kaindl, Ralph Hoch, Roman Popp
Estimating Problem Instance Difficulty. ICEIS (1) (2020)
Hermann Kaindl, Ralph Hoch, Roman Popp, Thomas Rathfux, Franz Lukasch
An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search. ICEIS (Revised Selected Papers) (2020)
Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. ENASE (2019)
Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. ICSOFT (2019)
Ralph Hoch, Hermann Kaindl
Verification of Feature Coordination using the Fluent Calculus. ENASE (2018)
Hermann Kaindl, Stefan Kramer, Ralph Hoch
An inductive learning perspective on automated generation of feature models from given product specifications. SPLC (2018)
Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) (2018)
Roman Popp, Ralph Hoch, Hermann Kaindl
A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. HICSS (2017)
Hermann Kaindl, Ralph Hoch, Roman Popp
Semantic task specification in business process context. RCIS (2017)
Ralph Hoch, Hermann Kaindl, Roman Popp, Christian Zeidler
Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface. HICSS (2016)
Hermann Kaindl, Roman Popp, Ralph Hoch, Christian Zeidler
Reuse vs. Reusability of Software Supporting Business Processes. ICSR (2016)
Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp
Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) (2016)
Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM (2015)
Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek
Semantic Service Specification for V&V of Service Composition and Business Processes. HICSS (2015)
Hermann Kaindl, Elmar P. Wach, Ada Okoli, Roman Popp, Ralph Hoch, Werner Gaulke, Tim Hussein
Semi-automatic generation of recommendation processes and their GUIs. IUI (2013)