Publications for David Broman
Co-author map based on ISI articles 2007-
Journal Articles
Chapters in Books
Conference Articles
Peter Fritzson, Adrian Pop, David Broman and Peter Aronsson
Formal Semantics Based Translator Generation and Tool Development in Practice
<em>Proceedings of 20th Australian Software Engineering Conference (ASWEC 2009)</em>, Gold Coast, Queensland, Australia, April 14 – 17, 2009, 2009.
|
Peter Fritzson, David Broman, Francois Cellier and Christoph Nytsch Geusen
Book Chapter: Workshop Reader of the Workshop EOOLT'2007 at ECOOP'2007, Object Oriented Technology
ECOOP 2007 Workshop Reader, 2008.
|
David Broman, Peter Aronsson and Peter Fritzson
Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica
6th International Modelica Conference,2008, 2008.
|
David Broman and Peter Fritzson
Higher-Order Acausal Models
2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008.
|
Kristoffer Norling, David Broman, Peter Fritzson, Alexander Siemers and Dag Fritzson
Secure Distributed Co-Simulation over Wide Area Networks
Proceedings of the 48th Conference on Simulation and Modelling (SIMS'07), Gothenburg, Sweden, 2007.
|
David Broman and Peter Fritzson
Abstract Syntax Can Make the Definition of Modelica Less Abstract
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, Berlin, Germany, 2007.
|
Peter Fritzson, Adrian Dan Iosif Pop, Håkan Lundvall, Peter Aronsson, Kaj Nyström, Levon Saldamli, David Broman and Anders Sandholm
OpenModelica - A Free Open-Source Environment for System Modeling, Simulation, and Teaching
IEEE International Symposium on Computer-Aided Control Systems Design,2006, 2006.
|
David Broman, Kaj Nyström and Peter Fritzson
Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta
Proceedings of the 5th International Conference on Generative Programming and Component Engineering, 2006.
|
David Broman, Peter Fritzson and Sébastien Furic
Types in the Modelica Language
Proceedings of the Fifth International Modelica Conference, Vienna 2006, 2006.
|
David Broman and Peter Fritzson
Ideas for Security Assurance in Security Critical Software using Modelica
Conference on Modeling and Simulation for Public Safety,2005, 2005.
|
Ph.D. Theses
Licentiate Theses
Reports
Ph.D., Lic. Theses
