Session 3C: Language and Compilation Concepts I

Chair: Peter Aronsson
Tuesday, 15:45 - 17:00, Säulensaal

Title: Implementation of a Graphical Modelica Editor with Preserved Source Code Formatting
Authors: Tobias Mattsson, Jon Sten, Tove Bergdahl, Jesper Mattsson and Johan Åkesson
 Abstract
Full Paper
Title: Model-based Requirement Verification : A Case Study
Authors: Feng Liang, Wladimir Schamai, Olena Rogovchenko, Sara Sadeghi, Nyberg Mattias and Peter Fritzson
Abstract
Full Paper
Title: A Data-Parallel Algorithmic Modelica Extension for Efficient Execution on Multi-Core Platforms
Authors: Mahder Gebremedhin, Afshin Hemmati Moghadam, Peter Fritzson and Kristian Stavåker
Abstract
Full Paper