118 results on '"Thomas Bauer"'
Search Results
2. Virtual validation of the system architecture design of a production plant with regard to fault tolerance.
3. Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems.
4. Modelling of Advanced Dependencies Between the Start and the End of Activities in Business Processes.
5. Verhalten und Ausführungssemantik optionaler Kanten in Geschäftsprozessen.
6. Transformation in substation automation: Cyber-Resilient Digital Substations (CyReDS) in power grids.
7. Requirements for Dynamic Jumps at the Execution of Business Processes.
8. Assignment of Actors to Activities at Process-Oriented Applications: A Research Agenda.
9. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper.
10. A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
11. Towards a Common Testing Terminology for Software Engineering and Data Science Experts.
12. Dissemination of precision farming technologies in Austria in the context of energy savings potential.
13. Effiziente Modellierung von Eskalationen und Stellvertretungen in Geschäftsprozessen.
14. BPMN-Erweiterungen zur Vormodellierung von Flexibilität für den Kontrollfluss von Geschäftsprozessen.
15. Business Processes with Pre-designed Flexibility for the Control-flow.
16. Pre-modelled Flexibility for the Control-Flow of Business Processes: Requirements and Interaction with Users.
17. FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs.
18. Stand der anwendungsnahen Forschung und Technik für die organisatorische Perspektive von Geschäftsprozessen.
19. Topological Protection of Light Propagation in Photonic Crystals.
20. Incentivizing by example and money.
21. Towards architecting digital twin-pervaded systems.
22. Pre-Modelled Flexibility for Business Processes.
23. Validierung der Accelerometer- und GPS-gestützten Erfassung des Verhaltens sowie des Aufenthaltsbereichs von Pferden in Offenlaufställen.
24. Modellierung erweiterter Beziehungen zwischen dem Start und dem Ende von Aktivitäten in Geschäftsprozessen.
25. Prototyping Automotive Smart Ecosystems.
26. Digitalisierung im Geschäftsprozessmanagement: Potentiale und Herausforderungen.
27. Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes.
28. Vormodellierte Flexibilität für Geschäftsprozesse (Pre-modelled Flexibility for Business Processes).
29. Towards a Common Testing Terminology for Software Engineering and Artificial Intelligence Experts.
30. On the postulation of lines and a fat line.
31. Anforderungen an vormodellierte Flexibilität für den Kontrollfluss von Geschäftsprozessen.
32. The LAST MINUTE Corpus as a Research Resource: From Signal Processing to Behavioral Analyses in User-Companion Interactions.
33. Ausführungssemantik für Sprünge in Geschäftsprozessen.
34. Is There a Biological Basis for Success in Human Companion Interaction? - Results from a Transsituational Study.
35. Context-Based Assignment and Execution of Human-centric Mobile Services.
36. A Large-Scale Technology Evaluation Study: Effects of Model-based Analysis and Testing.
37. Determining the Quality of Product Data Integration.
38. A SOA Repository with Advanced Analysis Capabilities - Improving the Maintenance and Flexibility of Service-Oriented Applications.
39. Annotation and analysis of the LAST MINUTE corpus.
40. Virtual Validation of Cyber Physical Systems.
41. Lifecycle Management of Business Process Variants.
42. The VALU3S ECSEL project: Verification and validation of automated systems safety and security.
43. The Making of a Joint E-Learning Platform for Remote Sensing Education: Experiences and Lessons Learned.
44. Research Challenges for the Modelling of the Resource and Organizational View.
45. Desiderata for the Design of Companion Systems - Insights from a Large Scale Wizard of Oz Experiment.
46. Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns.
47. Optimizing Quality Assurance Strategies through an Integrated Quality Assurance Approach - Guiding Quality Assurance with Assumptions and Selection Rules.
48. Konzeption eines SOA-Repository mit Analysefähigkeiten.
49. An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.
50. Investigating multi-user interactions on interactive media façades.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.