Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques.

R. Lo, K. Levitt, and R. Olsson. Softw. Test., Verif. Reliab., 7 (4): 201-227 (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dipl.-Ing. Karl Kübler

Approach for manufacturer independent automated machine tool control software testK. Kübler, A. Neyrinck, J. Schlechtendahl, A. Lechler, and A. Verl. Progress in production engineering; selected, peer reviewed papers from the 2015 WGP Congress, September 7 - 8, 2015, Hamburg, Germany, 794, page 347-354. Pfaffikon, Trans Tech Publ., (2015)

Philipp Karl University of Stuttgart

Kristian Karlovic

Prof. Dr. Karl Bredereck University of Stuttgart

Karl Grötzinger University of Stuttgart

Other publications of authors with the same name

CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms.D. Frincke, M. Archer, and K. Levitt. KBSE, page 151-160. IEEE Computer Society, (1991)How to Sanitize Data.M. Bishop, B. Bhumiratana, R. Crawford, and K. Levitt. WETICE, page 217-222. IEEE Computer Society, (2004)The Design and Implementation of a Data Level Database Inference Detection System.R. Yip, and K. Levitt. DBSec, volume 142 of IFIP Conference Proceedings, page 253-266. Kluwer, (1998)Discovery of Multi-Level Security Policies.C. Chung, M. Gertz, and K. Levitt. DBSec, volume 201 of IFIP Conference Proceedings, page 173-184. Kluwer, (2000)A class of nonlinear error correcting codes based upon interleaved two-level sequences (Corresp.).K. Levitt, and J. Wolf. IEEE Trans. Information Theory, 13 (2): 335-336 (1967)Data Level Inference Detection in Database Systems.R. Yip, and K. Levitt. CSFW, page 179-189. IEEE Computer Society, (1998)Towards Applying the Composition Principle to Verify a Microkernel Operating System.M. Heckman, C. Zhang, B. Becker, D. Peticolas, K. Levitt, and R. Olsson. TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 235-250. Springer, (1996)Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.C. Zhang, R. Shaw, R. Olsson, K. Levitt, M. Archer, M. Heckman, and G. Benson. HUG, volume 780 of Lecture Notes in Computer Science, page 29-42. Springer, (1993)Intrusion detection inter-component adaptive negotiation.R. Feiertag, S. Staniford-Chen, K. Levitt, M. Heckman, D. Peticolas, R. Crawford, L. Benzinger, S. Rho, and S. Wu. Computer Networks, 34 (4): 605-621 (2000)Security Policy Specification Using a Graphical ApproachJ. Hoagland, R. Pandey, and K. Levitt. CoRR, (1998)