Author of the publication

Tool Support for Modelica Real-time Models

, , , and . Proceedings of the 8th international Modelica Conference, page 537-548. Linköping University Electronic Press, Linköpings Universitet, (2011)
DOI: 10.3384/ecp11063537

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

High-level Mathematical Modeling And Programming., , , and . IEEE Software, 12 (4): 77-87 (1995)Integrated Debugging of Modelica Models, , , , and . Modeling, Identification and Control, 35 (2): 93--107 (2014)Towards a Benchmark Suite for Modelica Compilers: Large Models, , , , , and . (Jun 30, 2011)Benchmarking an Intelligent Network Prototype Implemented in Parallel Erlang., , and . HPCN Europe, volume 1067 of Lecture Notes in Computer Science, page 905-906. Springer, (1996)Modelica - A cyber-physical modeling language and the OpenModelica environment.. IWCMC, page 1648-1653. IEEE, (2011)Efficient index reduction algorithm for large scale systems of differential algebraic equations., , , , and . Appl. Math. Comput., (2016)OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP., , , , , , , , , and 4 other author(s). Modelica, volume 157 of Linköping Electronic Conference Proceedings, page 157:007. Linköping University Electronic Press, (2019)Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models., and . ASE, page 253-258. IEEE Computer Society, (2003)A Design, Simulation and Visualization Environment for Object-Oriented Mechanical and Multi-Domain Models in Modelica., , and . IV, page 188-193. IEEE Computer Society, (1999)On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution., , , , , , , , , and 1 other author(s). ISSE, page 1-8. IEEE, (2016)