The following pages link to Doron Peled (Q200942):
Displaying 43 items.
- (Q4449163) (← links)
- (Q4472253) (← links)
- (Q4472258) (← links)
- (Q4474227) (← links)
- (Q4503921) (← links)
- (Q4503926) (← links)
- (Q4518436) (← links)
- (Q4531749) (← links)
- (Q4535059) (← links)
- Synthesis of Succinct Systems (Q4649297) (← links)
- (Q4733386) (← links)
- (Q4738482) (← links)
- (Q4804922) (← links)
- (Q4807832) (← links)
- Methods for Knowledge Based Controlling of Distributed Systems (Q4931282) (← links)
- (Q4938622) (← links)
- (Q4941891) (← links)
- (Q4942015) (← links)
- (Q4954457) (← links)
- (Q4965865) (← links)
- (Q4986502) (← links)
- Compositional Branching-Time Measurements (Q5170747) (← links)
- (Q5227061) (← links)
- Verification: Theory and Practice (Q5305656) (← links)
- Foundations of Software Science and Computation Structures (Q5308451) (← links)
- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems (Q5326299) (← links)
- On Commutativity Based Edge Lean Search (Q5428806) (← links)
- Generating Path Conditions for Timed Systems (Q5429305) (← links)
- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (Q5458325) (← links)
- ENFORCING CONCURRENT TEMPORAL BEHAVIORS (Q5484900) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703782) (← links)
- Lectures on Concurrency and Petri Nets (Q5712282) (← links)
- Detecting Races in Ensembles of Message Sequence Charts (Q5758125) (← links)
- Efficient Runtime Verification of First-Order Temporal Properties (Q5883570) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899064) (← links)
- Software reliability methods. Foreword by Edmund M. Clarke (Q5942575) (← links)
- Relaxed visibility enhances partial order reduction (Q5949489) (← links)
- Monitoring first-order interval logic (Q6041276) (← links)
- Adding partial orders to linear temporal logic (Q6044113) (← links)
- On monitoring linear temporal properties (Q6056640) (← links)
- An algorithmic approach for checking closure properties of Ω-regular languages (Q6162107) (← links)
- First-Order Timed Runtime Verification Using BDDs (Q6485851) (← links)
- Reverse Engineering Through Automata Learning (Q6488341) (← links)
