A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, and P. Le Guernic andR. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
....it focuses only on specific design methods, in particular scheduling and verification. The internal FunState model shall reduce design complexity by representing only the properties of the system model relevant to these design methods. 2. 2 Synchronous Languages The synchronous languages [9] 42] [10] have been successfully used in the area of reactive and safety critical embedded control systems. These languages are based on the synchronous computational model, which was discussed in Section 2.1. This model gives a solid mathematical foundation for formal reasoning and the application of ....
A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. D. Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64--83, January 2003.
Optimizations For Faster Execution Of Esterel Programs - Potop-Butucaru, de Simone (2004) Self-citation (De simone) (Correct)
No context found.
Albert Benveniste, Paul Caspi, Stephen Edwards, Nicolas Halbwachs, Paul LeGuernic, and Robert de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64--83, 2003.
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
No context found.
A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, and P. Le Guernic andR. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 2003.
A Framework for Rapid Application Development of Distributed .. - Obermaisser, Peti (2005) (Correct)
No context found.
A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. In Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software, volume 91 of 1, pages 64--83, January 2003. 6
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. D. Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64--83, January 2003.
The Happy Marriage of Architecture and Application in.. - Verbauwhede, Schaumont (2004) (Correct)
No context found.
Benveniste, et al, The synchronous languages 12 years later, Proceedings of the IEEE, Vol 91(1), Jan 2003
Towards a Higher-Order Synchronous Data-Flow Language - Colaco, Girault, Hamon, Pouzet (2004) (Correct)
No context found.
A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1), January 2003.
Permission to Make Digital Or Hard Copies of All Or Part.. - Personal Or Classroom (2004) (Correct)
No context found.
Benveniste, et al, The synchronous languages 12 years later, Proceedings of the IEEE, Vol 91(1), Jan 2003
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC