Cette thématique a été abordée durant ma thèse (1993-1996) qui a été encadrée par Michel AUGERAUD et Georges LOUIS. L’idée était d’utiliser les langages et les outils de preuve développés pour la programmation des systèmes réactifs pour valider et contrôler les exécutions concurrentes dans un langage à objets concurrents.
Ci-dessous les publications associées à ce travail.
Revues
- Frédéric BERTRAND and Michel AUGERAUD
BDL: A Specialized Language for per-Object Reactive Control
IEEE Transactions of Software Engineering (special issue on Domain-Specific Languages),
pp 1-16, vol. 25 (3), 1999 - Michel AUGERAUD et Frédéric BERTRAND
Objets à contrôle réactif — un modèle de conception pour applications concurrentes
Technique et science informatiques
pp 871-900, vol. 18 (9), 1999
Conférences
- Frédéric BERTRAND and Michel AUGERAUD
BDL: A Language to Control the Behavior of Concurrent Objects
Proceedings of USENIX Conference on Domain Specific Languages, pp 133-144
Santa-Barbara, CA, USA, October 1997 - Frédéric BERTRAND et Michel AUGERAUD
Un modèle de contrôle réactif pour les langages à objets concurrents
Actes du Congrès AFCET 95, pp 75-84
Toulouse, France, octobre 1995 - Frédéric BERTRAND and Michel AUGERAUD
Asynchronous reactive objects: an attempt to control the object behavior
Poster in Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA’94)
Portland, OR, USA, October 1994 - Frédéric BERTRAND et Michel AUGERAUD
Contrôle du comportement d’objets : les objets réactifs asynchrones
Actes du Colloque Automatique, Génie Informatique, Images , pp 225-228
Poitiers-Futuroscope, France, juin 1994 - Frédéric BERTRAND and Michel AUGERAUD
Control of object behavior: asynchronous reactive objects
Proceedings of International Conference on Data and Knowledge Systems for Manufacturing and Engineering, pp 539-544
Hong-Kong, May 1994