• Simulink

  • Referenced in 820 articles [sw04348]
  • environment for multidomain simulation and Model-Based Design for dynamic and embedded systems. It provides ... extensive range of tools that let you develop algorithms, analyze and visualize simulations, create batch...
  • SCADE

  • Referenced in 20 articles [sw00829]
  • solutions that empowers users with a Model-Based Development Environment for critical embedded software. With ... management, model-based design, simulation, verification, qualifiable/certified code generation, and interoperability with other development tools...
  • S-TaLiRo

  • Referenced in 22 articles [sw09775]
  • widely used in the industry for model-based development of control software. We present...
  • SPOT

  • Referenced in 92 articles [sw06347]
  • parameter optimization (spot) package for R (R Development Core Team, 2008) is a toolbox ... understanding simulation and optimization algorithms. Model-based investigations are common approaches in simulation and optimization ... Sequential parameter optimization has been developed, because there is a strong need for sound statistical...
  • SpecExplorer

  • Referenced in 18 articles [sw11366]
  • Explorer is a software development tool for advanced model-based specification and conformance testing...
  • Fujaba

  • Referenced in 13 articles [sw04100]
  • source CASE tool providing developers with support for model-based software engineering and re-engineering...
  • funHDDC

  • Referenced in 26 articles [sw11130]
  • subspaces: Model-based clustering of time series in group-specific functional subspacesThis work develops...
  • fc2tools

  • Referenced in 11 articles [sw12386]
  • dealing with model-based, automatic verification of distributed communicating systems. It is developed jointly...
  • ArrayCluster

  • Referenced in 4 articles [sw20488]
  • overcome such difficulty, we developed a novel model-based clustering method, referred...
  • DiKe

  • Referenced in 2 articles [sw23957]
  • application. This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines ... integrated toolset for the development of model-based diagnosis applications. The framework has been used...
  • curvclust

  • Referenced in 6 articles [sw07435]
  • used for a model-based clustering algorithm and for which we develop an EM-algorithm...
  • MuJoCo

  • Referenced in 26 articles [sw27214]
  • physics engine aiming to facilitate research and development in robotics, biomechanics, graphics and animation ... unique combination of speed, accuracy and modeling power, yet it is not merely a better ... ground up for the purpose of model-based optimization, and in particular optimization through contacts...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • adds capabilities to UML for model-driven development of Real Time and Embedded Systems (RTES ... MARTE consists in defining foundations for model-based description of real time and embedded systems...
  • LTSA-WS

  • Referenced in 14 articles [sw10585]
  • describe a tool for a model-based approach to verifying compositions of web service implementations ... properties created from design specifications and implementation models to confirm expected results from the viewpoints ... both the designer and implementer. Scenarios are modeled in UML, in the form of Message ... State Process (FSP) process algebra to concisely model the required behavior. BPEL4WS implementations are mechanically...
  • simPop

  • Referenced in 7 articles [sw23153]
  • interest. Multiple approaches and tools have been developed to generate synthetic data. These approaches ... groups: synthetic reconstruction, combinatorial optimization, and model-based generation. We provide in this paper ... simPop is a user-friendly R package based on a modular object-oriented concept ... iterative proportional fitting and simulated annealing, and modeling or data fusion by logistic regression...
  • FRESCo

  • Referenced in 1 article [sw37900]
  • diverse viruses. Results: We developed a phylogenetic codon model-based framework, FRESCo, designed to find...
  • PAROC

  • Referenced in 6 articles [sw21878]
  • platform that enables the use of model-based tools in design, operational optimisation and advanced ... wise procedure is outlined involving (i) the development of a high-fidelity dynamic model...
  • Scalismo

  • Referenced in 1 article [sw34738]
  • statistical shape modeling and model-based image analysis in Scala, developed by the Graphics...
  • UNICASE Trace Client

  • Referenced in 1 article [sw07899]
  • artifacts from project management. Based on this approach, we developed the lightweight tool UNICASE Trace ... model-based CASE tool UNICASE [5], which is an Eclipse plug-in developed...
  • PBSIM

  • Referenced in 3 articles [sw34216]
  • developed a read simulator, PBSIM, that captures these features using either a model-based...