The following pages link to Corina S. Păsăreanu (Q934702):
Displaying 21 items.
- (Q816190) (redirect page) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning (Q934706) (← links)
- Automated circular assume-guarantee reasoning (Q1673656) (← links)
- (Q2769593) (← links)
- Learning Probabilistic Systems from Tree Samples (Q2986820) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Towards MC/DC Coverage of Properties Specification Patterns (Q3179399) (← links)
- Automated Assume-Guarantee Reasoning by Abstraction Refinement (Q3512489) (← links)
- (Q4414730) (← links)
- (Q4417936) (← links)
- (Q4417955) (← links)
- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement (Q4633543) (← links)
- (Q4994694) (← links)
- Assume, Guarantee or Repair (Q5039510) (← links)
- Automated Circular Assume-Guarantee Reasoning (Q5206947) (← links)
- Model Checking Software (Q5308375) (← links)
- Predicate Abstraction with Under-approximation Refinement (Q5310681) (← links)
- Computer Aided Verification (Q5716598) (← links)
- Refining Interface Alphabets for Compositional Verification (Q5758115) (← links)
- Model Checking Software (Q5899042) (← links)
