Bruno Berstel-Da Silva
| Bruno Berstel-Da Silva IBM - ILOG Lab 9, rue de Verdun F-94250 Gentilly |
Research
I am a Ph.D. student; my supervisor is Pr. Andreas Podelski. I am working on the verification of rule programs as handled by Business Rules Management Systems.
Papers (in reverse chronological order)
- Bruno Berstel and Michel Leconte. Using Constraints to Verify Properties of Rule Programs. Second Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10). [PDF]
- Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, and Paula-Lavinia Patrânjan. Reactive Rules on the Web. Reasoning Web Summer School 2007 (RW'07). [PDF] (also for purchase on SpringerLink, or for free from REWERSE)
- Michel Leconte and Bruno Berstel. Domaines de congruence pour la programmation par contraintes. Journées Francophones de la Programmation par Contraintes, 2007 (JFPC'07). [PDF - in French] (also available on HAL)
- Hassan Aït-Kaci, Bruno Berstel, Ulrich Junker, Michel Leconte, and Andreas Podelski. Satisfiability Modulo Structures as Constraint Satisfaction: an Introduction. Journées Francophones sur les Langages Applicatifs, 2007 (JFLA'07). [PDF]
- Michel Leconte and Bruno Berstel. Extending a CP Solver With Congruences as Domains for Software Verification. Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'06 at CP 2006). [PDF] (also available in a shortened version in Trends in Constraint Programming)
My other life
I am also a software engineer at IBM (formerly ILOG).