
DUNEFEM
 Referenced in 38 articles
[sw03084]
 generic interface for parallel and adaptive discretization schemes: Abstraction principles and the DUNEFEM module ... Starting from an abstract mathematical notion of discrete function spaces and operators, we derive ... general abstraction for a large class of gridbased discretization schemes for stationary and instationary ... concepts are based on a corresponding abstract definition of a parallel and hierarchical adaptive grid...

SCOTS
 Referenced in 20 articles
[sw20172]
 symbolic models, also known as discrete abstractions. The tool accepts a differential equation ... differential equation together with a number of discretization parameters to compute a symbolic model that ... closed loop system and to visualize the abstract state space together with the atomic propositions...

CoSyma
 Referenced in 12 articles
[sw20124]
 tool for controller synthesis using multiscale abstractions. We introduce CoSyMA, a tool for automatic ... switched systems based on multiscale discrete abstractions. The tool accepts a description ... statespace on which discrete abstractions are computed. The tool generates a controller...

GOLOG
 Referenced in 172 articles
[sw02159]
 written at a much higher level of abstraction than is usually possible. The language appears ... robots and industrial processes, intelligent software agents, discrete event simulation, etc. It is based...

FEMPAR
 Referenced in 21 articles
[sw21297]
 stateoftheart discretization techniques and highly scalable solvers for the simulation of complex ... detailed introduction to the software abstractions used in the discretization module and the related geometrical...

GeoPDEs
 Referenced in 116 articles
[sw06413]
 many IGA methods for the discretization of partial differential equations currently studied, mainly based ... relation to a quite comprehensive, abstract definition...

Nettle
 Referenced in 4 articles
[sw25231]
 such has both continuous and discrete abstractions, each of which is leveraged in the design...

Essence
 Referenced in 22 articles
[sw27491]
 natural language and discrete mathematics. Essence provides a high level of abstraction, much of which...

FAUST2
 Referenced in 14 articles
[sw23682]
 tool that generates formal abstractions of (possibly nondeterministic) discretetime Markov processes (dtMP) defined ... dtMP model is specified in MATLAB and abstracted as a finitestate Markov chain...

GRINS
 Referenced in 6 articles
[sw21301]
 stateoftheart discretization techniques and highly scalable solvers for the simulation of complex ... detailed introduction to the software abstractions used in the discretization module and the related geometrical...

HybridSal
 Referenced in 7 articles
[sw11781]
 tool that performs Hybrid Abstraction (PDF) to automatically generate discrete SAL specifications that...

BETA
 Referenced in 29 articles
[sw03114]
 just as well be built from existing abstractions – provided these are sufficiently flexible and general ... from BetaSIM, a highlevel framework for discrete event simulation. The paper concludes with...

pyMOR
 Referenced in 19 articles
[sw12978]
 pyMOR are formulated in terms of abstract interfaces for seamless integration with external highdimensional ... implementations of finite element and finite volume discretizations using the NumPy/SciPy scientific computing stack...

ump
 Referenced in 27 articles
[sw12360]
 randomized tests and perform badly on discrete data at small and moderate sample sizes ... value notion, called fuzzy Pvalues or abstract randomized Pvalues, that also inherits...

FEMSTER
 Referenced in 21 articles
[sw00275]
 used for highorder spatial discretizations of wellknown $\cal H(\text ... software consists of a set of abstract interfaces and concrete classes, providing a framework...

CellML
 Referenced in 27 articles
[sw05635]
 models are represented as a collection of discrete components linked by connections to form ... similar tasks, or a convenient modelling abstraction. Components may contain variables, mathematical relationships that specify...

Sundance
 Referenced in 19 articles
[sw10599]
 highlevel problem description, using abstract concepts such as functions, operators, and regions. With this ... variational formulation of a PDE and its discretization method in a small amount of user...

AutoMOTGen
 Referenced in 5 articles
[sw09718]
 Implements sampling time abstraction to generate tests with lesser number of (discrete) steps...

VeriSIMPL
 Referenced in 4 articles
[sw14598]
 finite abstractions of autonomous MaxPlusLinear (MPL) systems, a class of discreteevent systems ... related to the synchronization of successive events. Abstractions of MPL systems are derived as finite...

Slate
 Referenced in 5 articles
[sw31053]
 Slate: extending Firedrake’s domainspecific abstraction to hybridized solvers for geoscience and beyond. Within ... point and elliptic systems arising from these discretizations continue to be an ongoing challenge ... method known as hybridization, where the discrete equations are transformed such that classic static condensation ... this paper, we introduce a domainspecific abstraction within the Firedrake finite element library that...