Logo

May 15–17, 2017 in Prague, Czech Republic
[Proceedings] [Sessions] [Authors] [Schedule] [Further material]

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