516 results on '"van den Brand, Mark"'
Search Results
2. Current trends in digital twin development, maintenance, and operation: an interview study
3. Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges
4. : Deductive Verification and Scheduling Languages Join Forces
5. Designing a Reference Architecture for the C-ITS Services
6. A personal retrospective on language workbenches
7. Refactoring with domain-driven design in an industrial context: An action research report
8. Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management
9. Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges
10. Formal Methods for GPGPU Programming: Is the Demand Met?
11. A systematic literature review of cross-domain model consistency checking by model management tools
12. Interface protocol inference to aid understanding legacy software components
13. Models, More Models, and Then a Lot More
14. Metamodel clone detection with SAMOS
15. Investigating Uncertainty in Behavioral Modeling for C-ITS Services
16. ML-based Digital Twin for anomaly detection: a case-study on Turtle soccer robots
17. Contributors
18. Introduction to model management and analytics
19. Model analytics for industrial MDE ecosystems
20. Preface
21. Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations
22. LaMa: a thematic labelling web application
23. Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization
24. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
25. A systematic approach and tool support for GSN-based safety case assessment
26. Safety Case Development with SBVR-Based Controlled Language
27. A Modeling Approach to Support Safety Assurance in the Automotive Domain
28. Conceptual Model of the Globalization for Domain-Specific Languages
29. Launch of New Journal JSEAS
30. Syntax-Safe Templates
31. Case Studies
32. Conclusions
33. Preliminaries
34. The Metalanguage
35. Repleo: Syntax-Safe Template Evaluation
36. The Unparser
37. Introduction
38. Metrics design for safety assessment
39. From Conceptual Models to Safety Assurance
40. Metamodel Comparison and Model Comparison for Safety Assurance
41. Models, More Models, and Then a Lot More
42. SAMOS - A framework for model analytics and management
43. A community-sourced view on engineering digital twins
44. A Community-Sourced View on Engineering Digital Twins: A Report from the EDT.Community
45. Extracting Models from ISO 26262 for Reusable Safety Assurance
46. Island Grammar-Based Parsing Using GLL and Tom
47. The Babel of Software Development: Linguistic Diversity in Open Source
48. Safe Specification of Operator Precedence Rules
49. MDE Basics with a DSL Focus
50. Traceability Visualization in Model Transformations with TraceVis
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.