Eric Engstrom

Publication Activity (10 Years)

Years Active: 2000-2014
Publications (10 Years): 0

Top Topics

Quantitative Analysis

Top Venues

AAAI Spring Symposia

Publications

Christopher Allen Miller, Jeffrey M. Rye, Peggy Wu, Eric Engstrom
An Interaction Fit Analysis Technique and its Applications. AAAI Spring Symposia (2014)
John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods Syst. Des. 26 (2) (2005)
Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt
Composable Code Generation for Model-Based Development. SCOPES (2003)
Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
Applications of Model Checking at Honeywell Laboratories. SPIN (2001)
John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verification of time partitioning in the DEOS scheduler kernel. ICSE (2000)