PESSOA Software Authors: Roy, Pritam; Tabuada, Paulo; Majumdar, Rupak Cited in: 21 Publications (2011–2022) Related Software: SCOTS; CoSyma; TuLiP; Matlab; 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)
PVeStA Software Authors: AlTurki, M., Meseguer, J Cited in: 13 Publications (2011–2021) Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CORA Software Authors: Matthias Althoff, Niklas Kochdumper Cited in: 15 Publications (2016–2022) Related Software: SpaceEx; HYST; C2e2; HyTech; PHAVer; MPT; … Main Fields: Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
ModelPlex Software Authors: Mitsch, S., Platzer, A. Cited in: 6 Publications (2016–2021) Related Software: Coq; KeYmaera; SpaceEx; KeYmaera X; Bellerophon; dReach; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
RealCertify Software Authors: Victor Magron, Mohab Safey El Din Cited in: 6 Publications (2018–2021) Related Software: SDPA; SeDuMi; multivsos; univsos; RAGlib; Maple; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX)
NNV Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Cited in: 5 Publications (2021–2022) Related Software: Reluplex; VERIFAI; Marabou; MPT; MNIST; NeuralCDE; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
AADL Software Authors: Kyungmin Bae, Peter Ölveczky, José Meseguer Cited in: 3 Publications (2012–2016) Related Software: GRL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; … Main Fields: Computer science (68-XX)
CHOPtrey Software Authors: Ben Khaled-El Feki, A.; Duval, L.; Faure, C.; Simon, D.; Ben Gaid, M. Cited in: 4 Publications (2020–2022) Related Software: FMI; LSODE; SUNDIALS; Adams; Modelica Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
HybridSystemsLab Software Authors: Sanfelice, Ricardo G. Cited in: 4 Publications (2021–2022) Related Software: HyEQ; YALMIP; Matlab Main Fields: Systems theory; control (93-XX)
Plasmo.jl Software Authors: Jordan Jalving, Yankai Cao, Victor M. Zavala Cited in: 3 Publications (2019–2022) Related Software: Modelica; Julia; AMPL; LightGraphs.jl; SnapVX; JuMP; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
SCELlight Software Authors: De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco Cited in: 4 Publications (2014–2020) Related Software: SCEL; SPIN; Linda; KLAIM; Pirlo; MultiVeStA; … Main Fields: Computer science (68-XX)
Sherlock Software Authors: Dutta, Souradeep; Chen, Xin; Jha, Susmit; Sankaranarayanan, Sriram; Tiwari, Ashish Cited in: 4 Publications (2019–2022) Related Software: ReachNN; Reluplex; GAZEBO; Wasserstein GAN; AI2; Marabou; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
SystemModeler Software Authors: Wolfram Cited in: 4 Publications (2016–2021) Related Software: OpenModelica; Mathematica; Sakai; Matlab; CVODES; Modelica; … Main Fields: Dynamical systems and ergodic theory (37-XX); Systems theory; control (93-XX); Mathematics education (97-XX)
CyPhySim Software Authors: Brooks, Christopher; Lee, Edward A.; Lorenzetti, David; Nouidui, Thierry S.; Wetter, Michael Cited in: 3 Publications (2017–2020) Related Software: SpaceEx; Meschach; DyverseRBT; ABsolver; dReach; CalCS; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
DryVR Software Authors: Qi, Bolun; Fan, Chuchu; Jiang, Minghao; Mitra, Sayan Cited in: 3 Publications (2017–2021) Related Software: S-TaLiRo; dReach; AutoMOTGen; Dymola; Uppaal; StateFlow; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Montre Software Authors: Dogan Ulus Cited in: 3 Publications (2017–2021) Related Software: timed-pattern-matching; MonPoly; aerial; GNU parallel; MONAA; Pure; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VeriPhy Software Authors: Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer Cited in: 3 Publications (2018–2021) Related Software: KeYmaera; Coq; Isabelle/HOL; Agda; Idris; Milawa; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Acumen Software Authors: Taha, Duracz, Zeng, Atkinson, Bartha, Brauner, Duracz, Xu, et al. Cited in: 2 Publications (2020–2022) Related Software: DynIbex; Codac; JuliaReach; Flow*; IBEX; ValEncIA-IVP; … Main Fields: Systems theory; control (93-XX)
EFSMT Software Authors: Cheng CH, Shankar N, Ruess H, Bensalem S Cited in: 2 Publications (2016–2019) Related Software: z3; Yices; SMT-RAT; OptiMathSAT; vZ; raSAT; … Main Fields: Computer science (68-XX)
NetSketch Software Authors: Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei; Ocean, Michael J. Cited in: 2 Publications (2010–2012) Related Software: Isabelle; SPIN; scunac; Fortress; Matita; Mizar; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
ROSCoq Software Authors: Anand, Abhishek; Knepper, Ross Cited in: 2 Publications (2015–2018) Related Software: Coq Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
TuSoW Software Authors: Ciatto G., Rizzato L., Omicini A., Mariani S. Cited in: 1 Publication (2021) Related Software: B-Prolog; Ciao; SICStus; SWI-Prolog; XSB; Kotlin; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ApNet Software Authors: Soroush Bateni; Cong Liu Cited in: 1 Publication (2019) Related Software: PredJoule; AUTOSAR; Apollo; Keras; CUBLAS Main Fields: Computer science (68-XX)
CAG Software Authors: Vuckovac, Rade Cited in: 1 Publication (2019) Related Software: eSTREAM; Ent Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
DeepRT Software Authors: Kang, Woochul; Chung, Jaeyong Cited in: 1 Publication (2019) Related Software: AlexNet; GitHub; Model Zoo; TensorRT; ImageNet; Caffe Main Fields: Computer science (68-XX)
DimSim Software Authors: Owre, Sam; Saha, Indranil; Shankar, Natarajan Cited in: 0 Publications Related Software: Simulink Main Fields: Computer science (68-XX)
HELICS Software Authors: HELICS Development Team Cited in: 1 Publication (2020) Related Software: LabVIEW; EPANET; NHDPlus; DMNetwork; Plasmo.jl; HydroGen; … Main Fields: Numerical analysis (65-XX)
MiniCPS Software Authors: Daniele Antonioli, Nils Ole Tippenhauer Cited in: 0 Publications Related Software: OMNet++; pycomm; POX; cpppo Main Fields: –
ML2 Software Authors: Armin Moin, Stephan Rössler, Marouane Sayih, Stephan Günnemann Cited in: 0 Publications Related Software: KNIME; Infer.NET; ThingML; Scikit; TensorFlow; Keras; … Main Fields: –
OpenMETA Software Authors: Sztipanovits, Janos; Bapty, Ted; Neema, Sandeep; Howard, Larry; Jackson, Ethan Cited in: 0 Publications Related Software: OpenModelica; z3 Main Fields: Computer science (68-XX)
PTGTSs Software Authors: Zöllner, Christian; Barkowsky, Matthias; Maximova, Maria; Schneider, Melanie; Giese, Holger Cited in: 1 Publication (2020) Related Software: Henshin; SimSG; PRISM Main Fields: Computer science (68-XX)
SaDNet Software Authors: Osama Mazhar, Sofiane Ramdani, Andrea Cherubini Cited in: 0 Publications Related Software: ChaLearn; OpenPHRI Main Fields: –
SensGru Software Authors: Shahid, Nauman; Naqvi, Ijaz Haider; Bin Qaisar, Saad Cited in: 1 Publication (2014) Related Software: – Main Fields: Information and communication theory, circuits (94-XX)
CQueue Software Authors: Róbert Lovas , Attila Farkas , Attila Csaba Marosi , Sándor Ács, József Kovács, Ádám Szalóki, Botond Kádár Cited in: 0 Publications Related Software: – Main Fields: –
Crescendo Tool Software Authors: Peter Gorm Larsen, Kenneth Lausdahl, Joey Coleman, Sune Wolff, Christian Kleijn, Frank Groen Cited in: 0 Publications Related Software: – Main Fields: –
DistAIX Software Authors: Kolen, Sonja; Dähling, Stefan; Isermann, Timo; Monti, Antonello Cited in: 0 Publications Related Software: – Main Fields: –
DTRON Software Authors: Anier, Aivo; Vain, Jüri; Tsiopoulos, Leonidas Cited in: 0 Publications Related Software: – Main Fields: –
GECO Software Authors: H. Lin, S. S. Veda, S. S. Shukla, L. Mili, J. Thorp Cited in: 0 Publications Related Software: – Main Fields: –