Publications

Journal Papers

• David Broman, Kristian Sandahl, and Mohamed Abu Baker. The Company Approach to Software Engineering Project Courses. IEEE Transactions on Education Vol. 55, No. 4, Pages 445-452, IEEE, 2012. [IEEE Link] [journal webpage] [PDF] [BibTeX]

• David Broman and Peter Fritzson. Higher-Order Acausal Models. Simulation News Europe. Vol. 19, No. 1, Pages 5-16, ARGESIM, 2009 [journal webpage] [BibTeX] (Supersedes the EOOLT workshop paper)

• 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. Simulation News Europe. Issue 44, Pages 8-16, ARGESIM, 2005 [journal webpage]

Journal Preprints

• David Broman and Jeremy G. Siek. Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages. Submitted to Science of Computer Programming. [PDF] [EECS Technical Reports]

Peer Reviewed Conference and Workshop Papers

• David Broman. High-Confidence Cyber-Physical Co-Design to appear in the Proceedings of the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), Page 12, San Juan, Puerto Rico, 2012. [Preprint]

• David Broman, Edward A. Lee, Stavros Tripakis, and Martin Törngren. Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems (preprint). To appear in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM 2012), Innsbruck, Austria, 2012. [Preprint]

• Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, and Edward A. Lee. A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance. In Proceedings of the 30th IEEE International Conference on Computer Design (ICCD 2012), Montreal, Quebec, Canada, 2012. [Accepted author version] [IEEE link]

• Leif Jonsson, David Broman, Kristian Sandahl, and Sigrid Eldh Towards Automated Anomaly Report Assignment in Large Complex Systems using Stacked Generalization In Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Canada, 2012. [IEEE link]

• David Broman and Henrik Nilsson. Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages In Proceedings of Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2012), LNCS 7149, pages 258-272, Philadelphia, Pennsylvania, USA, 2012. [Springer link] [BibTeX]

• David Broman, Peter Fritzson, Görel Hedin, and Johan Åkesson. A Comparison of Two Metacompilation Approaches to Implementing a Complex Domain-specific Language. In Proceedings of 27th Symposium On Applied Computing (SAC 2012), Riva del Garda, Trento, Italy, 2012. [ACM link] [Extended Tech Report]

• David Broman and Kristian Sandahl. How can we make Software Engineering Text Books Well-founded, Up-to-date, and Accessible to Students?. In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2011), Pages 386-390, Waikiki, Honolulu, Hawaii, USA, 2011. [BibTeX] [IEEE link]

• David Broman. Should Software Engineering Projects be the Backbone or the Tail of Computing Curricula?. In Proceedings of the 23th IEEE Conference on Software Engineering Education and Training (CSEE&T 2010);, Pages 153-156, Pittsburgh, USA, 2010. [BibTeX] [IEEE link]

• Peter Aronsson and David Broman. Extendable Physical Unit Checking with Understandable Error Reporting. In Proceedings of the 7th International Modelica Conference, Como, Italy, 2009. [PDF] [BibTeX]

• Peter Fritzson, Adrian Pop, David Broman, and Peter Aronsson. Formal Semantics Based Translator Generation and Tool Development in Practice. In In Proceedings of ASWEC 2009 Australian Software Engineering Conference, pages 256-266, Gold Coast, Queensland, Australia, 2009. IEEE Computer Society. [BibTeX] [IEEE link]

• David Broman and Peter Fritzson. Higher-Order Acausal Models. In Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools,pages 59-69, Paphos, Cyprus, 2008. LIU Electronic Press. [PDF] [BibTeX] [LIU EP] (Superseded by the SNE journal version)

• David Broman, Peter Aronsson, and Peter Fritzson. Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica. In Proceedings of the 6th International Modelica Conference,pages 3-12, Bielefeld, Germany, 2008. [PDF] [BibTeX]

• Kristoffer Norling, David Broman, Peter Fritzson, Alexander Siemers, and Dag Fritzson. Secure Distributed Co-Simulation over Wide Area Networks. In Proceedings of the 48th Conference on Simulation and Modelling (SIMS 2007),pages 14-23, Göteborg (Särö), Sweden. LIU Electronic Press. [PDF] [BibTeX] [LIU EP]

• David Broman and Peter Fritzson. Abstract Syntax Can Make the Definition of Modelica Less Abstract. In Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools,pages 111-126, Berlin, Germany, 2007. LIU Electronic Press. [PDF] [BibTeX] [LIU EP]

• David Broman, Kaj Nyström, and Peter Fritzson. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta. In Proceedings of the Fifth International Conference on Generative Programming and Component Engineering (GPCE'06), pages 151-160, Portland, Oregon, USA, 2006. ACM Press. [PDF] [ACM DOI] [BibTeX]

• David Broman, Peter Fritzson, and Sébastien Furic. Types in the Modelica Language. In Proceedings of the Fifth International Modelica Conference, pages 303-315, Vienna, Austria, 2006. [PDF] [BibTeX]

• 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 Modeling, pages 83-90, Trondheim, Norway, 2005. [BibTeX]

• David Broman and Peter Fritzson. Ideas for Security Assurance in Security Critical Software using Modelica. In Proceedings of the Conference on Modeling and Simulation for Public Safety, pages 45-54, Linköping, Sweden, 2005. [PDF] [BibTeX]

Invited Non Peer Reviewed Papers and Reports

• Peter Fritzson, Edward A. Lee, David Broman, and Francois Cellier. Equation-Based Object-Oriented Modeling Languages and Tools. Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3. Models in Software Engineering, Volume 6627 of LNCS, pages 140-144, Springer-Verlag, 2011. [Springer link] [BibTeX]

• David Broman. Growing an Equation-Based Object-Oriented Modeling Language. In Proceedings of MATHMOD 09 Vienna, pages 1316-1324, Vienna, Austria, 2009 (Invited). [PDF] [BibTeX]

• Peter Fritzson, David Broman, and Francois Cellier. Equation-Based Object-Oriented Languages and Tools. Report on the 2nd Workshop EOOLT at ECOOP 2008. Object-Oriented Technology. ECOOP 2008 Workshop Reader, Volume 5475 of LNCS, pages 18-29, Springer-Verlag, 2009. [Springer link] [BibTeX]

• Peter Fritzson, David Broman, Francois Cellier, and Christoph Nytsch-Geusen. Equation-Based Object-Oriented Languages and Tools. Report on the Workshop EOOLT 2007 at ECOOP 2007. Object-Oriented Technology. ECOOP 2007 Workshop Reader, Volume 4906 of LNCS, pages 27-39, Springer-Verlag, 2008. [Springer link] [BibTeX]

• Peter Fritzson, Peter Aronsson, Adrian Pop, Håkan Lundvall, Kaj Nyström, Levon Saldamli, David Broman, Anders Sandholm. OpenModelica - A Free Open-Source Environment for System Modeling, Simulation, and Teaching. IEEE International Symposium on Computer-Aided Control Systems Design, Munich, Germany, 2006 (Invited). [IEEE link]

Edited Proceedings

• François Cellier, David Broman, Peter Fritzson, and Edward A. Lee, (Eds.). Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Zurich, Switzerland, September 5, 2011. ISSN 1650-3686, Issue 56, LIU Electronic Press, [PDF] [LIU EP]

• Peter Fritzson, Edward A. Lee, François Cellier, and David Broman (Eds.). Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools . Oslo, Norway, October 2010. ISSN 1650-3740, LIU Electronic Press, [PDF] [LIU EP]

• Peter Fritzson, François Cellier, and David Broman (Eds.). Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools . Cyprus, July 2008. ISSN 1650-3686, LIU Electronic Press, [PDF] [LIU EP]

Thesis

• David Broman. Meta-Languages and Semantics for Equation-Based Modeling and Simulation. PhD thesis, Thesis No 1333. Department of Computer and Information Science, Linköping University, Sweden, 2010. [PDF] [Errata] [BibTeX] [LIU EP]

• David Broman. Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments. Licentiate thesis. Thesis No 1337. Department of Computer and Information Science, Linköping University, December, 2007. [PDF] [BibTeX] [LIU EP]

• David Broman. Lossless Data Compression - Methods for Achieving Better Performance in a Wireless VPN. Master’s thesis, Linköping University, 2001. [PDF] [BibTeX]

Technical Reports

• David Broman, Peter Fritzson, Görel Hedin, and Johan Åkesson A comparison of metacompilation approaches to implementing Modelica. Report 97, Department of Computer Science, Lund University, 2011 [PDF]

• David Broman. Flow Lambda Calculus for Declarative Physical Connection Semantics. Technical Reports in Computer and Information Science No. 1, LIU Electronic Press, 2007 [PDF] [BibTeX] [LIU EP]

Misc

Lecture Notes and Informal Reports

• David Broman. Strict Typed Functional Programming in OCaml - Lecture Notes. Lecture notes in the strict FP part of course Functional and Logic Programming, LiU Spring 2010, Linköping, 2010. [PDF]

• David Broman. Guest Scholar Visit at University of Colorado at Boulder . CUGS Travel Report, Boulder, Colorado, USA, 2008 [PDF]

• David Broman. Thesis Proposal - Type Safety of Equation-Based Object-Oriented Languages. Presented at the CUGS (National Graduate School in Computer Science) Annual Workshop, Linköping, Sweden, 2007 [PDF] [BibTeX]

Posters

• David Broman, Kristoffer Norling, Peter Fritzson, Alexander Siemers, and Dag Fritzson. Evaluation of Secure Distributed TLM-based Co-Simulation over Wide Area Networks. Poster session at 3rd MODPROD Workshop on Model-Based Product Development, Linköping, Sweden, 2009. [Poster, PDF] [BibTeX]

• 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, Ottawa, Canada, 2006 [Abstract, PDF] [Poster, PDF] [BibTeX]