default search action

combined dblp search
author search
venue search
publication search

ask others

Ralph Hoch

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/dsa/LuckenederHK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsa/LuckenederHK23
Christoph Luckeneder, Ralph Hoch, Hermann Kaindl:
Towards Using Structural Abstraction for Model Checking. DSA 2023: 105-113
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/StippelSKHKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/StippelSKHKS23
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: 767-770
2022
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HochLPK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HochLPK22
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): 4041-4059 (2022)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/i-semantics/ParadzikovicHK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/i-semantics/ParadzikovicHK22
Petar Paradzikovic, Ralph Hoch, Hermann Kaindl:
Assigning Systems to Test Environments Through Ontological Reasoning. SEMANTiCS 2022: 75-89
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip5-7/SparrDH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-7/SparrDH21
Kelvin Sparr, Damian Drexel, Ralph Hoch:
Using an Auction-Based System in Cloud Manufacturing for Selecting Manufacturing-as-a-Service Providers. APMS (5) 2021: 445-454
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ro-man/RathmairLHRHHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ro-man/RathmairLHRHHK21
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: 1283-1288
2020
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/KaindlHPRL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/KaindlHPRL20
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: 158-183
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/KaindlHP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/KaindlHP20
Hermann Kaindl, Ralph Hoch, Roman Popp:
Estimating Problem Instance Difficulty. ICEIS (1) 2020: 359-369

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/RathfuxKHL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/RathfuxKHL19
Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch:
An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. ENASE 2019: 289-296
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/RathfuxKHL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/RathfuxKHL19
Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch:
Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. ICSOFT 2019: 595-604
2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/HochK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/HochK18
Ralph Hoch, Hermann Kaindl:
Verification of Feature Coordination using the Fluent Calculus. ENASE 2018: 169-179
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/KaindlHRL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/KaindlHRL18
Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder:
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) 2018: 261-287
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/Kaindl0H18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/Kaindl0H18
Hermann Kaindl, Stefan Kramer, Ralph Hoch:
An inductive learning perspective on automated generation of feature models from given product specifications. SPLC 2018: 25-30
2017
[c8]
- view
- export record
  dblp key:
  - conf/hicss/PoppHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/PoppHK17
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: 1-10
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/KaindlHP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/KaindlHP17
Hermann Kaindl, Ralph Hoch, Roman Popp:
Semantic task specification in business process context. RCIS 2017: 286-291
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/HochKPZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/HochKPZ16
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: 4556-4565
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/KaindlPHZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/KaindlPHZ16
Hermann Kaindl, Roman Popp, Ralph Hoch, Christian Zeidler:
Reuse vs. Reusability of Software Supporting Business Processes. ICSR 2016: 138-145
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/worldcist/HochRKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/worldcist/HochRKP16
Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp:
Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) 2016: 589-598
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/HochKPEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/HochKPEH15
Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek:
Semantic Service Specification for V&V of Service Composition and Business Processes. HICSS 2015: 1370-1379
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip8-1/RathmairHKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip8-1/RathmairHKP15
Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp:
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM 2015: 126-140
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iui/KaindlWOPHGH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iui/KaindlWOPHGH13
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: 85-94

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.