Alexandre Bronstein

Publication Activity (10 Years)

Years Active: 1989-2001
Publications (10 Years): 0

Publications

Alexandre Bronstein, Joydip Das, Marsha Duro, Rich Friedrich, Gary Kleyner, Martin Mueller, Sharad Singhal, Ira Cohen
Self-Aware Services: Using Bayesian Networks for Detecting Anomalies in Internet-Based Services. Integrated Network Management (2001)
Alexandre Bronstein, Carolyn L. Talcott
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. Automatic Verification Methods for Finite State Systems (1989)