Ralph Hoch - RankMe

25 papers A 1B 6C 3Misc 2Journal 2Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Dynamically Optimizing the Allocation of Electric Vehicles to Charging Sites. ICECET Hermann Kaindl, Christian Sallinger, Michael Kammerhofer, Ralph Hoch, Sven Dominka
2025	J	`jnl`	Structural Abstraction and Selective Refinement for Formal Verification. CoRR Christoph Luckeneder, Ralph Hoch, Hermann Kaindl
2025	C	`conf`	Vision-Based Human Awareness Estimation for Enhanced Safety and Efficiency of AMRs in Industrial Warehouses. ETFA Maximilian Haug, Christian Stippel, Lukas Pscherer, Benjamin Schwendinger, Ralph Hoch, Angel Gaydarov, Sebastian Schlund, Thilo Sauter
2024	C	`conf`	Exploring Machine Learning for Faster Mapping and Scheduling of Automotive Applications on ADAS Platforms. ICMLA Rafael Sterzinger, Wolfgang Koch, Ralph Hoch
2023	—	`conf`	Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms. GECCO Companion Christian Stippel, Benjamin Schwendinger, Michael Kammerhofer, Ralph Hoch, Hermann Kaindl, Thilo Sauter
2023	—	`conf`	Towards Using Structural Abstraction for Model Checking. DSA Christoph Luckeneder, Ralph Hoch, Hermann Kaindl
2022	Misc	`conf`	Assigning Systems to Test Environments Through Ontological Reasoning. SEMANTiCS Petar Paradzikovic, Ralph Hoch, Hermann Kaindl
2022	J	`jnl`	Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. IEEE Trans. Software Eng. Ralph Hoch, Christoph Luckeneder, Roman Popp, Hermann Kaindl
2021	B	`conf`	Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. RO-MAN Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl
2021	—	`conf`	Using an Auction-Based System in Cloud Manufacturing for Selecting Manufacturing-as-a-Service Providers. APMS (5) Kelvin Sparr, Damian Drexel, Ralph Hoch
2020	—	`conf`	An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search. ICEIS (Revised Selected Papers) Hermann Kaindl, Ralph Hoch, Roman Popp, Thomas Rathfux, Franz Lukasch
2020	—	`conf`	Estimating Problem Instance Difficulty. ICEIS (1) Hermann Kaindl, Ralph Hoch, Roman Popp
2019	B	`conf`	An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. ENASE Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
2019	C	`conf`	Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. ICSOFT Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
2018	B	`conf`	An inductive learning perspective on automated generation of feature models from given product specifications. SPLC Hermann Kaindl, Stefan Kramer, Ralph Hoch
2018	—	`conf`	Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
2018	B	`conf`	Verification of Feature Coordination using the Fluent Calculus. ENASE Ralph Hoch, Hermann Kaindl
2017	—	`conf`	A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. HICSS Roman Popp, Ralph Hoch, Hermann Kaindl
2017	B	`conf`	Semantic task specification in business process context. RCIS Hermann Kaindl, Ralph Hoch, Roman Popp
2016	—	`conf`	Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface. HICSS Ralph Hoch, Hermann Kaindl, Roman Popp, Christian Zeidler
2016	B	`conf`	Reuse vs. Reusability of Software Supporting Business Processes. ICSR Hermann Kaindl, Roman Popp, Ralph Hoch, Christian Zeidler
2016	—	`conf`	Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp
2015	Misc	`conf`	Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp
2015	—	`conf`	Semantic Service Specification for V&V of Service Composition and Business Processes. HICSS Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek
2013	A	`conf`	Semi-automatic generation of recommendation processes and their GUIs. IUI Hermann Kaindl, Elmar P. Wach, Ada Okoli, Roman Popp, Ralph Hoch, Werner Gaulke, Tim Hussein