David Svoboda

As-If Infinitely Ranged Integer Model, Second Edition

R. Dannenberg, R. Seacord, D. Keaton, 2010 .

Secure Design Patterns

Robert C. Seacord, David Svoboda, Kirk Sayre, 2009 .

Mobile SCALe: Rules and Analysis for Secure Java and Android Coding

Lujo Bauer, David Svoboda, Limin Jia, 2013 .

Prioritizing Alerts from Multiple Static Analysis Tools, Using Classification Models

William Snavely, David Svoboda, Nathan M. VanHoudnos, 2018, 2018 IEEE/ACM 1st International Workshop on Software Qualities and their Dependencies (SQUADE).

Pronominal anaphora resolution in the KANTOO multilingual machine translation system.

Teruko Mitamura, Eric Nyberg, Enrique Torrejon, 2002, TMI.

Source Code Analysis Laboratory (SCALe)

Philip Miller, Robert C. Seacord, David Svoboda, 2012 .

Source Code Analysis Laboratory (SCALe) for Energy Delivery Systems

R. Seacord, J. McCurley, Will Dormann, 2010 .

Improving the Automated Detection and Analysis of Secure Coding Violations

David Svoboda, Daniel Plakosh, Robert W. Stoddard, 2014 .

The Cert Oracle Secure Coding Standard for Java

Robert C. Seacord, David Svoboda, Fred Long, 2011 .

As-If Infinitely Ranged Integer Model

Timothy Wilson, Roger B. Dannenberg, Robert C. Seacord, 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

Java Concurrency Guidelines

Robert C. Seacord, David Svoboda, Fred Long, 2010 .

Evaluation of CERT Secure Coding Rules through Integration with Source Code Analysis Tools

Robert C. Seacord, David Svoboda, Dan Saks, 2008 .