Babak Dehbonei

According to our database, Babak Dehbonei authored at least 7 papers between 1989 and 1994.

Collaborative distances:

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

1994

Formal Methods in the Railways Signalling Industry.

Babak Dehbonei, Fernando Mejia

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Verification of Proofs for the B Formal Development Process.

Babak Dehbonei, Fernando Mejia

ACM SIGPLAN Notices, 1993

1992

Semantical Interprocedural Analysis by Partial Symbolic Evaluation.

Babak Dehbonei, Pierre Jouvelot

Proceedings of the PEPM'92, 1992

Error-free software development for critical systems using the B-Methodology.

Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

Formal specification in the development of industrial applications: Subway speed control system.

Clara DaSilva, Babak Dehbonei, Fernando Mejia

Proceedings of the Formal Description Techniques, 1992

1989

Recursive Pattern Matching on concrete data types.

Pierre Jouvelot, Babak Dehbonei

ACM SIGPLAN Notices, 1989

A unified semantic approach for the vectorization and parallelization of generalized reductions.

Pierre Jouvelot, Babak Dehbonei

Proceedings of the 3rd international conference on Supercomputing, 1989