| |
| 1994 | ||
|---|---|---|
| 6 | Babak Dehbonei, Fernando Mejia: Formal Methods in the Railways Signalling Industry. FME 1994: 26-34 | |
| 1993 | ||
| 5 | Babak Dehbonei, Fernando Mejia: Verification of Proofs for the B Formal Development Process. SIGPLAN Notices 28(11): 16-21 (1993) | |
| 1992 | ||
| 4 | Clara DaSilva, Babak Dehbonei, Fernando Mejia: Formal specification in the development of industrial applications: Subway speed control system. FORTE 1992: 199-213 | |
| 3 | Babak Dehbonei, Pierre Jouvelot: Semantical Interprocedural Analysis by Partial Symbolic Evaluation. PEPM 1992: 14-20 | |
| 1989 | ||
| 2 | EE | Pierre Jouvelot, Babak Dehbonei: A unified semantic approach for the vectorization and parallelization of generalized reductions. ICS 1989: 186-194 |
| 1 | EE | Pierre Jouvelot, Babak Dehbonei: Recursive Pattern Matching on concrete data types. SIGPLAN Notices 24(11): 84-93 (1989) |
| 1 | Clara DaSilva | [4] |
| 2 | Pierre Jouvelot | [1] [2] [3] |
| 3 | Fernando Mejia | [4] [5] [6] |