| 2007 | ||
|---|---|---|
| 3 | EE | Anjali Joshi, Mats Per Erik Heimdahl: Behavioral Fault Modeling for Model-based Safety Analysis. HASE 2007: 199-208 |
| 2005 | ||
| 2 | EE | Anjali Joshi, Mats Per Erik Heimdahl: Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP 2005: 122-135 |
| 2003 | ||
| 1 | EE | Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl: Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM 2003: 167-186 |
| 1 | Mats Per Erik Heimdahl | [1] [2] [3] |
| 2 | Sanjai Rayadurgam | [1] |