Session 1E: Modelica Language & Compiler Implementation

Title: Custom Annotations: Handling Meta-Information in Modelica
Authors: Dirk Zimmer, Martin Otter, Hilding Elmqvist and Gerd Kurzbach
Links: Abstract, Full paper

---

Title: Modelica extensions for Multi-Mode DAE Systems
Authors: Hilding Elmqvist, Sven Erik Mattsson and Martin Otter
Links: Abstract, Full paper

---

Title: Integrated Debugging of Equation-Based Models
Authors: Martin Sjölund, Francesco Casella, Adrian Pop, Adeel Asghar, Peter Fritzson, Willi Braun, Lennart Ochel and Bernhard Bachmann
Links: Abstract, Full paper

---

Title: Making Modelica Applicable for Formal Methods
Authors: Matthew Klenk, Daniel Bobrow, Johan De Kleer and Bill Janssen
Links: Abstract, Full paper