David Broman
Dept. of Computer and Information Science Linköpings universitet SE-581 83 LINKÖPING SWEDEN Email: davbr@ida.liu.se Office: +46(0)13-285724 Cellular: +46(0)707-909075 Fax: +46(0)13-285899 Room: B3B:460 (map)		News and Events Paper at Modelica conference 2009: Extendable Physical Unit Checking with Understandable Error Reporting. Invited paper at MATHMOD 2009: Growing an Equation-Based Object-Oriented Modeling Language. A master thesis by Kristoffer Norling that I supervised was awarded IDA's price for best thesis. Travel report from my guest scholar visit at University of Colorodo at Boulder (Spring 2008).

David Broman is pursuing his Ph.D. at the Programming Environments Laboratory at Department of Computer and Information Science, Linköping University. He received his Master of Science degree in 2001 and his licentiate degree in 2007; both from Linköping University. Between the years 2000 and 2005, David was working as a technical project manager and software engineer at the information security company Columbitech in Stockholm. In the year of 2005, he received the status as a Certified Information Systems Security Professional (CISSP). David is currently a member of Modelica Association and the International Information Systems Security Certification Consortium (ISC2). In parallell with the PhD work, he is also running the company Broman Software Consulting.

Research

David's primary research interests include programming languages, type systems and static analysis with focus on Equation-based Object-Oriented (EOO)-languages.
See David's licentiate thesis for more information.

Other areas of interest are mainly concerning information system security, in particular in the areas of data communication, access control and applied cryptography.

Publications

Journal Papers

• David Broman and Peter Fritzson. Higher-Order Acausal Models. Simulation News Europe 19(1):5-16, ARGESIM, 2009 [PDF] [BibTeX]

Peer Reviewed Conference and Workshop Papers

• 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] g
• 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]
• 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 and David Broman and Peter Fritzson and 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 Papers and Reports

• David Broman. Growing an Equation-Based Object-Oriented Modeling Language. In Proceedings of MATHMOD 09 Vienna, pages 1316-1324, Vienna, Austria, 2009. [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]
• 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 [IEEE link]

Proceedings

• Peter Fritzson, Francois 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. 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. 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]

Tutorials, Posters, Talks, etc.

• Jan Brugård and David Broman. Modelica Tutorial - Modeling and Simulation with OpenModelicaand MathModelica . Tutorial session MATHMOD 09 Vienna, Vienna, Austria, 2009. [Slides]
• 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. 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]
• 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]

Academic Tasks and Events

• Reviewer for Journal Simulation Modelling Practice and Theory (2009), EOOLT Workshop 2007, EOOLT Workshop 2008, and Modelica conference 2008.
• Co-Chair and PC member of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT) 2008, Paphos, Cyprus.
• Visiting scholar at University of Colorado at Boulder, Spring 2008.
• Organizing Committee Member of the 1st International Workshop on Equation-based Object-Oriented Languages and Tools (EOOLT) 2007. Berlin.
• Member of the board of the Department of Computer and Information Science, Linköping University, Sweden (2006-2008).
• Guest talk at Microsoft Corporation, (Redmond, 2006) and Volvo Cars (Gothenburg, 2009).
• Member of Modelica Association (2005-) and part of the Modelica Language Design group.
• Session Chair at NordSec 2006 and EOOLT 2008.

Supervisors

• Peter Fritzson, Linköping University (Main Supervisor)
• Jeremy G. Siek, University of Colorado at Boulder (Co-Supervisor)
• Björn Lisper, Mälardalen University (Co-Supervisor)
• Thomas Schön, Linköping University (Co-Supervisor)

Teaching

Other