Ralph Hoch

According to our database, Ralph Hoch authored at least 21 papers between 2013 and 2023.

Collaborative distances:

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

2023

Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms.

Christian Stippel, Benjamin Schwendinger, Michael Kammerhofer, Ralph Hoch, Hermann Kaindl, Thilo Sauter

Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

Towards Using Structural Abstraction for Model Checking.

Christoph Luckeneder, Ralph Hoch, Hermann Kaindl

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

2022

Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications.

Ralph Hoch, Christoph Luckeneder, Roman Popp, Hermann Kaindl

IEEE Trans. Software Eng., 2022

Assigning Systems to Test Environments Through Ontological Reasoning.

Petar Paradzikovic, Ralph Hoch, Hermann Kaindl

Proceedings of the Towards a Knowledge-Aware AI - SEMANTiCS 2022, 2022

2021

Formal 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

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021

Using an Auction-Based System in Cloud Manufacturing for Selecting Manufacturing-as-a-Service Providers.

Kelvin Sparr, Damian Drexel, Ralph Hoch

Proceedings of the Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, 2021

2020

An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search.

Hermann Kaindl, Ralph Hoch, Roman Popp, Thomas Rathfux, Franz Lukasch

Proceedings of the Enterprise Information Systems - 22nd International Conference, 2020

Estimating Problem Instance Difficulty.

Hermann Kaindl, Ralph Hoch, Roman Popp

Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

2019

Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking.

Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch

Proceedings of the 14th International Conference on Software Technologies, 2019

An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces.

Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

An inductive learning perspective on automated generation of feature models from given product specifications.

Hermann Kaindl, Stefan Kramer, Ralph Hoch

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.

Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

Verification of Feature Coordination using the Fluent Calculus.

Ralph Hoch, Hermann Kaindl

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017

Semantic task specification in business process context.

Hermann Kaindl, Ralph Hoch, Roman Popp

Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification.

Roman Popp, Ralph Hoch, Hermann Kaindl

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

2016

Verification of Business Processes Against Business Rules Using Object Life Cycles.

Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp

Proceedings of the New Advances in Information Systems and Technologies, 2016

Reuse vs. Reusability of Software Supporting Business Processes.

Hermann Kaindl, Roman Popp, Ralph Hoch, Christian Zeidler

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface.

Ralph Hoch, Hermann Kaindl, Roman Popp, Christian Zeidler

Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2015

Consistently Formalizing a Business Process and its Properties for Verification: A Case Study.

Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp

Proceedings of the Practice of Enterprise Modeling, 2015

Semantic Service Specification for V&V of Service Composition and Business Processes.

Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek

Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

2013

Semi-automatic generation of recommendation processes and their GUIs.

Hermann Kaindl, Elmar P. Wach, Ada Okoli, Roman Popp, Ralph Hoch, Werner Gaulke, Tim Hussein

Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013