( en | de | ru )

 

Disambiguation of "Hoch, Ralph"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic task specification in business process context.

, , and . RCIS, page 286-291. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

John Ralph

Felix Hoch

Felicitas Hoch

Andreas Höch

Johannes Hoch

 

Other publications of authors with the same name

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models., , , and . ENASE (Selected Papers), volume 1023 of Communications in Computer and Information Science, page 261-287. Springer, (2018)Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications., , , and . IEEE Trans. Software Eng., 48 (10): 4041-4059 (2022)Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability., , , , , , and . RO-MAN, page 1283-1288. IEEE, (2021)A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification., , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces., , , and . ENASE, page 289-296. SciTePress, (2019)Towards Using Structural Abstraction for Model Checking., , and . DSA, page 105-113. IEEE, (2023)Consistently Formalizing a Business Process and its Properties for Verification: A Case Study., , , and . PoEM, volume 235 of Lecture Notes in Business Information Processing, page 126-140. Springer, (2015)An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search., , , , and . ICEIS (Revised Selected Papers), volume 417 of Lecture Notes in Business Information Processing, page 158-183. Springer, (2020)Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking., , , and . ICSOFT, page 595-604. SciTePress, (2019)Verification of Feature Coordination using the Fluent Calculus., and . ENASE, page 169-179. SciTePress, (2018)