Frédéric Boussinot

I am researcher at EMP in the INDES Project located at Sophia-Antipolis. My research focusses on Reactive Programming.


INRIA - Indes Team
2004 route des Lucioles - BP 93
F-06902 Sophia Antipolis, Cedex
Tel: (33) (0)4 92 38 77 87
Fax: (33) (0)4 92 38 79 98


Software I contribute to is freely available from the Download page of the Reactive Programming site.


[1]Boussinot, F. -- Safe Reactive Programming - The FunLoft Language -- Lambert Academic Publishing, 2010.
[2]Boussinot, Frédéric -- The FunLoft Language -- HAL, 2010.
[3]Boussinot, F. and Dabrowski, F. -- Safe Reactive Programming: the FunLoft Proposal -- Proc. of MULTIPROG -- First Workshop on Programmability Issues for Multi-Core Computers, January, 2008.
[4]Boussinot, F. -- A Benchmark for Multicore Machines -- 2007.
[5]Boussinot, F. and Dabrowski, F. -- Formalisation of FunLoft -- 2007.
[6]Boussinot, F. -- Reactive Programming of Cellular Automata -- 2006.
[7]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.
[8]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.
[9]Boussinot, F. -- FairThreads: Mixing Cooperative and Preemptive Threads in C -- Concurrency and Computation: Practice and Experience, 182005, pp. 445-469.
[10]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.
[11]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.
[12]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.
[13]Boussinot, F. -- Java Fair Threads -- Inria research report, RR-4139, 2001.
[14]Boussinot, F. -- Junior Automata -- Inria research report, RR-4031, 2000.
[15]Hazard, L. and Susini, J-F. and Boussinot, F. -- Programming with Junior -- Inria Research Report, RR-4027, 2000.
[16]Boussinot, F. -- Objets réactifs en Java -- Presses Polytechniques Universitaires Romandes, 2000.
[17]Boussinot, F. and Susini, J-F. -- Java Threads and SugarCubes -- Software Practice and Experience, 30(14), 2000, pp. 545--566.
[18]Hazard, L. and Susini, J-F. and Boussinot, F. -- The Junior Reactive Kernel -- Inria Research Report, RR-3732, july, 1999.
[19]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.
[20]Boussinot, Frédéric -- SugarCubes Implementation of Causality -- INRIA Research Report, RR-3487, September, 1998.
[21]Boussinot, Frédéric and Susini, Jean-Ferdy and Hazard, Laurent -- Distributed Reactive Machines -- INRIA Research Report, RR-3376, March, 1998.
[22]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.
[23]Boussinot, Frédéric and Susini, Jean-Ferdy -- The SugarCubes Tool Box -- INRIA Research Report, RR-3247, September, 1997.
[24]Boussinot, F. and Doumenc, G. and Hazard, L. and Stefani, J-B. -- Programmation réactive d'applications distribuées -- Proc. NOTERE'97, Pau, 1997.
[25]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.
[26]Boussinot, F. and De Simone, R. -- The SL Synchronous Language -- IEEE Trans. on Software Engineering, 22(4), april, 1996, pp. 256--266.
[27]Boussinot, Frédéric -- Icobj Programming -- INRIA Research Report, RR-3028, October, 1996.
[28]Boussinot, Frédéric and Hazard, Laurent -- Reactive Scripts -- INRIA Research Report, RR-2868, April, 1996.
[29]Boussinot, F. and Doumenc, G. and Stefani, J-B. -- Reactive Objects -- Annales des Télécommunications, 51(9-10), 1996, pp. 459--473.
[30]Boussinot, F. -- La programmation réactive - Application aux systèmes communicants -- Masson, 1996.
[31]Boussinot, Frédéric and De Simone, Robert -- The SL Synchronous Language -- INRIA Research Report, RR-2510, March, 1995.
[32]Boussinot, Frédéric and Doumenc, Guillaume and Stefani, Jean-Bernard -- Reactive Objects -- INRIA Research Report, RR-2664, October, 1995.
[33]Boussinot, Frédéric and Laneve, Cosimo -- Two Semantics for a Language of Reactive Objects -- INRIA Research Report, RR-2511, March, 1995.
[34]Boussinot, F. -- Reactive shared variables based systems -- Inria research report, RR-1849, 1993.
[35]Boussinot, Frédéric -- Réseaux de processus réactifs -- INRIA Research Report, RR-1588, January, 1992.
[36]Boussinot, F. and De Simone, R. -- The Esterel Language -- Proceedings of the IEEE, 79(9), september, 1991, pp. 1270--1282.
[37]Boussinot, F. -- Reactive C: An Extension of C to Program Reactive Systems -- Software Practice and Experience, 21(4), april, 1991, pp. 401--428.
[38]Boussinot, F. -- Une sémantique du langage Esterel -- Inria research report, RR-577, 1986.
[39]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 -- 1985.
[40]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.
[41]Boussinot, F. -- Réseaux de processus avec opérateur de mélange équitable -- Thèse de doctorat d'Etat, Université Paris 7, Paris, 1981.

This Html page has been produced by Skribe.
Last update Tue Nov 23 12:16:10 2010.