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 ]