The following pages link to Dimitra Giannakopoulou (Q434439):
Displaying 8 items.
- Formal testing for separation assurance (Q434444) (← links)
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning (Q934706) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Automated Assume-Guarantee Reasoning by Abstraction Refinement (Q3512489) (← links)
- (Q4417936) (← links)
- (Q4422087) (← links)
- (Q4994694) (← links)
- Refining Interface Alphabets for Compositional Verification (Q5758115) (← links)
