The following pages link to Pavol Černý (Q477209):
Displayed 21 items.
- Interface simulation distances (Q477211) (← links)
- Simulation distances (Q764284) (← links)
- Optimal consistent network updates in polynomial time (Q1660929) (← links)
- Synchronization synthesis for network programs (Q2164231) (← links)
- Type-directed bounding of collections in reactive programs (Q2287091) (← links)
- Segment Abstraction for Worst-Case Execution Time Analysis (Q2802432) (← links)
- Expressiveness of Streaming String Transducers (Q2908833) (← links)
- Quantitative abstraction refinement (Q2931788) (← links)
- Algorithmic analysis of array-accessing programs (Q2946676) (← links)
- Discriminating Traces with Time (Q3303919) (← links)
- Simulation Distances (Q3584934) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- Preserving Secrecy Under Refinement (Q3591420) (← links)
- Algorithmic Analysis of Array-Accessing Programs (Q3644742) (← links)
- (Q4986503) (← links)
- Synthesis of interface specifications for Java classes (Q5276138) (← links)
- Streaming transducers for algorithmic verification of single-pass list-processing programs (Q5408580) (← links)
- Model Checking on Trees with Path Equivalences (Q5758138) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5892421) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5915873) (← links)
- Quantitative mitigation of timing side channels (Q6194568) (← links)