You are here: Home Team Bruno Berstel-Da Silva

Bruno Berstel-Da Silva



I am a (now former) Ph.D. student of Pr. Andreas Podelski. I am working on the verification of rule programs as handled by Business Rules Management Systems.

I have defended my thesis on Wednesday, July 11, 2012. The title of the thesis is Verification of Business Rules Programs. Here is the summary in English (plus Acknowledgements and Table of Contents), and the summary in German.

The final version of my thesis is available from the Freiburg Document Repository (FreiDok). It has been published by Springer Verlag in December 2013 (ISBN 978-3-642-40037-7).

Papers (in reverse chronological order)

  • Bruno Berstel-Da Silva and Amina Chniti. Detection of Inconsistencies in Rules due to Changes in Ontologies: Let’s Get Formal. 7th International Conference on Web Reasoning and Rule Systems (RR'13). [PDF]
  • Bruno Berstel-Da Silva. Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs. Sixth International Symposium on Rules (RuleML'12). [PDF]
  • 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)
  • Bruno Berstel. Extending the Rete Algorithm for Event Management. Ninth International Symposium on Temporal Representation and Reasoning (TIME'02) [long version - PDF].