New Schizophrenia Patterns on Esterel caused by Control/Data Signals |
Yun, Jeong-Han
(KAIST 전산학과)
Kim, Chul-Joo (KAIST 전산학과) Kim, Seong-Gun (KAIST 전산학과) Choe, Kwang-Moo (KAIST 전산학과) Han, Tai-Sook (KAIST 전산학과) |
1 | J. Yun, C. Kim, S. Seo, T. Han, and K. Choe, "Refining schizophrenia via graph reachability in Esterel," 7th ACM-IEEE International Conference on Formal Methods and Models for Codesign, 2009. |
2 | C. Kim, J. Yun, S. Seo, K. Choe, and T. Han, "Efficient construction of over-approximated CFG on Esterel," Journal of KIISE: Computing Practices and Letters, vol.15(11), pp.876-880, 2009. (in Korean) 과학기술학회마을 |
3 | O. Tardieu and R. de Simone, "Loops in Esterel," Transactions on Embedded Computing Systems, vol.4, no.4, pp.708-750, 2005. DOI |
4 | K. Schneider, J. Brandt, and T. Schuele, "A verified compiler for synchronous programs with local declarations," Electronic Notes in Theoretical Computer Science, vol.153, no.4, pp.71-97, 2006. DOI ScienceOn |
5 | N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993. |
6 | G. Berry, "Circuit design and verification with Esterel v7 and Esterel Studio," IEEE International High-Level Design, Validation, and Test Workshop, pp.133-136, 2007. |
7 | G. Berry, The Constructive Semantics of Pure Esterel. Draft book available at http://www.inria.fr/meije/esterel/esterel-eng.html, 1999. |
8 | D. Potop-Butucaru, S. A. Edwards, and G. Berry. Compiling Esterel, Springer, 2007. |
9 | Esterel Technologies, The Esterel v7 Reference Manual Version v7.30. initial IEEE standardization proposal, Esterel Technologies, 679 av. Dr. J. Lefebvre 06270 VilleneuveLoubet, France, November 2005. |
10 | O. Tardieu, "A deterministic logical semantics for pure Esterel," ACM Transactions on Programming Languages and Systems, vol.29(2), pp.1-24, 2007. DOI |
11 | A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone, "The synchronous languages 12 years later," Proceedings of the IEEE Embedded Systems, vol.91(1), pp.64-83, 2003. |