Entity usage

Showing below up to 36 results in range #1 to #36.

1. A data flow model with frequency arithmetic: Label: en
2. Metric temporal graph logic over typed attributed graphs: Label: en
3. Checking observational purity of procedures: Label: en
4. Variability abstraction and refinement for game-based lifted model checking of full CTL: Label: en
5. A logic-based incremental approach to graph repair: Label: en
6. A hybrid dynamic logic for event/data-based systems: Label: en
7. SMT-based bounded schedulability analysis of the clock constraint specification language: Label: en
8. A Logic of Graph Constraints: Label: en
9. Variability-Specific Abstraction Refinement for Family-Based Model Checking: Label: en
10. Family-Based Model Checking with mCRL2: Label: en
11. Change-Preserving Model Repair: Label: en
12. Traceability Mappings as a Fundamental Instrument in Model Transformations: Label: en
13. Symbolic Model Generation for Graph Properties: Label: en
14. GTS Families for the Flexible Composition of Graph Transformation Systems: Label: en
15. Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques: Label: en
16. Change and Delay Contracts for Hybrid System Component Verification: Label: en
17. Revisiting Semantics of Interactions for Trace Validity Analysis: Label: en
18. Combining Partial Specifications using Alternating Interface Automata: Label: en
19. Holistic Specifications for Robust Programs: Label: en
20. Algorithmic Analysis of Blockchain Efficiency with Communication Delay: Label: en
21. Business Process Compliance Using Reference Models of Law: Label: en
22. Towards Multiple Model Synchronization with Comprehensive Systems: Label: en
23. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming: Label: en
24. Statistical Model Checking for Variability-Intensive Systems: Label: en
25. Incremental Concurrent Model Synchronization using Triple Graph Grammars: Label: en
26. Family-Based SPL Model Checking Using Parity Games with Variability: Label: en
27. Skill-Based Verification of Cyber-Physical Systems: Label: en
28. Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting: Label: en
29. Multi-level Model Product Lines: Label: en
30. Global Reproducibility Through Local Control for Distributed Active Objects: Label: en
31. Integrating Topological Proofs with Model Checking to Instrument Iterative Design: Label: en
32. Improving Symbolic Automata Learning with Concolic Execution: Label: en
33. Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique: Label: en
34. Model-Based Testing of Probabilistic Systems: Label: en
35. Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices: Label: en
36. RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules: Label: en