×

Found 187 Software Packages (Results 1–100)

Simulink

Software Authors:   MathWorks, Inc
Referenced in: 693 Publications (1994–2024)
Related Software: Matlab; Ode15s; StateFlow; Carsim; MATLAB ODE suite; Modelica; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

HyTech

Software Authors:   Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Referenced in: 312 Publications (1996–2021)
Related Software: Uppaal; PHAVer; Kronos; SPIN; SpaceEx; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

NuSMV

Software Authors:   Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco; Roberto Cavada, Michele Dorigatti, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Andrei Tchaltsev
Referenced in: 264 Publications (1999–2021)
Related Software: SPIN; Uppaal; CUDD; Chaff; PRISM; Bandera; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Kronos

Software Authors:   Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Referenced in: 243 Publications (1997–2021)
Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MPT

Software Authors:   M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco
Referenced in: 229 Publications (2004–2022)
Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Esterel

Software Authors:   Gérard Berry
Referenced in: 133 Publications (1985–2022)
Related Software: SIGNAL; LUSTRE; Uppaal; Simulink; SPIN; Quartz; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Modelica

Software Authors:   Yebra, L.J.; Berenguel, M.; Dormido, S.; Zarza, E.
Referenced in: 114 Publications (2000–2022)
Related Software: Dymola; Matlab; OpenModelica; Simulink; JModelica; RODAS; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

LISP

Software Authors:   McCarthy, John
Referenced in: 111 Publications (1960–2020)
Related Software: ACL2; NQTHM; Haskell; ML; Coq; REDUCE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

UFL

Software Authors:   Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N.
Referenced in: 72 Publications (2010–2022)
Related Software: FEniCS; PETSc; DOLFIN; Firedrake; petsc4py; SyFi; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

HIFOO

Software Authors:   D. Arzelier, G. Deaconu, S. Gumussoy, D. Henrion, M. Millstone, M.L. Overton
Referenced in: 63 Publications (2007–2022)
Related Software: COMPleib; PENBMI; SeDuMi; Matlab; YALMIP; GradSamp; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Camera Calibration

Software Authors:   Bouguet J-Y
Referenced in: 20 Publications (2002–2021)
Related Software: calib; SIFT; SBA; HumanEva; Matlab; Social GAN; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Adams

Software Authors:   MSC Software
Referenced in: 49 Publications (2005–2021)
Related Software: Matlab; ANSYS; NASTRAN; SIMPACK; ABAQUS; Meschach; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

KLEE

Software Authors:   Cristian Cadar, Daniel Dunbar, Dawson Engler
Referenced in: 37 Publications (2010–2021)
Related Software: z3; DART; CUTE; CPAchecker; STP; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

StarPU

Software Authors:   C. Augonnet, S. Thibault, R. Namyst, P.-A. Wacrenier
Referenced in: 28 Publications (2012–2022)
Related Software: CUDA; OpenCL; PLASMA; OmpSs; MAGMA; Cilk; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

TrueTime

Software Authors:   Anton Cervin, Dan Henriksson, Bo Lincoln, Johan Eker, Karl-Erik Årzén
Referenced in: 39 Publications (2005–2021)
Related Software: Matlab; Simulink; Torsche; Uppaal; SeDuMi; AQuoSA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

TR-BDF2

Software Authors:   Hosea, M.E.; Shampine, L.F.
Referenced in: 36 Publications (1996–2022)
Related Software: RODAS; Matlab; MATLAB ODE suite; ode23s; ode113; Ode15s; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

MediaBench

Software Authors:   Lee, C., Potkonjak, M., Mangione-Smith, W.H.
Referenced in: 16 Publications (2001–2016)
Related Software: MiBench; SimpleScalar; Wattch; CACTI; SEC-DED; RTMemController; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

OSQP

Software Authors:   Bartolomeo Stellato, Goran Banjac, Paul Goulart, Alberto Bemporad, Stephen Boyd
Referenced in: 26 Publications (2018–2022)
Related Software: Mosek; SCS; qpOASES; CVXPY; GitHub; ECOS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

Breach

Software Authors:   Alexandre Donzé
Referenced in: 26 Publications (2011–2022)
Related Software: S-TaLiRo; Flow*; SpaceEx; Matlab; KeYmaera; C2e2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hybrid Toolbox

Software Authors:   Bemporad A.
Referenced in: 28 Publications (2004–2022)
Related Software: HYSDEL; MPT; CPLEX; Matlab; GLPK; ECOS; …
Main Fields: (04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

PAKCS

Software Authors:   M. Hanus, S. Antoy, B. Braßel, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, F. Steiner
Referenced in: 25 Publications (1994–2020)
Related Software: TOY; Curry; Haskell; BABEL; KiCS2; Kernel-LEAF; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TIMES

Software Authors:   H. Carli, L.G.S. Duarte, L.A.C.P. da Mota
Referenced in: 23 Publications (2002–2021)
Related Software: Uppaal; Maple; Kronos; LinMapTS; SPIN; IMITATOR; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Computer science (68-XX)

VEST

Software Authors:   Stankovic A, Wang H, Humphrey M, Zhu R, Poornalingam R, Lu C
Referenced in: 23 Publications (2001–2016)
Related Software: Ptolemy; CPLEX; Uppaal; AspectC++; Tensorial; GeneralVectorAnalysis; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functional analysis (46-XX); Probability theory and stochastic processes (60-XX)

MARTE

Software Authors:   Object Management Group, Inc.
Referenced in: 10 Publications (2009–2017)
Related Software: SysML; Uppaal; SPIN; Matlab; TINA; Simulink; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

TAXYS

Software Authors:   Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick
Referenced in: 15 Publications (2001–2017)
Related Software: Uppaal; Kronos; Eiffel; Uppaal2k; Esterel; Modelica; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Volcano

Software Authors:   Graefe, G.
Referenced in: 6 Publications (2000–2018)
Related Software: DB2; POTENTIAL; IQ-Meter; LUBM; E Theorem Prover; SPARQL; …
Main Fields: Computer science (68-XX)

GULP

Software Authors:   Gale, Julian D.; Rohl, Andrew L.
Referenced in: 19 Publications (1986–2017)
Related Software: Open Babel; VASP; XtalOpt; Avogadro; ReaxFF; SIESTA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

KLEIN

Software Authors:   Zheng Gong, Svetla Nikova, Yee Wei Law
Referenced in: 20 Publications (2011–2020)
Related Software: PRESENT; PRINCE; KTANTAN; KATAN; LED; TWINE; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MIST

Software Authors:   Walter, Colin D.
Referenced in: 17 Publications (2002–2012)
Related Software: BFFL; NTL
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Disperse

Software Authors:   Brian Pavlakovic, Mike Lowe, David Alleyne, Peter Cawley
Referenced in: 16 Publications (2003–2021)
Related Software: Matlab; ARPACK; Gmsh; ElasticMatrix; Differentiation Matrix Suite
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Giotto

Software Authors:   Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
Referenced in: 14 Publications (2001–2022)
Related Software: Kronos; SIGNAL; Esterel; Ptolemy; Uppaal; fast_mpc; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

TGFF

Software Authors:   Dick RP, Rhodes DL, Wolf W.
Referenced in: 8 Publications (2008–2019)
Related Software: Simulink; CPLEX; Chameleon; ABC; OptorSim; Condor-G; …
Main Fields: Operator theory (47-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TuLiP

Software Authors:   Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
Referenced in: 14 Publications (2016–2022)
Related Software: PESSOA; CoSyma; SCOTS; CUDD; LTLMoP; ROCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Bertini_real

Software Authors:   Brake, Daniel A.; Bates, Daniel J.; Hao, Wenrui; Hauenstein, Jonathan D.; Sommese, Andrew J.; Wampler, CharlesW.
Referenced in: 13 Publications (2014–2021)
Related Software: Bertini; ISOLATE; Kronecker; CGAL; HomotopyContinuation; PHCpack; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

MathLink

Software Authors:   wolfram.com
Referenced in: 12 Publications (1995–2011)
Related Software: Mathematica; C-XSC; ParLinSys; filib++; K2K; LaunchSlave; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

NModel

Software Authors:   Jacky, Jonathan; Veanes, Marqus; Campbell, Colin; Schulte, Wolfram
Referenced in: 9 Publications (2007–2021)
Related Software: SpecExplorer; UniTESK; DART; SPIN; TestNG; TorX; …
Main Fields: Computer science (68-XX)

DiVer

Software Authors:   Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
Referenced in: 9 Publications (2005–2010)
Related Software: Chaff; SatAbs; CBMC; Bebop; SPIN; FocusCheck; …
Main Fields: Measure and integration (28-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

MicroEliece

Software Authors:   Eisenbarth, Thomas; Güneysu, Tim Author Profile; Heyse, Stefan; Paar, Christof
Referenced in: 10 Publications (2008–2021)
Related Software: McEliece; Kyber; SPHINCS; brnoeth.lib; Keccak
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)

MOMENT2

Software Authors:   Artur Boronat; Peter Csaba Ölveczky
Referenced in: 9 Publications (2010–2016)
Related Software: Maude; ITP/OCL; Ptolemy; JavaFAN; Java+ITP; K Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PartiSim

Software Authors:   Tako, Antuela A.; Kotiadis, Kathy
Referenced in: 9 Publications (2015–2021)
Related Software: SimLean; Excel; DYNAMO; iFogSim; A-RESCUE; APOSTLE; …
Main Fields: History and biography (01-XX); Operations research, mathematical programming (90-XX)

RTC toolbox

Software Authors:   Wandeler E, Thiele L
Referenced in: 9 Publications (2008–2017)
Related Software: DISCO; PALLOC; Giotto; Algorithm 97; MinMaxgd; COINC; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Yampa

Software Authors:   Henrik Nilsson, Antony Courtney
Referenced in: 9 Publications (2003–2020)
Related Software: Haskell; Fran; Esterel; GHC; Copilot; seL4; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Pegasus

Software Authors:   Kunz, Matthew W.; Stone, James M.; Bai, Xue-Ning
Referenced in: 9 Publications (2014–2022)
Related Software: gs2; AstroGK; VORPAL; XGC0; OSIRIS; Viriato; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

See5

Software Authors:   R. Quinlan
Referenced in: 3 Publications (2006–2021)
Related Software: C4.5; bst; Ruby; CART; gbm; NYSOL; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

visualSTATE

Software Authors:   Lind-Nielsen, Jørn; Andersen, Henrik Reif; Hulgaard, Henrik; Behrmann, Gerd; Kristoffersen, Kåre; Larsen, Kim G
Referenced in: 7 Publications (1999–2010)
Related Software: CBMC; APS; NuSMV; BLAST; veriSoft; APS-1; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Cellerator

Software Authors:   Shapiro, B.E., Levchenko, A., Meyerowitz, E.M., Wold, B.J., Mjolsness, E.D.
Referenced in: 7 Publications (2005–2019)
Related Software: Mathematica; BIOCHAM; STOCHSIM; Matlab; Python; CplexA; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

GRAMPC

Software Authors:   Englert, Tobias; Völz, Andreas; Mesmer, Felix; Rhein, Sönke; Graichen, Knut
Referenced in: 8 Publications (2018–2022)
Related Software: VIATOC; ACADO; qpOASES; acados; GitHub; FORCES NLP; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

OpenUH

Software Authors:   Hernandez, Oscar; Jin, Haoqiang; Chapman, Barbara
Referenced in: 3 Publications (2008–2016)
Related Software: TAU; KOJAK; GenIDLEST; Quantum Espresso; ChaNGa; 2HOT; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

PROTOS-L

Software Authors:   Beierle, Christoph
Referenced in: 7 Publications (1990–1996)
Related Software: Prolog
Main Fields: Computer science (68-XX)

SensorDCSP

Software Authors:   Béjar, Ramón; Domshlak, Carmel; Fernández, Cèsar; Gomes, Carla; Krishnamachari, Bhaskar; Selman, Bart; Valls, Magda
Referenced in: 4 Publications (2005–2020)
Related Software: DisChoco; CSPLib; PRMLT; Algorithm 97; CNCL; SATLIB
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

TinyOS

Software Authors:   Dalton, Andrew R.; Wahba, Sally K.; Dandamudi, Sravanthi; Hallstrom, Jason O.
Referenced in: 6 Publications (2008–2019)
Related Software: FDR3; ProB; AUTOSAR; Magiclock; Goblint; ASTREE; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Chipwhisperer

Software Authors:   O’Flynn, Colin; Chen, Zhizhang
Referenced in: 6 Publications (2014–2021)
Related Software: GitHub; SIKE; FreePDK45; Yosys; FastICA; JADE; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

FORTH

Software Authors:   Charles H. Moore
Referenced in: 5 Publications (1990–2001)
Related Software: YACS; Miranda
Main Fields: Computer science (68-XX)

KANREN

Software Authors:   Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
Referenced in: 6 Publications (2008–2022)
Related Software: miniKanren; AIspace; Teyjus; GHC; MzScheme; LISP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

lcpSim

Software Authors:   Sztrik, J.; Möller, O.
Referenced in: 6 Publications (2001–2011)
Related Software: MOSEL; GreatSPN 1.7; GreatSPN
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

OpenViBE

Software Authors:   Y. Renard, F. Lotte, G. Gibert et al.
Referenced in: 3 Publications (2014–2021)
Related Software: BCI2000; EEGLAB; BCILAB; Scikit; Saga; NFBLab; …
Main Fields: Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

POLIS

Software Authors:   Baleani, Massimo; Conti, Massimo; Ferrari, Alberto; Frascolla, Valerio; Sangiovanni-Vincentelli, Alberto
Referenced in: 6 Publications (2002–2007)
Related Software: Polychrony; Chaff; MiBench; MediaBench
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

AQuoSA

Software Authors:   –
Referenced in: 4 Publications (2011–2014)
Related Software: TrueTime; Giotto; Feather-Trace; PAPI
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

AutoMOTGen

Software Authors:   Ambar A. Gadkari; Anand Yeolekar; J. Suresh; S. Ramesh; Swarup Mohalik; K. C. Shashidhar
Referenced in: 4 Publications (2009–2021)
Related Software: PHAVer; Simulink; DryVR; dReach; S-TaLiRo; Dymola; …
Main Fields: Computer science (68-XX)

FORCES NLP

Software Authors:   Zanelli, A.; Domahidi, A.; Jerez, J.; Morari, M.
Referenced in: 5 Publications (2018–2022)
Related Software: qpOASES; GRAMPC; qpDUNES; Ipopt; ACADO; MATMPC; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FortSP

Software Authors:   Ellison, E.F.D., Mitra, G., Zverovich, V.; OptiRisk Systems
Referenced in: 5 Publications (2009–2019)
Related Software: CPLEX; POSTS; SLPTESTSET; MSLiP; FrontLine; LINDO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Hume

Software Authors:   Hammond, K., Michaelson, G.
Referenced in: 3 Publications (2007–2011)
Related Software: Cyclone; Cedalion; JastAdd; Feldspar; mbeddr; VisualStudio.NET; …
Main Fields: Computer science (68-XX)

REDLIB

Software Authors:   Farn Wang
Referenced in: 5 Publications (2011–2014)
Related Software: Kronos; CMC; Synthia; Uppaal; UPPAAL TIGA; Tempo; …
Main Fields: Computer science (68-XX)

XSnippet

Software Authors:   Naiyana Sahavechaphan; Kajal Claypool
Referenced in: 1 Publication (2017)
Related Software: PARSEWeb; Calcite; JSketch; Denali; CodeHint; halp; …
Main Fields: Computer science (68-XX)

ACT-R

Software Authors:   John R. Anderson; Gall, Daniel; Frühwirth, Thom
Referenced in: 4 Publications (2014–2020)
Related Software: NUTS; CLARION; Julia; BayesDA; PyMC; Stan
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Apbsmem

Software Authors:   Callenberg, K.M.; Choudhary, O.P.; de Forest, G.L.; Gohara, D.W.; Baker, N.A.; Grabe, M.
Referenced in: 4 Publications (2013–2018)
Related Software: MIBPB; APBS; TABI; TMSmesh; CHARMM; FFTSVD; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

C-HEAP

Software Authors:   Nieuwland, Andr\'e; Kang, Jeffrey; Gangwal, Om Prakash; Sethuraman, Ramanathan; Bus\'a, Natalino; Goossens, Kees; Llopis, Rafael Peset; Lippens, Paul
Referenced in: 3 Publications (2002–2006)
Related Software:
Main Fields: Computer science (68-XX)

CHR

Software Authors:   Christian Holzbaur, Tom Schrijvers, Tom Schrijvers
Referenced in: 4 Publications (2002–2018)
Related Software: Haskell; SCIFF; ACORDA; HYPROLOG; SWI-Prolog; XSB; …
Main Fields: Computer science (68-XX)

iFEST

Software Authors:   Artemis project
Referenced in: 3 Publications (2016–2022)
Related Software: Simulink; DiVinE; StateFlow; NuSMV; Zelus; Ptolemy; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

iSAT

Software Authors:   K. Scheibler, S. Kupferschmid, B. Becker
Referenced in: 4 Publications (2015–2017)
Related Software: z3; SMT-RAT; MathSAT5; CVC4; MiniSat; OpenSMT; …
Main Fields: Computer science (68-XX)

PEARL

Software Authors:   Gumzej, Roman; Lu, Shourong
Referenced in: 4 Publications (1982–2007)
Related Software: SPNP; Ada95
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

SynchAADL2Maude

Software Authors:   Bae, K., Ölveczky, P.C., Meseguer, J., Al-Nayeem, A.
Referenced in: 2 Publications (2015)
Related Software: Maude; Uppaal; AADL; dReal; Quicksort; Dist-Orc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Unbound

Software Authors:   Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim
Referenced in: 4 Publications (2011–2019)
Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; LNgen; Beluga; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DREAM Tool

Software Authors:   Gabor Madl
Referenced in: 2 Publications (2006–2013)
Related Software: HyTech; IF-2.0; Kronos; Ptolemy; REDLIB; Synthia; …
Main Fields: Computer science (68-XX)

GaniFA

Software Authors:   Stephan Diehl, Andreas Kerren, and Torsten Weller
Referenced in: 3 Publications (2001–2007)
Related Software: Tango; EPOSee; XRadar; CVSscan; Vizz3D; WinCVS; …
Main Fields: Computer science (68-XX)

HyDI

Software Authors:   Cimatti A, Mover S, Tonetta S
Referenced in: 3 Publications (2013–2015)
Related Software: SpaceEx; MathSAT; HySAT; HyCreate; HYST; Charon; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

JCSP

Software Authors:   Welch, P. H.; Aldous, J. R.; Foster, J.
Referenced in: 1 Publication (2002)
Related Software: Circus; Z; KRoC
Main Fields: Computer science (68-XX)

JEOPS

Software Authors:   Santos da Figueira Filho, Carlos; Lisboa Ramalho, Geber
Referenced in: 3 Publications (2000–2008)
Related Software: Jess; JBoss; Drools
Main Fields: Computer science (68-XX)

MaRTE OS

Software Authors:   Rivas, Mario Aldea; Harbour, Michael González
Referenced in: 1 Publication (2001)
Related Software: TrueTime; Ptolemy; Torsche; Ada95
Main Fields: Computer science (68-XX)

ReachLab

Software Authors:   Dubey, A.; Wu, X.; Su, H.; Koo, T.J.
Referenced in: 3 Publications (2005–2006)
Related Software: Uppaal; d/dt; ToolboxLS
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

sitar

Software Authors:   Deshmukh, Jyotirmoy; Jin, Xiaoqing; Kapinski, James; Maler, Oded
Referenced in: 3 Publications (2015–2021)
Related Software: Breach; S-TaLiRo; AdaptiveStressTesting.jl; Flow*; SpaceEx; Reluplex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SWILL

Software Authors:   Sotiria Lampoudi; David M. Beazley
Referenced in: 1 Publication (2010)
Related Software: CScout; SQLite; Hibernate; pico ql; ScalaQL; Dremel; …
Main Fields: Computer science (68-XX)

TS#

Software Authors:   Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin
Referenced in: 2 Publications (2014–2017)
Related Software: JavaScript; ProVerif; K Prover; Links; SeLINQ; JSLINQ; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

anNET

Software Authors:   Nicola Zamboni, Anne Kümmel, Matthias Heinemann
Referenced in: 1 Publication (2011)
Related Software: expa; COBRA Toolbox; Bio-SPICE; Metatool; Celldesigner; LINDO; …
Main Fields: Numerical analysis (65-XX); Classical thermodynamics, heat transfer (80-XX)

CGMurphi

Software Authors:   Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico
Referenced in: 2 Publications (2013–2021)
Related Software: UPPAAL TIGA
Main Fields: Systems theory; control (93-XX)

DesertFD

Software Authors:   Eames, Brandon K.; Neema, Sandeep K.; Saraswat, Rohit
Referenced in: 0 Publications
Related Software: Tabu search; SICStus; FaMa; Metropolis; JaCoP; Mozart; …
Main Fields: Computer science (68-XX)

EFSMT

Software Authors:   Cheng CH, Shankar N, Ruess H, Bensalem S
Referenced in: 2 Publications (2016–2019)
Related Software: z3; Yices; OptiMathSAT; vZ; raSAT; CalCS; …
Main Fields: Computer science (68-XX)

ESPADON

Software Authors:   Madahar, Bob K.; Alston, Ian D.; Aulagnier, Denis; Schurer, Hans; Thomas, Mark; Saget, Brigitte
Referenced in: 2 Publications (2003–2006)
Related Software: Xilinx
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

FM-Track

Software Authors:   Lejeune E., Khang A., Sansom J., Sacks M.S.
Referenced in: 0 Publications
Related Software: py-earth; PyVista; Matplotlib; scikit-image; Scikit; TrackMate; …
Main Fields:

FUGEN

Software Authors:   Sangwan, K.S., Kodali, R.
Referenced in: 2 Publications (2010–2014)
Related Software: LINGO
Main Fields: Operations research, mathematical programming (90-XX)

GCNv2

Software Authors:   Tang J., Ericson L., Folkesson J., Jensfelt P.
Referenced in: 2 Publications (2020)
Related Software: PRMLT; Fizzy; Lingvo; Kpax3; pyGCluster; GmmFlow.jl; …
Main Fields: Computer science (68-XX)

Green

Software Authors:   W. Baek, T. M. Chilimbi
Referenced in: 2 Publications (2018–2019)
Related Software: Multicube Explorer; SiblingRivalry; SAGE; ADAPT; Paraprox; ATF; …
Main Fields: Computer science (68-XX)

LAMA

Software Authors:   Fraunhofer SCAI; Thomas Brandes, Eric Schricker, Thomas Soddemann
Referenced in: 2 Publications (2013–2017)
Related Software: GDAL; FastDTW; ms2; Simit; PUMA; MpCCI CouplingEnvironment; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX)

LyraNET

Software Authors:   Chiang, Mei-Ling; Li, Yun-Chen
Referenced in: 1 Publication (2006)
Related Software:
Main Fields: Computer science (68-XX)

MaxTract

Software Authors:   Baker, Josef B.; Sexton, Alan P.; Sorge, Volker
Referenced in: 2 Publications (2012–2019)
Related Software: HyPlag; LaTeX; OCGtools; Mathematica; Maple
Main Fields: Computer science (68-XX)

mbeddr

Software Authors:   Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb
Referenced in: 1 Publication (2017)
Related Software: Cyclone; Hume; Cedalion; JastAdd; Feldspar; js_of_ocaml; …
Main Fields: Computer science (68-XX)

METROPOLIS

Software Authors:   Gössler, Gregor; Sangiovanni-Vincentelli, Alberto
Referenced in: 2 Publications (2002–2018)
Related Software: Ptolemy; PROMETHEUS
Main Fields: Computer science (68-XX)

OpEn

Software Authors:   Pantelis Sopasakis, Emil Fresk, Panagiotis Patrinos
Referenced in: 2 Publications (2022)
Related Software: GitHub; Alpaqa; ProximalAlgorithms.jl; ALGENCAN; Matlab; PANOC; …
Main Fields: (04-XX); Numerical analysis (65-XX); Computer science (68-XX)

PDQ

Software Authors:   Gunther, Neil J.
Referenced in: 2 Publications (2005–2016)
Related Software: PERL
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PHAST

Software Authors:   Parkhurst, D.L., Kipp, K.L., Charlton, S.R
Referenced in: 2 Publications (2010–2015)
Related Software: HYTEC; MIN3P; HBGC123D; MT3DMS; GEMSelektor; PHREEQE; …
Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX)