Bibliographie

1: K. Altisen, F. Maraninchi, and D. Stauch.
Aspect-oriented programming for reactive systems: a proposal in the synchronous framework.
Science of Computer Programming, 2006.
2: K. Altisen, F. Maraninchi, and D. Stauch.
Larissa: Modular design of man-machine interfaces with aspects.
In Fifth International Symposium on Software Composition (an ETAPS satellite event), March 2006.
3: T. Ayav, P. Fradet, and A. Girault.
Implementing fault-tolerance in real-time systems by program transformations.
Research report 5919, Inria, May 2006.
4: Tayeb Sofiane Bouhadiba.
Modèle à composants pour systèmes embarqués, une expérience en fractal.
Master report, Université Joseph Fourier, Grenoble, June 2006.
5: F. Boussinot.
Loft+Cyclone.
Inria research report, RR-5680, 2005.
6: F. Boussinot.
FairThreads: mixing cooperative and preemptive threads in C.
Concurrency and Computation: Practice and Experience, vol 18 pp 445-469, 2006.
7: Paul Caspi, Grégoire Hamon, and Marc Pouzet.
Systèmes Temps-réel : Techniques de Description et de Vérification - Théorie et Outils, chapter Lucid Synchrone, un langage de programmation des systèmes réactifs, pages 217-260.
Hermes International Publishing, 2006.
A paraître.
8: Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, and Marc Pouzet.
Synchroning Periodic Clocks.
In ACM International Conference on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, September 2005.
9: Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, and Marc Pouzet.
-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems.
In ACM International Conference on Principles of Programming Languages (POPL'06), Charleston, South Carolina, USA, January 2006.
10: Jean-Louis Colaço, Alain Girault, Grégoire Hamon, and Marc Pouzet.
Towards a Higher-order Synchronous Data-flow Language.
In ACM Fourth International Conference on Embedded Software (EMSOFT'04), Pisa, Italy, september 2004.
11: Jean-Louis Colaço, Grégoire Hamon, and Marc Pouzet.
Mixing Signals and Modes in Synchronous Data-flow Systems.
Submitted to publication, May 2006.
12: Jean-Louis Colaço, Bruno Pagano, and Marc Pouzet.
A Conservative Extension of Synchronous Data-flow with State Machines.
In ACM International Conference on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, September 2005.
13: Jean-Louis Colaço and Marc Pouzet.
Type-based Initialization Analysis of a Synchronous Data-flow Language.
International Journal on Software Tools for Technology Transfer (STTT), 6(3):245-255, August 2004.
14: F. Dabrowski and F. Boussinot.
Cooperative threads and preemptive computation.
In Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification. TV'06, a FLoC'06/CAV Affiliated Workshop, Seatle, August 2006.
15: Louis Mandel et Marc Pouzet.
ReactiveML, un langage pour la programmation réactive en ml.
In Journées Francophones des Langages Applicatifs (JFLA), Obernai, France, Mars 2005. INRIA.
16: Louis Mandel.
Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive.
PhD thesis, Université Paris 6, 2006.
17: Louis Mandel and Farid Benbadis.
Simulation of Mobile Ad-Hoc Networks in ReactiveML.
In Electronic Notes in Theoretical Computer Science, editor, Synchronous Languages, Applications, and Programming (SLAP), 2005.
available at www-spi.lip6.fr/~mandel/rml.
18: Louis Mandel and Marc Pouzet.
ReactiveML, a Reactive Extension to ML.
In ACM International Conference on Principles and Practice of Declarative Programming (PPDP), Lisboa, July 2005.
19: P. Raymond, E. Jahier, and Y. Roux.
Describing and executing random reactive systems.
In SEFM 2006, 4th IEEE International Conference on Software Engineering and Formal Methods, Pune, India, September 2006.
20: Pascal Raymond and Yvan Roux.
Describing non-deterministic reactive systems by means of regular expressions.
Electr. Notes Theor. Comput. Sci., 65(5), April 2002.
21: Ludovic Samper, Florence Maraninchi, Laurent Mounier, Erwan Jahier, and Pascal Raymond.
On the importance of modeling the environment when analyzing sensor networks.
In Proceedings of International Workshop on Wireless Ad-Hoc Networks 2006 (IWWAN 2006), page 7, New York, United States, June 2006.
22: Ludovic Samper, Florence Maraninchi, Laurent Mounier, and Louis Mandel.
GLONEMO: Global and accurate formal models for the analysis of ad-hoc sensor networks.
In Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice, France, May 2006.
23: D. Stauch, K. Altisen, and F. Maraninchi.
Interference of Larissa aspects.
In FOAL : Foundations of Aspect-Oriented Languages workshop (an AOSD'06 satellite event), March 2006.

Pascal Raymond 2006-11-16