Publications 2009

Academic Journals

1. B. Jose, B. Xue, S. Shukla, J.-P. Talpin. 2009.
2. D. Potop-Butucaru, R. De Simone, J.-P. Talpin. The synchronous hypothesis and polychronous languages. 2009.

International Conferences

1. L. Besnard, T. Gautier, M. Moy, J.-P. Talpin, K. Johnson, F. Maraninchi. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. In Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), to appear in Electronic Communications of the EASST, 2009.
2. Y. Ma, J.-P. Talpin, S. Shukla, T. Gautier. Distributed simulation of AADL specifications in a polychronous model of computation. In International Conference on Embedded Software and Systems (ICESS'09), 2009.
3. J.C Peralta, T. Gautier. Towards SMV model checking of Signal (multi-clocked) specifications. In Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), to appear in Electronic Communications of the EASST, Pages 171-185, 2009.
4. D. Potop-Butucaru, R. De Simone, Y. Sorel, J.-P Talpin. Clock-driven distributed real-time implementation of endochronous synchronous programs. In Embedded Software Conference (EMSOFT'09), 2009.
5. D. Potop-Butucaru, R. De Simone, Y. Sorel, J.-P. Talpin. From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations. In Application of Concurrency to System Design (ACSD'09), 2009.
6. Y. Glouche, P. Le Guernic, J.-P Talpin, T. Gautier. A Boolean algebra of contracts for logical assume-guarantee reasoning. In 6th International Workshop on Formal Aspects of Component Software (FACS 2009), to appear in ENTCS (Electronic Notes in Theoretical Computer Science), November 2009.
7. Y. Glouche, J.-P. Talpin, P. Le Guernic, T. Gautier. A module language for typing by contracts. In Proceedings of the First NASA Formal Methods Symposium (NFM'09), E. Denney, D. Giannakopoulou, C. S. P\uas\uareanu (eds.), Pages 86-95, April 2009.
8. E. Vecchie, J.-P. Talpin, K. Schneider. Separate compilation and execution of imperative synchronous modules. In Design Analysis and Test in Europe (DATE'09), April 2009.

Misc

1. L. Besnard, T. Gautier, J.-P Talpin. Code generation strategies for Synoptic using the Polychrony platform. Deliverable SPa5b, Projet ANR Spacify, 2009.
2. F. Dupont, L. Besnard, J.-P Talpin. Outillage du langage de modélisation Synoptic en vue de la simulation. Deliverable SPa4, Projet ANR Spacify, 2009.
3. J. Ouy, J.-P Talpin. Transformation de modèles Synoptic vers Signal/SME. Deliverable SPa4b, Projet ANR Spacify, 2009.

PhD Thesis

1. Y. Glouche. Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués. PhD Thesis, 2009. download

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last update Thu Mar 1 13:58:00 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.