Babak Dehbonei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1989–1994
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | FM | Formal Methods in the Railways Signalling Industry. | Babak Dehbonei, Fernando Mejia |
| 1992 | FORTE | Formal specification in the development of industrial applications: Subway speed control system. | Clara DaSilva, Babak Dehbonei, Fernando Mejia |
| 1992 | ISSRE | Error-free software development for critical systems using the B-Methodology. | Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia |
| 1992 | PEPM | Semantical Interprocedural Analysis by Partial Symbolic Evaluation. | Babak Dehbonei, Pierre Jouvelot |
| 1989 | ICS | A unified semantic approach for the vectorization and parallelization of generalized reductions. | Pierre Jouvelot, Babak Dehbonei |