Author of the publication

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.

 

Other publications of authors with the same name

Human or Machine: Reflections on Turing-Inspired Testing for the Everyday., and . CoRR, (2023)Toward Scenario-Based Algorithmics., and . Adventures Between Lower Bounds and Higher Altitudes, volume 11011 of Lecture Notes in Computer Science, page 549-567. Springer, (2018)Learning String Patterns and Tree Patterns from Examples., , and . ML, page 384-391. Morgan Kaufmann, (1990)Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)., , , , and . AAAI, page 9770-9774. AAAI Press, (2019)Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries., , and . EXE@MoDELS, volume 1760 of CEUR Workshop Proceedings, page 5-11. CEUR-WS.org, (2016)First Steps Towards a Wise Development Environment for Behavioral Models., , , and . Int. J. Inf. Syst. Model. Des., 7 (3): 1-22 (2016)Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns., , and . Computer, 54 (10): 95-101 (2021)Model-checking behavioral programs., , , and . EMSOFT, page 279-288. ACM, (2011)Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models., , , and . MODELSWARD (Revised Selected Papers), volume 991 of Communications in Computer and Information Science, page 335-354. Springer, (2018)Distributing Scenario-based Models: A Replicate-and-Project Approach., , , , , and . MODELSWARD, page 182-195. SciTePress, (2017)