
Plasmo.jl
 Referenced in 3 articles
[sw28219]
 modeling abstractions to represent cyberphysical dependencies arising in complex systems. Specifically, we propose...

OpenMETA
 Referenced in 1 article
[sw09392]
 componentbased design tool chain for cyberphysical systems Model and componentbased design have ... design and manufacturing of complex cyberphysical systems (CPS) such as vehicles ... building a comprehensive design tool suite for complex CPS. The primary driver for the OpenMETA...

DimSim
 Referenced in 1 article
[sw09874]
 first step in building a cyberphysical system is the construction of a faithful model ... physical quantities represented in it. Though manual analysis of dimensions is used in physical sciences ... approach does not scale to complex cyberphysical systems with many interacting components. We present...

SCELlight
 Referenced in 4 articles
[sw09887]
 called cyberphysical systems consisting of softwareintensive ensembles of components, featuring complex intercommunications...

Montre
 Referenced in 2 articles
[sw30369]
 more complex and versatile tasks for analyzing and reasoning about cyberphysical systems...

DTRON
 Referenced in 0 articles
[sw23642]
 based testing of time critical applications. CyberPhysical Systems (CPS) present the greatest challenges ... electronics, automotive and industrial automation. Governing the complexity and design correctness issues of CPS software...

DistAIX
 Referenced in 0 articles
[sw25959]
 compleX power systems): Enabling the analysis of emergent behavior in future electrical distribution systems using ... future electrical distribution systems, component heterogeneity and their cyberphysical interactions through electrical lines...

Coq
 Referenced in 1776 articles
[sw00161]
 Coq is a formal proof management system. It...

Gmsh
 Referenced in 564 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Maple
 Referenced in 5020 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 248 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Matlab
 Referenced in 11969 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MetiTarski
 Referenced in 49 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

QEPCAD
 Referenced in 275 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

R
 Referenced in 8180 articles
[sw00771]
 R is a language and environment for statistical...

SPIN
 Referenced in 708 articles
[sw03455]
 Spin is a popular opensource software tool...

KeYmaera
 Referenced in 40 articles
[sw03709]
 KeYmaera: A hybrid theorem prover for hybrid systems...

AMPL
 Referenced in 581 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

PETSc
 Referenced in 1127 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

CPLEX
 Referenced in 2541 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...