466 results on '"Hermann Kaindl"'
Search Results
2. Introduction to the Minitrack on Software Technology and Software Development.
3. Automated Web GUI Generation from High-Level Interaction Design with Discourse Models.
4. Determining the Relative Importance of Features for Influencing Software Product Similarity Matching.
5. Towards Using Structural Abstraction for Model Checking.
6. Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms.
7. Comparing Products using Similarity Matching.
8. Superintelligence Safety: A Requirements Engineering Perspective.
9. Assigning Systems to Test Environments Through Ontological Reasoning.
10. The Use of Cross-Platform Frameworks for Google Play Store Apps.
11. Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems.
12. Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications.
13. High-Level Interaction Design with Discourse Models for Automated Web GUI Generation.
14. Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.
15. Using Binary Strings for Comparing Products from Software-intensive Systems Product Lines.
16. A Simulation-based Performance Evaluation of Heuristics for Dew Computing.
17. Towards an Extended Requirements Problem Formulation for Superintelligence Safety.
18. An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search.
19. Estimating Problem Instance Difficulty.
20. A Bibliometric Analysis of the HICSS Software Technology Track.
21. Towards Probabilistic Analysis of Human-System Integration in Automated Driving.
22. Enhancing Product Comparison through Automated Similarity Matching.
23. Similarity matching for product comparison.
24. Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems.
25. Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking.
26. Consistent Runtime Adaptation of User Interfaces.
27. Human-Machine Interaction.
28. An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces.
29. A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification.
30. Towards Requirements Engineering for Superintelligence Safety.
31. Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility.
32. An inductive learning perspective on automated generation of feature models from given product specifications.
33. Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems.
34. Taming and optimizing feature interaction in software-intensive automotive systems.
35. Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling.
36. Verification of Feature Coordination using the Fluent Calculus.
37. Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.
38. Requirements Reuse for Exploring Stakeholder Needs.
39. Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems.
40. ModelGenGUIs - High-level Interaction Design with Discourse Models for Automated GUI Generation.
41. Automated Unit Testing in Model-based Embedded Software Development.
42. Semantic task specification in business process context.
43. High-level Verification and Validation of Software Supporting Business Processes.
44. A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification.
45. Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation.
46. Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems.
47. Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems.
48. On the development of consistent user interfaces (extended abstract).
49. Avoiding Undertrust and Overtrust.
50. Towards Probability-based Safety Verification of Systems with Components from Machine Learning.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.