The following pages link to Radu Grigore (Q2151233):
Displaying 11 items.
- Maximum satisfiability in software analysis: applications and techniques (Q2151235) (← links)
- Selective monitoring (Q2221805) (← links)
- History-Register Automata (Q2800969) (← links)
- Abstraction refinement guided by a learnt probabilistic model (Q2828290) (← links)
- On QBF Proofs and Preprocessing (Q2870148) (← links)
- (Q4598245) (← links)
- History-Register Automata (Q4910409) (← links)
- Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription (Q4930765) (← links)
- (Q5009434) (← links)
- Runtime Verification Based on Register Automata (Q5326330) (← links)
- Java generics are turing complete (Q5370847) (← links)
