Alexandre Bronstein

According to our database, Alexandre Bronstein authored at least 3 papers between 1989 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

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

Proceedings of the 2001 IEEE/IFIP International Symposium on Integrated Network Management, 2001

1989

MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits.

Alexandre Bronstein

PhD thesis, 1989

Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore.

Alexandre Bronstein, Carolyn L. Talcott

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989