Bruno Berstel-Da Silva

发表

Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs

Bruno Berstel-Da Silva, 2012, RuleML.

States and State Assertions

Bruno Berstel-Da Silva, 2014 .

Operational Semantics of Rule Programs

Bruno Berstel-Da Silva, 2014 .

Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal

Amina Chniti, Bruno Berstel-Da Silva, 2013, RR.

Main Steps in Rule Program Verification

Bruno Berstel-Da Silva, 2014 .

Verification of Business Rules Programs = Verifikation von Geschäftsregel-Programmen

Bruno Berstel-Da Silva, 2012 .

A Verification Method for Rule Programs

Bruno Berstel-Da Silva, 2014 .

Correctness of Programs: A Comparison

Bruno Berstel-Da Silva, 2014 .

Syntax of Rules and Rule Programs

Bruno Berstel-Da Silva, 2014 .

Verification of Business Rules Programs

Bruno Berstel-Da Silva, B. B. Silva, 2013, Springer Berlin Heidelberg.

Specialized Proof Rules

Bruno Berstel-Da Silva, 2014 .