Bibliography of the Reactive Programming Group

[1]	Boussinot, F. and Dabrowski, F. -- Safe Reactive Programming: the FunLoft Proposal -- Proc. of MULTIPROG -- First Workshop on Programmability Issues for Multi-Core Computers. Göteborg, January, 2008.
[2]	Boussinot, F. and Dabrowski, F. -- Formalisation of FunLoft. http://hal.inria.fr/inria-00183242 -- 2007.
[3]	Boussinot, F. -- A Benchmark for Multicore Machines. http://hal.inria.fr/inria-00174843 -- 2007.
[4]	Dabrowski, F. and Boussinot, F. -- Cooperative Threads and Preemptive Computations -- Proc. of TV'06 -- Multithreading in Hardware and Software: Formal Approaches to Design and Verification, 2006.
[5]	Amadio, R. and Boudol, G. and Boussinot, F. and Castellani, I. -- Reactive Concurrent Programming Revisited -- Proceedings of the Workshop Algebraic process calculi: the first 25 years and beyond, 2005, Revised version to appear in ENTCS.
[6]	Boussinot, F. -- FairThreads: Mixing Cooperative and Preemptive Threads in C -- Concurrency and Computation: Practice and Experience, 182005, pp. 445-469.
[7]	Boussinot, F. -- Reactive Programming of Cellular Automata -- Inria research report, RR-5183, May, 2004.
[8]	Serrano, M. and Boussinot, F. and Serpette, B. -- Scheme Fair Threads -- PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, New York, NY, USA, 2004, pp. 203--214.
[9]	Brunette, Christian -- Construction et simulation graphiques de comportements: le modèle des Icobjs -- Thèse de Doctorat de l'Université de Nice-Sophia Antipolis, 2004.
[10]	Boussinot, Frédéric -- FairThreads: mixing cooperative and preemptive threads in C -- Inria research report, RR-5039, December, 2003, final version published in Concurrency and Computation: Practice and Experience.
[11]	Acosta-Bermejo, Raul -- Rejo - Langage d'objets réactifs et d'agents -- Thèse de doctorat de l'ENSMP, October, 2003.
[12]	Parra, Olivier -- Programmation réactive sur systèmes embarqués -- Master Thesis, DEA Informatique, UNSA, 2003.
[13]	Samarin, Alexander -- Application de la programmation réactive à la modélisation physique -- Master Thesis, DEA RSD, UNSA, 2002.
[14]	Acosta-Bermejo, Raul -- La programmation en Rejo -- Les intergiciels, développements récents dans CORBA, JavaRMI et les agents mobiles, Publications Hermes Science, Lavoisier, 2002.
[15]	Brunette, Christian -- A Visual Reactive Framework for Dynamic Behavior Creation -- 2nd Workshop on Domain Specific Visual Languages, OOPSLA, Seattle, 2002.
[16]	Susini, Jean-Ferdy -- L'approche réactive au dessus de Java: sémantique et implémentation des SugarCubes et de Junior -- Thèse de doctorat de l'ENSMP, September, 2001.
[17]	Demaria, Julien -- Programmation réactive fonctionnelle avec Senior -- Master Thesis, DEA Informatique, UNSA, 2001.
[18]	Brunette, Christian -- Etude de la cohérence dans les jeux en réseau distribués -- Master Thesis, DEA RSD, UNSA, 2001.
[19]	Boussinot, F. -- Java Fair Threads -- Inria research report, RR-4139, 2001.
[20]	Boussinot, F. and Susini, J-F. and Dang Tran, F. and Hazard, L. -- A reactive behavior framework for dynamic virtual worlds -- Web3D, 2001, pp. 69--75.
[21]	Acosta-Bermejo, Raul -- Reactive Operating System, Reactive Java Objects -- Proc. NOTERE'2000, ENST, Paris, November, 2000.
[22]	Hazard, L. and Susini, J-F. and Boussinot, F. -- Programming with Junior -- Inria Research Report, RR-4027, 2000.
[23]	Boussinot, F. -- Junior Automata -- Inria research report, RR-4031, 2000.
[24]	Boussinot, F. -- Objets réactifs en Java -- Presses Polytechniques Universitaires Romandes, 2000.
[25]	Acosta-Bermejo, Raul -- Rejo/Ros -- Master Thesis, DEA RSD, UNSA, 2000.
[26]	Boussinot, F. and Susini, J-F. -- Java Threads and SugarCubes -- Software Practice and Experience, 30(14), 2000, pp. 545--566.
[27]	Hazard, L. and Susini, J-F. and Boussinot, F. -- The Junior reactive kernel -- Inria Research Report, RR-3732, july, 1999.
[28]	Nikaein, Navid -- RAMA: Reactive Autonomous Mobile Agents -- Master Thesis, DEA RSD, UNSA, 1999.
[29]	Susini, Jean-Ferdy -- Implémentation de l'approche réactive en Java: les SugarCubes v2 -- Proc. MSR'99, Hermes, 1999.
[30]	Boussinot, Frédéric and Susini, Jean-Ferdy and Hazard, Laurent -- Distributed Reactive Machines -- INRIA Research Report, RR-3376, March, 1998.
[31]	Boussinot, F. and Susini, J-F. -- The SugarCubes tool box - a reactive Java framework -- Software Practice and Experience, 28(14), december, 1998, pp. 1531--1550.
[32]	Boussinot, Frédéric -- SugarCubes Implementation of Causality -- INRIA Research Report, RR-3487, September, 1998.
[33]	Susini, J-F. and Boussinot, F. and Hazard, L. -- Distributed Reactive Machines -- 5th International Conference on Real-Time Computing Systems and Applications, RTCSA'98, Hiroshima, 1998, pp. 267--274.
[34]	Boussinot, Frédéric and Susini, Jean-Ferdy -- The SugarCubes Tool Box -- INRIA Research Report, RR-3247, September, 1997.
[35]	Boussinot, F. and Doumenc, G. and Hazard, L. and Stefani, J-B. -- Programmation réactive d'applications distribuées -- Proc. NOTERE'97, Pau, 1997.
[36]	Boussinot, Frédéric and Hazard, Laurent -- Reactive Scripts -- INRIA Research Report, RR-2868, April, 1996.
[37]	Boussinot, Frédéric -- Icobj Programming -- INRIA Research Report, RR-3028, October, 1996.
[38]	Boussinot, F. and De Simone, R. -- The SL Synchronous Language -- IEEE Trans. on Software Engineering, 22(4), april, 1996, pp. 256--266.
[39]	Boussinot, F. and Hazard, L. -- Reactive Scripts -- Proc. International Conference on Real-Time Computing Systems and Applications, RTCSA'96, Seoul, October, 1996, pp. 267--274.
[40]	Boussinot, F. and Doumenc, G. and Stefani, J-B. -- Reactive Objects -- Annales des Télécommunications, 51(9-10), 1996, pp. 459--473.
[41]	Boussinot, F. -- La programmation réactive - Application aux systèmes communicants -- Masson, 1996.
[42]	Boussinot, Frédéric and Doumenc, Guillaume and Stefani, Jean-Bernard -- Reactive Objects -- INRIA Research Report, RR-2664, October, 1995.
[43]	Boussinot, Frédéric and Laneve, Cosimo -- Two Semantics for a Language of Reactive Objects -- INRIA Research Report, RR-2511, March, 1995.
[44]	Boussinot, Frédéric and De Simone, Robert -- The SL Synchronous Language -- INRIA Research Report, RR-2510, March, 1995.
[45]	Boussinot, F. -- Reactive shared variables based systems -- Inria research report, RR-1849, 1993.
[46]	Boussinot, Frédéric -- Réseaux de processus réactifs -- INRIA Research Report, RR-1588, January, 1992.
[47]	Boussinot, F. -- Reactive C: An Extension of C to Program Reactive Systems -- Software Practice and Experience, 21(4), april, 1991, pp. 401--428.
[48]	Boussinot, F. and De Simone, R. -- The Esterel Language -- Proceedings of the IEEE, 79(9), september, 1991, pp. 1270--1282.
[49]	Boussinot, F. -- Une sémantique du langage Esterel -- Inria research report, RR-577, 1986.
[50]	Boussinot, F. -- Proposition de sémantique dénotationnelle pour des réseaux de processus avec opérateur de mélange équitable -- TCS, 18, 1982, pp. 173--206.
[51]	Boussinot, F. -- Réseaux de processus avec opérateur de mélange équitable -- Thèse de doctorat d'Etat, Université Paris 7, Paris, 1981.
[52]	Bernhard, R. and Berry, G. and Boussinot, F. and Gonthier, G. and Ressouche, A. and Rigault, J-P. and Tanzi, J-M. -- Programming a Reflex Game in Esterel v3.