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

This page was built for person: Richard A. Kemmerer