Publications for David Broman
Co-author map based on ISI articles 2007-

Keywords

workshop units system syntax specification semantics repeatable object-oriented modelica model makes formal equation-based engineering courses checking books anomaly acausal (eoo)

Journal Articles

David Broman, Patricia Derler and John C Eidson
  Temporal Issues in Cyber-Physical Systems
  JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93(3), 389-402.

David Broman, Kristian Sandahl and Mohamed Abu Baker
  The Company Approach to Software Engineering Project Courses
  IEEE Transactions on Education, 2012, 55(4), 445-452.
   Fulltext  PDF  
 Web of Science® Times Cited: 1

David Broman and Peter Fritzson
  High-Order Acausal Models
  Simulation news europe, 2009, 19(1), .

Peter Fritzson, Peter Aronsson, Håkan Lundvall, Kaj Nyström, Adrian Pop, Levon Saldamli and David Broman
  The OpenModelica Modeling, Simulation, and Software Development Environment
  In Simulation News Europe, 2005, 44/45, .

Chapters in Books

Peter Fritzson, Edward Lee, Francois Cellier and David Broman
  Equation-Based Object-Oriented Modeling Languages and Tools: Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010
  Models in Software Engineering, Springer, 2011, 140-144.


Peter Fritzson, David Broman and François Cellier
  Equation-based object-oriented languages and tools: Report on the 2nd workshop EOOLT at ECOOP 2008
  Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports, Springer Berlin/Heidelberg, 2009, 18-29.


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
  Object-Oriented Technology. ECOOP 2007 Workshop Reader., Springer Verlag, 2008, 27-39.


Conference Articles

Maria Vasilevskaya, David Broman and Kristian Sandahl
  An Assessment Model for Large Project Courses
  Proceedings of the 45th ACM Technical Symposium on Computer Science Education (SIGCSE), 2014.


Liu Isaac, Jan Reineke, David Broman, Michael Zimmer and Edward Lee
  A PRET microarchitecture implementation with repeatable timing and competitive performance
  Computer Design (ICCD), 2012, 2012.


  Fulltext PDF

David Broman and Henrik Nilsson
  Node-Based Connection Semanticsfor Equation-Based Object-Oriented Modeling Languages
  <em>Proceedings of Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2012)</em>, 2012.


David Broman, Peter Fritzson, Görel Hedin and Johan Åkesson
  A comparison of two metacompilation approaches to implementing a complex domain-specific language
  Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012.


Leif Jonsson, David Broman, Kristian Sandahl and Sigrid Eldh
  Towards Automated Anomaly Report Assignment in Large Complex Systems using Stacked Generalization
  Software Testing, Verification and Validation (ICST), 2012, 2012.


David Broman and Kristian Sandahl
  How can we make software engineering text books well-founded, up-to-date, and accessible to students?
  Software Engineering Education and Training (CSEE&amp;T), 2011, 2011.


David Broman
  Should Software Engineering Projects be the Backbone or the Tail of Computing Curricula?
  Software Engineering Education and Training (CSEE&amp;T), 2010, 2010.


David Broman
  Growing an Equation-Based Object-Oriented Modeling Language
  MATHMOD, 2009, 2009.


Peter Aronsson and David Broman
  Extendable Physical Unit Checking with Understandable Error Reporting
  Proceedings of the 7th International Modelica Conference, Como, Italy, 20-22 September 2009, 2009.


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.


 Web of Science® Times Cited: 1

David Broman, Peter Aronsson and Peter Fritzson
  Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica
  6th International Modelica Conference., 2008.


David Broman and Peter Fritzson
  Higher-Order Acausal Models
  EOOLT 2008, 2008.


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.


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
  Type Safety of Equation-Based Object-Oriented Modeling Languages
  PLDI ’06: Poster session at the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), Ottawa, Canada, June., 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, 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.


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
  Proceedings of the2006 IEEE International Conference on Control Applications (CCA)2006 IEEE Conference on Computer-Aided Control Systems Design (CACSD)2006 IEEE International Symposium on Intelligent Control (ISIC), 2006.


Peter Fritzson, Peter Aronsson, Håkan Lundvall, Kaj Nyström, Adrian Pop, Levon Saldamli and David Broman
  The OpenModelica Modeling, Simulation, and Development Environment
  In Proceedings of the 46th Conference on Simulation and Modelling of the Scandinavian Simulation Society (SIMS2005), Trondheim, Norway, October 13-14., 2005.


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

David Broman
  Meta-Languages and Semantics for Equation-Based Modeling and Simulation
  2010.


  Fulltext PDF

Licentiate Theses

David Broman
  Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments
  2007.


  Fulltext PDF

Reports

David Broman
  Flow Lambda Calculus for Declarative Physical Connection Semantics
  Technical reports in Computer and Information Science, 1, 2007.


  Fulltext PDF