Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. - Alexandre Bronstein; Carolyn L. Talcott (Automatic Verification Methods for Finite State Systems, 1989)

MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits. - Alexandre Bronstein (1989)

Self-Aware Services: Using Bayesian Networks for Detecting Anomalies in Internet-Based Services. - Alexandre Bronstein; Joydip Das; Marsha Duro; Rich Friedrich; Gary Kleyner; Martin Mueller; Sharad Singhal; Ira Cohen (Integrated Network Management, 2001)