Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 16 results in range #1 to #16.
- Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses: Label: en
- Lazy Execution of Boolean Queries: Label: en
- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification: Label: en
- New Developments in WCET Analysis: Label: en
- An Appreciation of the Work of Reinhard Wilhelm: Label: en
- Towards a Source Level Compiler: Source Level Modulo Scheduling: Label: en
- Data Flow Analysis for CCS: Label: en
- Types from Control Flow Analysis: Label: en
- Abstract Counterexample-Based Refinement for Powerset Domains: Label: en
- Refinement-Based Verification for Possibly-Cyclic Lists: Label: en
- On the Expressive Power of Live Sequence Charts: Label: en
- Ensuring Properties of Interaction Systems: Label: en
- Grammar Analysis and Parsing by Abstract Interpretation: Label: en
- Abstract Interpretation for Worst and Average Case Analysis: Label: en
- ViDoC - Visual Design of Optimizing Compilers: Label: en
- Infering Ownership Types for Encapsulated Object-Oriented Program Components: Label: en