Papers by Hilding Elmqvist:

Title: Formal Requirements Modeling for Simulation-Based Verification
Authors: Martin Otter, Nguyen Thuy, Daniel Bouskela, Lena Buffoni, Hilding Elmqvist, Peter Fritzson, Alfredo Garro, Audrey Jardin, Hans Olsson, Maxime Payelleville, Wladimir Schamai, Eric Thomas and Andrea Tundis
Links: Abstract, Full paper

---

Title: Constructs for Meta Properties Modeling in Modelica
Authors: Hilding Elmqvist, Hans Olsson and Martin Otter
Links: Abstract, Full paper

---

Title: 3D Schematics of Modelica Models and Gamification
Authors: Hilding Elmqvist, Alexander D. Baldwin and Simon Dahlberg
Links: Abstract, Full paper

---

Title: Generic Modelica Framework for MultiBody Contacts and Discrete Element Method
Authors: Hilding Elmqvist, Axel Goteman, Vilhelm Roxling and Toheed Ghandriz
Links: Abstract, Full paper

---

Title: Multi-Mode DAE Systems with Varying Index
Authors: Sven Erik Mattsson, Martin Otter and Hilding Elmqvist
Links: Abstract, Full paper

---

Title: Automatic GPU Code Generation of Modelica Functions
Authors: Hilding Elmqvist, Hans Olsson, Axel Goteman, Vilhelm Roxling, Dirk Zimmer and Alexander Pollok
Links: Abstract, Full paper