The main references for Modelyze are the following:
  • 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]