Engineering University of Minnesota Minneapolis / /
IndustryTerm
software subsystems / model-based software development / reactive systems / test-vector generation tools / model-based fight software / individual tools / imaging / software systems / safety-critical protocols / software model checking / individual modeling tools / safety-critical systems / research tools / flight software / overall software development / ground control software / /
OperatingSystem
ISIS / /
Organization
Computer Science and Engineering University of Minnesota Minneapolis / Carnegie Mellon / Vanderbilt University / National Aeronautics and Space Administration / Java Pathfinder Symbolic Pathfinder / /
Person
Rhapsody Stateflow / Statechart Formalisms Daniel Balasubramanian / Jianwei Niu / Memory / Michael W. Whalen / Corina S. Pas Michael / / /
Position
correct interpreter / guard / translator / public boolean guard / Testing General / MER Arbiter / User1 u2rescind u2resource resourceOut grant Arbiter / Resource Arbiter / heterogeneous model / class Interpreter / arbiter / interpreter / model / optional guard / director / Semantic Interpreter / public Interpreter / representative / /
Product
Sigma DP2 Digital Camera / Sigma DP1 Digital Camera / /
Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian ˘ areanu ˘