Logo

September 21-23, 2015 in Palais des Congrès de Versailles, France
[Proceedings] [Sessions] [Authors] [Schedule] [Further material]

Papers by Martin Otter:

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: Model Based Specifications in Aircraft Systems Design
Authors: Martin Kuhn, Martin Otter and Tim Giese
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