The following pages link to Richard A. Kemmerer (Q1401258):
Displayed 18 items.
- Item:Q1401258 (redirect page) (← links)
- Three systems for cryptographic protocol analysis (Q1330137) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- Past pushdown timed automata and safety verification. (Q1426159) (← links)
- Counter machines and verification problems. (Q1853523) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- (Q2754074) (← links)
- (Q2762788) (← links)
- Formulating Cyber-Security as Convex Optimization Problems (Q2925500) (← links)
- Unisex: A unix-based symbolic executor for pascal (Q3221390) (← links)
- (Q3323253) (← links)
- Specification and verification of the UCLA Unix security kernel (Q3863057) (← links)
- Toward modular verifiable exception handling (Q3871889) (← links)
- (Q4412570) (← links)
- (Q4474049) (← links)
- (Q4536378) (← links)
- (Q4553242) (← links)
- (Q4735983) (← links)