• Home
  • Download
  • Publications
  • Courses
  • About
    • 2018
    New paper available about Gradually typed symbolic expressions.

    2017
    New paper available about hybrid simulation safety. Please find the code examples here.

    2014
    Slides from the course Principles of Equation-Based Object-Oriented Modeling and Languages held in Pisa, Italy, 2014, are now online.

    2014
    The new Modelyze website is online!

    Publications

    The main references for Modelyze are the following:
    • David Broman and Jeremy G. Siek. Gradually Typed Symbolic Expressions. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM ), Los Angeles, ACM, 2018. [PDF] [ACM Link]

    • David Broman and Jeremy G. Siek. Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages. Technical Report No. UCB/EECS-2012-173. EECS Department. University of California, Berkeley. June 30, 2012. [PDF] [Tech Report]

    • 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 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]

    The following publications are also closely related to the Modelyze work:
    • David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, and Michael Wetter. Determinate Composition of FMUs for Co-Simulation. In Proceedings of the International Conference on Embedded Software (EMSOFT 2013), Montreal, Canada, 2013. [IEEE Link] [Tech Report]

    • David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai, Aviral Shrivastava, Stephen A. Edwards, and Edward A. Lee. Precision Timed Infrastructure: Design Challenges. In Proceedings of the Electronic System Level Synthesis Conference (ESLsyn 2013), Austin, Texas, USA. (Invited paper, reviewed by PC chairs) [PDF] [IEEE Link] [Tech Report]

    • David Broman. High-Confidence Cyber-Physical Co-Design. In 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. [ACM Link]

    • David Broman, Edward A. Lee, Stavros Tripakis, and Martin Törngren. Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems. In Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM 2012), Innsbruck, Austria, ACM, 2012. [PDF] [ACM 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]

    • David Broman and Peter Fritzson. Higher-Order Acausal Models. Simulation News Europe. Vol. 19, No. 1, Pages 5-16, ARGESIM, 2009 [Journal 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]

    • 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] [LIU EP Link] [BibTeX]

    • 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] [LIU EP Link] [BibTeX]

    • 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 Link] [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 Software Development Environment. Simulation News Europe. Issue 44, Pages 8-16, ARGESIM, 2005 [Journal Link]