|
News and Events
- Paper accepted
to PADL
2012, Philadelphia, Pennsylvania, USA. Title: Node-Based Connection
Semantics for Equation-Based Object-Oriented Modeling Languages
- Paper accepted
to SAC 2012,
Riva del Garda, Trento, Italy. Tile: A Comparison of Two Metacompilation
Approaches to Implementing a Complex Domain-specific Language.
- PC member of
the 25th
IEEE-CS Conference on Software Engineering Education and Training
(CSEE&T), Nanjing, Jiangsu, China, 2012.
- Received the Swedish Research Council's
(Vetenskapsrådets) post-doctoral fellowship grant for a two years
period. In December 2011 I will
join Edward A. Lee's
research group at UC
Berkeley, California, USA.
All news and events...
|
|
|
|
David Broman
Assistant Professor (foass)
Department of Computer and Information Science
Linköping University
SE-581 83 Linköping
Sweden
|
|
|
Email: david.broman@liu.se
Office: +46(0)13-285724
Cellular: +46(0)707-909075
Fax: +46(0)13-285899
Room: B3B:460 (map)
|
|
David's primary research interests include programming languages design, metaprogramming, type systems, semantics, software engineering, embedded systems, and mathematical modeling and simulation. See his PhD thesis for more information. Other areas of interest concern information system security,
in particular in the areas of data communication, access control
and applied cryptography.
David is currently a member of
Modelica Association and the
International Information Systems Security Certification Consortium (ISC2). He is also running the company
Broman Software Consulting.
Publications
Journal Papers
-
David Broman, Kristian Sandahl, and Mohamed Abu Baker.
The Company Approach to Software Engineering Project Courses.
To appear in journal IEEE Transaction on Education.
[journal webpage]
-
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]
Peer Reviewed Conference and Workshop Papers
-
David Broman and Henrik Nilsson.
Node-Based Connection Semantics for Equation-Based Object-Oriented
Modeling Languages To appear in Proceedings of Fourteenth
International Symposium on Practical Aspects of Declarative Languages
(PADL 2012),
LNCS 7149, pages 258-272, Philadelphia, Pennsylvania,
USA, 2012.
- David Broman, Peter Fritzson, Görel Hedin, and Johan Åkesson.
A Comparison of Two Metacompilation Approaches to Implementing a
Complex Domain-specific Language. To appear in Proceedings of
27th Symposium On Applied Computing (SAC 2012), Riva del Garda,
Trento, Italy, 2012.
-
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,
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,
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 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 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]
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 (not published elsewhere)
-
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]
Preprints
-
David Broman, Kristian Sandahl and Mohamed Abu Baker.
The Company Approach to Software Engineering Project Courses.
Submitted to IEEE Transactions on Education,
LIU Press, 2011
[PDF]
[LIU EP]
Software
The following freely available software have I designed and implemented or contributed to:
- Modeling Kernel Language (MKL) Toolchain. An interpreter implementation for the Modeling kernel language (MKL) where acausal physical models can be simulated or transformed. The source code, which is distributed under GPL license, can be downloaded here. Documentation about MKL can be found in David's PhD thesis.
- OpenModelica. An open-source Modelica-based modeling and simulation environment. Contributed with some parts of the compiler, such as a prototype implementation for physical unit checking. See the OpenModelica homepage.
- Ustring. A unicode string library for adding simple and powerful Unicode support to the OCaml language. The source code, which is distributed under the new BSD license, can be downloaded here. Module documentation is available online.
- Velvet Studio. An advanced graphical music editor/tracker developed for the MS-DOS platform during years 1994-1998. The self-extracting executable for the DOS platform is freely available for download. To run the program on e.g., Windows or Mac OS, use the DOS emulator DOSBox. The Velvet Studio user manual is available as a pdf-file.
Tutorials, Posters, Talks, etc.
-
David Broman.
Modeling Kernel Language (MKL) - A formal and extensible approach to
equation-based modeling languages.
Invited talk, TU Berlin, Germany, March, 2011.
[Slides]
-
David Broman.
Modeling Kernel Language (MKL) - A formal and extensible approach to
equation-based modeling languages.
Invited talk, EECS, Chess, UC Berkeley, California, USA, February, 2011.
[Slides]
-
David Broman.
Extensible Modeling Languages Utilizing Libraries for Model Creation, Use, and Domain-Specific Extensions.
Invited presentation at 5th MODPROD Workshop on Model-Based Product Development, Linköping, 2011.
[Slides]
-
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.
Growing an Equation-Based Object-Oriented Modeling Language.
Invited presentation at 4th MODPROD Workshop on Model-Based Product Development, Linköping, 2010.
[Slides]
-
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 (2011)
- Co-Chair and PC member of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT) 2011, ETH Zürich, Switzerland.
- PC member of the Workshop on the Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'11), Istanbul, Turkey, 2011.
- PC member of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T), Waikiki, Honolulu, Hawaii, 2011.
- Co-Chair and PC member of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT) 2010, Oslo, Norway.
- 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.
PhD Students
- Leif Jonsson. Software engineering (co-supervisor).
Teaching
| 2011
| | Software Engineering
| | TDDC88
| | Course responsible and examiner |
|
| | Project: Secure Mobile Systems
| | TDDD36
| | Guest lecture about Scrum |
| 2010
| | Functional and Logic Programming (PhD course)
| | DF22100
| | Course designer and teacher for the part about strict FP in OCaml. |
|
| | Project: Secure Mobile Systems
| | TDDD36
| | Guest lecture about Scrum |
| 2009
| | Software Engineering
| | TDDC88
| | Course responsible and examiner |
|
| | Software Engineering Theory
| | TDDC93
| | Giving lectures |
|
| | Project: Secure Mobile Systems
| | TDDD36
| | Guest lecture about Scrum |
| 2007
| | Software Engineering
| | TDDC88
| | Course responsible and examiner |
|
| | Software Engineering Theory
| | TDDC93
| | Course responsible and examiner |
| 2006
| | Software Engineering Theory
| | TDDC01
| | Exam assistant |
|
| | Algorithms and Optimizations
| | TDDB56
| | Teaching assistant |
|
| | Software Engineering Project
| | TDDC02
| | Supervisor for one group of students |
| 2005
| | Software Engineering Theory
| | TDDC01
| | Exam assistant |
|
| | Algorithms and Optimizations
| | TDDB56
| | Teaching assistant |
|
| | Software Engineering Project
| | TDDC02
| | Supervisor for two groups of students |
Other
If you are a friend of David's, maybe David's and his wife Åsa's personal website
can be of interest:
www.bromans.com
Updates