State transition analysis: a rule-based intrusion detection approach von Ilgun, K., Kemmerer, R.A., Porras, P.A.

Volltext

Comprehensive approach to intrusion detection alert correlation von Valeur, F., Vigna, G., Kruegel, C., Kemmerer, R.A.

Volltext

Hi-DRA: Intrusion Detection for Internet Security von Kemmerer, R.A., Vigna, G.

Volltext

Specification of realtime systems using ASTRAL von Coen-Porisini, A., Ghezzi, C., Kemmerer, R.A.

Volltext

Analyzing encryption protocols using formal verification techniques von Kemmerer, R.A.

Volltext

Intrusion detection: a brief history and overview von Kemmerer, R.A., Vigna, G.

Volltext

Testing Formal Specifications to Detect Design Errors von Kemmerer, R.A.

Volltext

RT-ASLAN: A specification language for real-time systems von Auernheimer, B., Kemmerer, R. A.

Volltext

Covert flow trees: a visual approach to analyzing covert storage channels von Kemmerer, R.A., Porras, P.A.

Volltext

A formal framework for ASTRAL intralevel proof obligations von Coen-Porisini, A., Kemmerer, R.A., Mandrioli, D.

Volltext

Presburger liveness verification of discrete timed automata von Dang, Zhe, Pietro, Pierluigi San, Kemmerer, Richard A.

Volltext

Generalized discrete timed automata: decidable approximations for safety verification von Dang, Zhe, Ibarra, Oscar H., Kemmerer, Richard A.

Volltext

The riboflavin content of some animal feeds and some human foods / A.R. Kemmerer and G.S. Fraps : v.671(1945) von Kemmerer, A. R. 1904

Volltext bestellen

The riboflavin content of some animal feeds and some human foods / A.R. Kemmerer and G.S. Fraps von Kemmerer, A. R. 1904

Volltext bestellen

The vitamin A potency of commercial butters sold in Texas / A.R. Kemmerer and G.S. Fraps von Kemmerer, A. R. 1904

Volltext bestellen

The vitamin A potency of commercial butters sold in Texas / A.R. Kemmerer and G.S. Fraps : v.629(1943) von Kemmerer, A. R. 1904

Volltext bestellen

Security issues in distributed software von Kemmerer, Richard A.

Volltext

Integrating formal methods into the development process von Kemmerer, R.A.

Volltext

Food intake regulation: amino acid toxicity and changes in rat brain and plasma amino acids von Peng, Y, Gubin, J, Harper, A.E, Vavich, M.G, Kemmerer, A.R

Volltext

Complexity measures for assembly language programs von Blaine, J.David, Kemmerer, Richard A.

Volltext