OpenModelica

2015

[1] Kristian Stavåker. Contributions to Simulation of Modelica Models on Data-Parallel Multi-Core Architectures. Doctoral thesis No 1666, Linköping University, Department of Computer and Information Science, 2015. [ bib | DOI ]
[2] Mahder Gebremedhin. Automatic and Explicit Parallelization Approaches for Mathematical Simulation Models. Licentiate Thesis No 1716, Linköping University, Department of Computer and Information Science, 2015. [ bib | DOI ]
[3] Martin Sjölund. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models. Doctoral thesis No 1664, Linköping University, Department of Computer and Information Science, 2015. [ bib | DOI ]
[4] Roland Samlaus. An Integrated Development Environment with Enhanced Domain-Specific Interactive Model Validation. Doctoral thesis No 1652, Linköping University, Department of Computer and Information Science, 2015. [ bib | DOI ]

2013

[1] Wladimir Schamai. Model-Based Verification of Dynamic System Behavior against Requirements: Method, Language, and Tool. Doctoral thesis No 1547, Linköping University, Department of Computer and Information Science, 2013. [ bib | DOI ]
[2] Martin Sjölund. Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-Based Models. Licentiate thesis No 1592, Linköping University, Department of Computer and Information Science, 2013. [ bib | http ]

2011

[1] Kristian Stavåker. Contributions to Parallel Simulation of Equation-Based Models on Graphics Processing Units. Licentiate thesis No 1507, Linköping University, Department of Computer and Information Science, 2011. [ bib | http ]

2010

[1] David Broman. Meta-Languages and Semantics for Equation-Based Modeling and Simulation. Doctoral thesis No 1333, Department of Computer and Information Science, Linköping University, Sweden, October 2010. [ bib | http ]

2008

[1] Adrian Pop. Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages. Doctoral thesis No 1183, Department of Computer and Information Science, Linköping University, Sweden, June 2008. [ bib ]
[2] Håkan Lundvall. Automatic Parallelization using Pipelining for Equation-Based Simulation Languages. Licentiate thesis No 1381, Linköping University, Department of Computer and Information Science, 2008. [ bib | http ]

2006

[1] Peter Aronsson. Automatic Parallelization of Equation-Based Simulation Programs. Doctoral thesis No 1022, Linköping University, Department of Computer and Information Science, June 2006. [ bib | http ]
[2] Levon Saldamli. PDEModelica - A High-Level Language for Modeling with Partial Differential Equations. Doctoral thesis No 1016, Department of Computer and Information Science, Linköping University, Sweden, May 2006. [ bib | http ]

2004

[1] Peter Bunus. Debugging techniques for Equation-Based languages. Doctoral thesis No 873, Linköping University, Department of Computer and Information Science, 2004. [ bib | http ]

2002

[1] Peter Bunus. Debugging and Structural Analysis of Declarative Equation-Based Languages. Licentiate thesis No 964, Linköping University, Department of Computer and Information Science, 2002. [ bib | http ]

2000

[1] Vadim Engelson. Tools for design, interactive simulation, and visualization of Object-Oriented models in scientific computing. Doctoral thesis No 627, Linköping University, Department of Computer and Information Science, 2000. [ bib | http ]

1999

[1] Mikael Pettersson. Compiling Natural Semantics, volume 1549 of Lecture Notes in Computer Science. Springer, 1999. [ bib | DOI ]
You are here: