MoBIES Group / Reactive Systems / MCi / Oxford University Press / Embedded Software Systems / Object Management Group / Microsoft / /
Country
United States / /
Currency
USD / / /
Event
Person Communication and Meetings / /
Facility
Kai Chen Janos Sztipanovits Sandeep Neema Institute / University Computer Science / The University of Pennsylvania / University of California / Software Integrated Systems Vanderbilt University / /
IndustryTerm
formal methods with practical engineering tools / process networks / integrated tool chain / particular tool chain / model transformation algorithm / non critical systems / metaprogrammable tools / transformation algorithm / resource management / conflicting results across different tools / semantic anchoring infrastructure / safety critical applications / Model-integrated computing / integrated analysis tool / meta-programmable tool / concurrent systems / tool verification technology / signal processing using dataflow models / real-time systems / /
Organization
National Science Foundation / University of California / Berkeley / The University of Pennsylvania / Vanderbilt Univ. / Kai Chen Janos Sztipanovits Sandeep Neema Institute / Vanderbilt University / International Telecommunication Union / Oxford University / /
Person
David Harel / Matthew Emerson / Ai / Edward Lee / Tom Henzinger / George Pappas / Alberto Sangiovanni-Vincentelly / Kai Chen Janos Sztipanovits Sandeep / / /
Position
candidate for our purpose / model interpreter / model translator / Theory General / Statecharts model / Abstract Data Model and a Model Interpreter / Hierarchical FSM Model for Checksum Machine ifications / programmer / /
Product
DSML / AsmL / /
ProgrammingLanguage
Model Transformation / MATLAB / Java / Stateflow / C / Abstract State Machine Language / XML / Simulink / /
ProvinceOrState
New Jersey / Pennsylvania / California / /
PublishedMedium
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems / /
Technology
XML / transformation algorithm / VHDL / Integrated Circuits / tool verification technology / model transformation algorithm / Java / finite state machine / cell phones / simulation / /