Name Card

Full name Familienname, Vorname
Hoch, Ralph
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 24 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Luckeneder, Christoph ; Hoch, Ralph ; Kaindl, Hermann Towards Using Structural Abstraction for Model CheckingInproceedings Konferenzbeitrag14-Nov-2023
2Stippel, Christian ; Schwendinger, Benjamin ; Kammerhofer, Michael ; Hoch, Ralph ; Kaindl, Hermann ; Sauter, Thilo Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic AlgorithmsInproceedings Konferenzbeitrag24-Jul-2023
3Paradzikovic-2022-Assigning Systems to Test Environments Through Ontologi...-vor.pdf.jpgParadzikovic, Petar ; Hoch, Ralph ; Kaindl, Hermann Assigning Systems to Test Environments Through Ontological ReasoningInproceedings Konferenzbeitrag Sep-2022
4Hoch, Ralph ; Luckeneder, Christoph ; Popp, Roman ; Kaindl, Hermann Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic SpecificationsArtikel Article 2021
5Kaindl, Hermann ; Hoch, Ralph ; Roman, Popp ; Rathfux, Thomas ; Lukasch, Franz An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic SearchKonferenzbeitrag Inproceedings 2021
6Rathmair, Michael ; Luckeneder, Christoph ; Haspl, Thomas ; Reiterer, Berhnard ; Hoch, Ralph ; Hofbaur, Michael ; Kaindl, Hermann Formal Verification of Safety Properties of Collaborative Robotic Applications including VariabilityKonferenzbeitrag Inproceedings 2021
7Kaindl, Hermann ; Hoch, Ralph ; Popp, Roman Estimating Problem Instance DifficultyKonferenzbeitrag Inproceedings 2020
8Rathfux, Thomas ; Kaindl, Hermann ; Hoch, Ralph ; Lukasch, Franz An Experimental Evaluation of Design Space Exploration of Hardware/Software InterfacesKonferenzbeitrag Inproceedings2019
9Rathfux, Thomas ; Kaindl, Hermann ; Hoch, Ralph ; Lukasch, Franz Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breakingKonferenzbeitrag Inproceedings2019
10Hoch Ralph - 2019 - Connecting process models object life cycles and...pdf.jpgHoch, Ralph Connecting process models, object life cycles and context-dependent conditions through semantic specificationsThesis Hochschulschrift 2019
11Kaindl, Hermann ; Hoch, Ralph ; Rathmair, Michael ; Luckeneder, Christoph Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative ModelsBuchbeitrag Book Contribution 2018
12Hoch, Ralph ; Kaindl, Hermann Verification of Feature Coordination using the Fluent CalculusKonferenzbeitrag Inproceedings 2018
13Kaindl, Hermann ; Kramer, Stefan ; Hoch, Ralph An inductive learning perspective on automated generation of feature models from given product specificationsKonferenzbeitrag Inproceedings 2018
14Kaindl, Hermann ; Hoch, Ralph ; Popp, Roman Semantic Task Specification in Business Process ContextKonferenzbeitrag Inproceedings 2017
15Popp, Roman ; Hoch, Ralph ; Kaindl, Hermann A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal VerificationKonferenzbeitrag Inproceedings 2017
16Kaindl, Hermann ; Popp, Roman ; Hoch, Ralph ; Zeidler, Christian Reuse vs. Reusability of Software Supporting Business ProcessesKonferenzbeitrag Inproceedings 2016
17Hoch, Ralph ; Kaindl, Hermann ; Popp, Roman ; Zeidler, Christian Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User InterfaceKonferenzbeitrag Inproceedings 2016
18Hoch, Ralph ; Rathmair, Michael ; Kaindl, Hermann ; Popp, Roman Verification of Business Processes Against Business Rules Using Object Life CyclesKonferenzbeitrag Inproceedings 2016
19Rathmair, Michael ; Hoch, Ralph ; Kaindl, Hermann ; Popp, Roman Consistently Formalizing a Business Process and its Properties for Verification: A Case StudyKonferenzbeitrag Inproceedings 2015
20Hoch, Ralph ; Kaindl, Hermann ; Popp, Roman ; Ertl, Dominik Comprehensive Integration of Executable Business Process Models with Semantic Concept and Task SpecificationsKonferenzbeitrag Inproceedings 2015

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rundel Roman - 2023 - Entscheidungshilfe fuer Energiemanagement mittels...pdf.jpgRundel, Roman Entscheidungshilfe für Energiemanagement mittels Digitaler ZwillingeThesis Hochschulschrift 2023
2Milanovic Sinisa - 2022 - Evaluation of SLAM methods and adaptive Monte Carlo...pdf.jpgMilanovic, Sinisa Evaluation of SLAM methods and adaptive Monte Carlo localizationThesis Hochschulschrift 2022
3Luckeneder Christoph - 2022 - Approaches to cyber-physical model model-checking.pdf.jpgLuckeneder, Christoph Approaches to cyber-physical (model) model-checkingThesis Hochschulschrift 2022
4Karner Thomas - 2018 - GPS-gestuetzte Routenverfolgung mit Odometrie und...pdf.jpgKarner, Thomas GPS-gestützte Routenverfolgung mit Odometrie und FahrbahnranderkennungThesis Hochschulschrift 2018