Richard A. Kemmerer

Available identifiers

zbMath Open kemmerer.richard-aMaRDI QIDQ1401258

List of research outcomes

Publication	Date of Publication	Type
Formulating Cyber-Security as Convex Optimization Problems	2014-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4735983	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4474049	2004-08-04	Paper
Past pushdown timed automata and safety verification.	2004-03-14	Paper
Generalized discrete timed automata: Decidable approximations for safety verification.	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4412570	2003-07-15	Paper
Presburger liveness verification of discrete timed automata.	2003-05-25	Paper
Counter machines and verification problems.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4553242	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4536378	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2762788	2002-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q2754074	2001-11-11	Paper
Three systems for cryptographic protocol analysis	1994-08-17	Paper
Unisex: A unix-based symbolic executor for pascal	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3323253	1982-01-01	Paper
Specification and verification of the UCLA Unix security kernel	1980-01-01	Paper
Toward modular verifiable exception handling	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richard A. Kemmerer