Publications of Irina Smarandache
Load the BibTeX file
Book Chapters
- T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I Smarandache. Projet CAIRN: conception d'architectures à partir de SIGNAL et ALPHA. In C.T.I. COMETE, CODESIGN Conception conjointe logiciel-matériel, pp. 147-169, Eyrolles, Collection Technique et Scientifique des Télécommunications, 1998.
International Conferences
- I. Smarandache, T. Gautier, P. Le Guernic. Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1364-1383, Toulouse, France, October 1999.
- T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache. Le projet Cairn : vers la conception d'architectures à partir de Signal et Alpha. In Actes des Séminaires Action Scientifique - Codesign, 1997.
- I. Smarandache, P. Le Guernic. Affine Transformations in Signal and Their Applications in the Specification and Validation of Real-Time Systems. In Transformation-Based Reactive Systems Development, Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, May 1997.
Research Reports
- I. Smarandache, P. Le Guernic. A Canonical Form for Affine Relations in Signal. Research Report Irisa / Inria-Rennes, No 3097, February 1997.
Misc
- T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache. Le projet CAIRN: vers la conception d'architectures à partir de Signal et Alpha. June 1996.
PhD Thesis
- I. Smarandache. Transformations affines d'horloges: application au codesign de systèmes temps-réel en utilisant les langages Signal et Alpha. PhD Thesis Université de Rennes 1, IFSIC, October 1998.
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:57:52 2012
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.