Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
暂无分享,去创建一个
[1] Uwe Aßmann,et al. How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems , 1996, CC.
[2] Stavros Tripakis,et al. Translating discrete-time simulink to lustre , 2003, TECS.
[3] Rance Cleaveland,et al. Automated validation of software models , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[4] A. Tiwari. Formal Semantics and Analysis Methods for Simulink Stateflow Models , 2001 .
[5] Manfred Nagl,et al. Graph-Grammars and Their Application to Computer Science , 1982, Lecture Notes in Computer Science.
[6] Gabor Karsai,et al. Model-Integrated Computing , 1997, Computer.
[7] TripakisStavros,et al. Translating discrete-time simulink to lustre , 2005 .
[8] Vijay Kumar,et al. Hierarchical Hybrid Modeling of Embedded Systems , 2001, EMSOFT.
[9] Raul Camposano,et al. Tool integration and construction using generated graph-based design representations , 1995, DAC '95.
[10] Gabor Karsai,et al. On the Use of Graph Transformation in the Formal Specification of Model Interpreters , 2003, J. Univers. Comput. Sci..
[11] Ansgar Radermacher,et al. Support for Design Patterns Through Graph Transformation Tools , 1999, AGTIVE.
[12] Dorothea Blostein,et al. Issues in the Practical Use of Graph Rewriting , 1994, TAGT.
[13] Gabor Karsai,et al. A UML-based Graph Transformation Approach for Implementing Domain-Specific Model Transformations , 2003 .
[14] Annegret Habel,et al. Graph Transformation for Specification and Programming , 1999, Sci. Comput. Program..
[15] Grzegorz Rozenberg,et al. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .
[16] Gabor Karsai,et al. An end-to-end domain-driven software development framework , 2003, OOPSLA '03.
[17] Edward A. Lee,et al. HYVISUAL: A HYBRID SYSTEM VISUAL MODELER , 1998 .
[18] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[19] Andrea Maggiolo-Schettini,et al. A Graph Rewriting Framework for Statecharts Semantics , 1994, TAGT.