Principles of Object-Oriented Modeling and Simulation with Modelica 2.1

A component-based debugging approach for detecting structural inconsistencies in declarative equation based models

Journal of Computer Science and Technology - Special section on China AVS standard

Languages and tools for hybrid systems design

Foundations and Trends in Electronic Design Automation

Determining over- and under-constrained systems of equations using structural constraint delta

Proceedings of the 5th international conference on Generative programming and component engineering

A Simulation and Decision Framework for Selection of Numerical Solvers in

ANSS '06 Proceedings of the 39th annual Symposium on Simulation

A Framework for Implementation-Independent Simulation Models

Simulation

Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software

Development of a Modelica Compiler Using JastAdd

Electronic Notes in Theoretical Computer Science (ENTCS)

CPO semantics of timed interactive actor networks

Theoretical Computer Science

Simulation of systems with dynamically varying model structure

Mathematics and Computers in Simulation

Universal software packages to model the distributed-parameter systems

Automation and Remote Control

Object oriented modelling of variable envelope properties in buildings

WSEAS Transactions on Systems and Control

Classes and inheritance in actor-oriented design

ACM Transactions on Embedded Computing Systems (TECS)

Automatic parallelization of simulation code for equation-based models with software pipelining and measurements on three platforms

ACM SIGARCH Computer Architecture News

Equation-Based Object-Oriented Languages and Tools

Object-Oriented Technology. ECOOP 2008 Workshop Reader

Thermal conditions in buildings-advances of acausal OO modelling in comparison with traditional approach

ICOSSSE'08 Proceedings of the 7th WSEAS international conference on System science and simulation in engineering

Integrated UML and modelica system modeling with ModelicaML in Eclipse

SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications

Jacobian-based derivation of dynamics equations of elastic parallel manipulators

AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation

Hybrid modeling of opto-electrical interfaces using DEVS and modelica

SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference

Implementation of a Modelica compiler using JastAdd attribute grammars

Science of Computer Programming

Scalable Semantic Annotation Using Lattice-Based Ontologies

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems

Composition of XML Dialects: A ModelicaXML Case Study

Electronic Notes in Theoretical Computer Science (ENTCS)

Port-based modeling and simulation of mechanical systems with rigid and flexible links

IEEE Transactions on Robotics

NestStepModelica: mathematical modeling and bulk-synchronous parallel simulation

PARA'06 Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing

Hierarchical modeling for computational biology

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology

Equation-based object-oriented languages and tools: report on the workshop EOOLT 2007 at ECOOP 2007

ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology

Mathematical equations as executable models of mechanical systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems

First-principles modeling of fluid and solute exchange in the human during normal and hemodialysis conditions

Computers in Biology and Medicine

A benchmark diagnostic model generation system

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics

Integrating Parallel DEVS and equation-based object-oriented modeling

SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference

Residual generators for fault diagnosis using computation sequences with mixed causality applied to automotive systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Disciplined heterogeneous modeling

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II

The modelica object-oriented equation-based language and its open modelica environment with meta modeling, interoperability, and parallel execution

SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots

Compilation of inheritance for object-oriented structures

MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering

Virtual verification of system designs against system requirements

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering

A virtual experiment platform for mechanism motion cognitive learning

Proceedings of the 2011 international conference on Virtual and mixed reality: systems and applications - Volume Part II

Heterogeneous actor modeling

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software

Parallel simulation of equation-based models on CUDA-enabled GPUs

Proceedings of the 9th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing

The Atlas of Physiology and Pathophysiology: Web-based multimedia enabled interactive simulations

Computer Methods and Programs in Biomedicine

Interchange format for hybrid systems: abstract semantics

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control

MetaModelica: a unified equation-based semantical and mathematical modeling language

JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages

Towards a bulk-synchronous distributed shared memory programming environment for grids

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing

Interchange formats for hybrid systems: review and proposal

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Node-Based connection semantics for equation-based object-oriented modeling languages

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages

Incremental construction of component-based systems

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

ΦDEVS: phase based discrete event modeling

Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

A simulation environment for vehicle-to-grid integration studies

Proceedings of the 2011 Summer Computer Simulation Conference

Comparative study of model-based and multi-domain system engineering approaches for industrial settings

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications

Design and study of VoIP model in cognitive radio network under different simulation platforms

Proceedings of the CUBE International Information Technology Conference

Automatic parallelization of object oriented models executed with inline solvers

PVM/MPI'07 Proceedings of the 14th European conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface

Experiences with object-oriented and equation based modeling of a floating support structure for wind turbines in modelica

Proceedings of the Winter Simulation Conference

A new framework for the simulation of equation-based models with variable structure

Simulation