Divers

2009

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.

2007

1. Erik Herzog, Eldad Palachi, Masoud Zarkari, Thierry Gautier, Susanne Graf, Michael Winokur, Vered Gafni. Assessment of Existing Standards. Deliverable D.2.5.1, 2007.
2. Object Management Group Management Group. A UML Profile for MARTE, Beta 1. Document n. ptc/07-08-04, 2007. download
3. Julio Peralta. Bridging Signal with the CADP model checker, a preliminary study. Deliverable F342, 2007.

2004

1. . UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (RT/E-ML. Octobre 2004.
2. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. Mars 2004.

2002

1. SafeAir team team. Final report. 2002.
2. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. Décembre 2002.
3. L. Besnard, T. Gautier, Q. Pan, C. Macabiau, Y. Sorel. SIGNAL-SynDEx translation, V1.0. Juin 2002.
4. B. Houssais. The Synchronous Programming Language SIGNAL, A Tutorial. Avril 2002.

2001

1. H. Marchand. Utilisation de Signal/Sigali pour la synthèse de séquences d'attaque et la simulation + Synthèse de systèmes hérarchiques. Rapport de convention CASTOR, 2001.
2. T. Le Sergent, J.L. Camus, F. Dupont, T. Gautier, P. Le Guernic, H. Hungar, K. Winkelmann, O. Shtrichman, M. Cohen. ASDE V1.0 specification. Mars 2001.
3. . Design and Implementation of Architecture Components. Février 2001.
4. . Component performance evaluation. Février 2001.

2000

1. T. Le Sergent, J. L. Camus, F. Dupont, T. Gautier, P. Le Guernic, H. Hungar, K. Winkelmann, O. Shtrichman, M. Cohen. ASDE V0.9 specification. Juin 2000.
2. T. Gautier, P. Le Guernic. SCADE-SIGNAL languages Compatibility. Mai 2000.

1999

1. S. Pinchinat, H. Marchand, M. Le Borgne. Deliverable 3.1.3: Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Esprit project 22703: Syrf, Octobre 1999.

1998

1. A. Benveniste, H. Brix, W. Damm, F. Dupont, A. Grazebrook, H. Holberg, P. Le Guernic, J. Rowlands, E. Rutten, E. Sefton, K. Winkelmann. The Sacres design methodology for safety critical systems. Esprit project EP 20897: Sacres, Novembre 1998.
2. T. Gautier, X. Méhaut. SSL Implementation: DC+ => SSL translation. Esprit project EP 20897: Sacres, Novembre 1998.
3. Syrf Consortium. Deliverable 4/5.1 - Integrating synchrony & asynchrony: fundamentals. Esprit project 22703: Syrf, Octobre 1998.
4. Syrf Consortium. Deliverable 4/5.2 - Integrating synchrony & asynchrony: distributed code generation. Esprit project 22703: Syrf, Octobre 1998.
5. S. Pinchinat, O. Kouchnarenko, H. Marchand, M. Le Borgne. Deliverable 3.1.2: Symbolic abstraction of automata: intensional Labeled Transition Systems, symbolic bisimulation. Esprit project 22703: Syrf, Octobre 1998.
6. A. Benveniste, T. Gautier, F. Jiménez, P. Le Guernic, S. Machard, E. Rutten. Méthodes de distribution de code Signal et Dc+. Convention INRIA - EdF P33/6A4575/EP871, Juin 1998.
7. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier. Task I1.1A: StateMate integration - A translation of Statecharts and Activitycharts into Signal equations. Esprit project EP 20897: Sacres, Avril 1998.
8. Sacres Consortium. Task I1.1A: StateMate integration - the stm2dcplus translator. Esprit project EP 20897: Sacres, Avril 1998.

1997

1. Sacres Consortium. The Declarative Code DC+, Version 1.4. Esprit project EP 20897: Sacres, Novembre 1997.
2. H. Marchand, M. Le Borgne. Systèmes dynamiques polynomiaux sous observations partielles. Rapport de fin de contrat, Convention Inria - EdF No P33L99/6A1821/EP819, Octobre 1997.
3. Sacres Consortium. Deliverable Report C2.A: Mapping Code To Architecture. Esprit project EP 20897: Sacres, Septembre 1997.
4. Sacres Consortium. Deliverable Report I3.B: SacresSystem Architecture Definition. Esprit project EP 20897: Sacres, Septembre 1997.
5. P. Bournai, M. Le Borgne, H. Marchand, P. Le Guernic. Démonstrateur de synthèse de systèmes d'automatismes décrits en Signal. Rapport de fin de contrat, Convention Inria - EdF No 196C5030031307 01 1, Juillet 1997.
6. Sacres Consortium. DC+ syntactic level: specification. Esprit project EP 20897: Sacres, Avril 1997.
7. Sacres Consortium. DC+ graph level: specification. Esprit project EP 20897: Sacres, Avril 1997.
8. Sacres Consortium. Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems. Esprit project EP 20897: Sacres, Avril 1997.
9. Sacres Consortium. The Semantics Foundations of Sacres. Esprit project EP 20897: Sacres, Avril 1997.
10. Sacres Consortium. Deliverable Report C1.A: Code Generation. Esprit project EP 20897: Sacres, Février 1997.

1996

1. H. Marchand. Intégration de Sigali dans l'environnement Signal. Rapport de fin de contrat, Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1996.
2. 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. Juin 1996.
3. H. Marchand, M. Le Borgne. Extension de la théorie de synthèse de contrôleurs sur des systèmes dynamiques polynômiaux. Convention Inria - EdF No M64/7C8321/E5/11, Juin 1996.
4. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre. A Calculus of Stochastic Systems and the Signalea formalism. Mai 1996.
5. Sacres Consortium. Deliverable Report B2.A: Architecture Baseline. Mai 1996.
6. Sacres Consortium. The Declarative Code DC+, version 1.2. Mai 1996.
7. Sacres Consortium. Deliverable Report B3.A: New Technologies Baseline. Mai 1996.
8. Sacres Consortium. Deliverable Report B1.A: Requirements Baseline. Février 1996.

1995

1. M. Le Borgne, H. Marchand. Méthodologie de conception d'automatismes séquentiels. Convention Inria - EdF No M64/7C8321/E5/11, Novembre 1995.
2. H. Marchand, M. Le Borgne, M. Samaan. Méthodes de vérification et de synthèse sur des systèmes dynamiques polynômiaux, appliquées au modèle physique d'un poste de transformation électrique. Convention Inria - EdF No M64/7C8321/E5/11, Juillet 1995.

1994

1. H. Marchand, E. Rutten, M. Samaan. Description, spécification et validation d'un automatisme de poste de transformation électrique. Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1994.

1993

1. J-P. Paris, G. Berry, F. Mignard, P. Couronné, P. Caspi, N. Halbwachs, Y. Sorel, A. Benveniste, T. Gautier, P. Le Guernic, F. Dupont, C. Le Maire. Projet synchrone : les formats communs des langages synchrones. Rapport technique IRISA No 157, No 157, Juin 1993.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:58:06 2012

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