The following pages link to Doron A. Peled (Q200942):
Displayed 50 items.
- Item:Q200942 (redirect page) (← links)
- Stutter-invariant temporal properties are expressible without the next-time operator (Q290250) (← links)
- Undecidability of partial order logics (Q294640) (← links)
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Achieving distributed control through model checking (Q453529) (← links)
- Efficient model checking for LTL with partial order snapshots (Q732005) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Combining partial-order reductions with on-the-fly model-checking. (Q960506) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages (Q1276242) (← links)
- Proving partial order properties (Q1322161) (← links)
- A compositional framework for fault tolerance by specification transformation (Q1330423) (← links)
- On projective and separable properties (Q1389766) (← links)
- Memory-efficient tactics for randomized LTL model checking (Q1630037) (← links)
- Deciding global partial-order properties (Q1774565) (← links)
- A partial order approach to branching time logic model checking. (Q1854268) (← links)
- Model-checking of correctness conditions for concurrent objects (Q1854357) (← links)
- State space reduction using partial order techniques (Q1856177) (← links)
- Combining software and hardware verification techniques (Q1871861) (← links)
- Formal verification of a partial-order reduction technique for model checking (Q1961915) (← links)
- First-order temporal logic monitoring with BDDs (Q2225472) (← links)
- Editorial: Special issue on synthesis (Q2249656) (← links)
- On commutativity based edge lean search (Q2268917) (← links)
- Synthesis of succinct systems (Q2353397) (← links)
- Model checking, testing and verification working together (Q2576575) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- (Q2754119) (← links)
- (Q2764005) (← links)
- (Q2769610) (← links)
- Specification and Verification using Message Sequence Charts (Q2841317) (← links)
- Monitoring Parametric Temporal Logic (Q2938076) (← links)
- Knowledge = Observation + Memory + Computation (Q2949441) (← links)
- The Buck Stops Here: Order, Chance, and Coordination in Distributed Control (Q3172930) (← links)
- Partial-Order Reduction (Q3176364) (← links)
- Adaptive Model Checking (Q3424119) (← links)
- Calculating Probabilities of Real-Time Test Cases (Q3434607) (← links)
- Time Unbalanced Partial Order (Q3434608) (← links)
- Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Q3510808) (← links)
- Discriminative Model Checking (Q3512513) (← links)
- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms (Q3540062) (← links)
- Parametric temporal logic for “model measuring” (Q3549124) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- Knowledge Based Scheduling of Distributed Systems (Q3587250) (← links)
- Grey-Box Checking (Q3613088) (← links)
- Priority Scheduling of Distributed Systems Based on Model Checking (Q3636855) (← links)
- (Q4038718) (← links)
- (Q4264097) (← links)
- (Q4353637) (← links)
- (Q4356435) (← links)