Jan-Erik Strömberg

According to our database, Jan-Erik Strömberg authored at least 8 papers between 1991 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Co-simulation of Hybrid Systems: Signal-Simulink.

Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Formal Verification of Dynamic Properties in an Aerospace Application.

Simin Nadjm-Tehrani, Jan-Erik Strömberg

Formal Methods Syst. Des., 1999

1995

Proving Dynamic Properties in an Aerospace Application.

Simin Nadjm-Tehrani, Jan-Erik Strömberg

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems.

Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

From Physical Modelling to Compositional Models of Hybrid Systems.

Simin Nadjm-Tehrani, Jan-Erik Strömberg

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1992

Extraction of diagnostic rules using recursive partitioning systems: A comparison of two approaches.

Ankica Babic, Ewa Krusinska, Jan-Erik Strömberg

Artif. Intell. Medicine, 1992

1991

Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems.

Ulf Söderman, Jan-Erik Strömberg

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Neural trees-using neural nets in a tree classifier structure.

Jan-Erik Strömberg, Jalel Zrida, Alf J. Isaksson

Proceedings of the 1991 International Conference on Acoustics, 1991