Jan-Erik Strömberg

	2000
6		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

Coauthor Index

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]

Colors in the list of coauthors