The SCEAS System
Navigation Menu

Search the dblp DataBase


Eric Engstrom: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
    Verification of time partitioning in the DEOS scheduler kernel. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:488-497 [Conf]
  2. Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt
    Composable Code Generation for Model-Based Development. [Citation Graph (0, 0)][DBLP]
    SCOPES, 2003, pp:211-225 [Conf]
  3. Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
    Applications of Model Checking at Honeywell Laboratories. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:296-303 [Conf]
  4. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
    Verifying Time Partitioning in the DEOS Scheduling Kernel. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:103-135 [Journal]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002