Doctoral and Licentiate Theses
2022
| [1] | John Tinnerholm. A Composable and Extensible Environment for Equation-based Modeling and Simulation of Variable Structured Systems in Modelica. Licentiate Thesis No 1937, Linköping University, Department of Computer and Information Science, 2022. [ bib | DOI ] |
2019
| [1] | Alachew Mengist. Methods and Tools for Efficient Model-Based Development of Cyber-Physical Systems with Emphasis on Model and Tool Integration. Licentiate Thesis No 1848, Linköping University, Department of Computer and Information Science, 2019. [ bib | DOI ] |
| [2] | Anders Andersson. Distributed Moving Base Driving Simulators: Technology, Performance, and Requirements. Doctoral thesis No 1984, Linköping University, Department of Computer and Information Science, 2019. [ bib | DOI ] |
2018
| [1] | Mahder Gebremedhin. Automatic and Explicit Parallelization Approaches for Equation Based Mathematical Modeling and Simulation. Doctoral thesis No 1967, Linköping University, Department of Computer and Information Science, 2018. [ bib | DOI ] |
2017
| [1] | Lennart Ochel. Petri-Netz-basierte Simulation biologischer Prozesse mit OpenModelica. Doctoral thesis, Universität Bielefeld, AG Bioinformatik Technische Fakultät, 2017. [ bib | http ] |
2015
| [1] | 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 ] |
| [2] | 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 ] |
| [3] | 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 ] |
| [4] | 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 ] |
2013
| [1] | 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 ] |
| [2] | 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 ] |
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 ] |