Search the dblp DataBase
Jan-Erik Strömberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Simin Nadjm-Tehrani, Jan-Erik Strömberg
From Physical Modelling to Compositional Models of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1994, pp:583-604 [Conf] - Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg
Co-simulation of Hybrid Systems: Signal-Simulink. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:134-151 [Conf] - Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top
Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
Hybrid Systems, 1995, pp:282-293 [Conf] - Ulf Söderman, Jan-Erik Strömberg
Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems. [Citation Graph (0, 0)][DBLP]
IJCAI, 1991, pp:1158-1163 [Conf] - Simin Nadjm-Tehrani, Jan-Erik Strömberg
Proving Dynamic Properties in an Aerospace Application. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1995, pp:2-10 [Conf] - Simin Nadjm-Tehrani, Jan-Erik Strömberg
Formal Verification of Dynamic Properties in an Aerospace Application. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1999, v:14, n:2, pp:135-169 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002