Eric Engstrom

According to our database, Eric Engstrom authored at least 5 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

An Interaction Fit Analysis Technique and its Applications.

Christopher Allen Miller, Jeffrey M. Rye, Peggy Wu, Eric Engstrom

Proceedings of the 2014 AAAI Spring Symposia, 2014

2005

Verifying Time Partitioning in the DEOS Scheduling Kernel.

John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger

Formal Methods Syst. Des., 2005

2003

Composable Code Generation for Model-Based Development.

Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

2001

Applications of Model Checking at Honeywell Laboratories.

Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal

Proceedings of the Model Checking Software, 2001

2000

Verification of time partitioning in the DEOS scheduler kernel.

John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger

Proceedings of the 22nd International Conference on on Software Engineering, 2000