| |
| 2000 | ||
|---|---|---|
| 6 | EE | Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg: Co-simulation of Hybrid Systems: Signal-Simulink. FTRTFT 2000: 134-151 |
| 1999 | ||
| 5 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: Formal Verification of Dynamic Properties in an Aerospace Application. Formal Methods in System Design 14(2): 135-169 (1999) | |
| 1995 | ||
| 4 | Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top: Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. Hybrid Systems 1995: 282-293 | |
| 3 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: Proving Dynamic Properties in an Aerospace Application. IEEE Real-Time Systems Symposium 1995: 2-10 | |
| 1994 | ||
| 2 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: From Physical Modelling to Compositional Models of Hybrid Systems. FTRTFT 1994: 583-604 | |
| 1991 | ||
| 1 | Ulf Söderman, Jan-Erik Strömberg: Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems. IJCAI 1991: 1158-1163 | |
| 1 | Albert Beneviste | [6] |
| 2 | Simin Nadjm-Tehrani | [2] [3] [4] [5] [6] |
| 3 | Ulf Söderman | [1] |
| 4 | Jan L. Top | [4] |
| 5 | Stéphane Tudoret | [6] |