×

Found 6 Software Packages (Results 1–6)

ARock

Software Authors:   Peng, Zhimin; Xu, Yangyang; Yan, Ming; Yin, Wotao
Cited in: 33 Publications (2016–2022)
Related Software: HOGWILD; iPiano; Saga; Finito; JuMP; Julia; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Polychrony

Software Authors:   INRIA; Talpin, J.-P., Le Guernic, P., Shukla, S.K., Gupta, R.K., Doucet, F.
Cited in: 11 Publications (2004–2016)
Related Software: Esterel; Ptolemy; SIGNAL; UNITY; AADL; LNT2LOTOS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AsySPA

Software Authors:   Zhang, Jiaqi; You, Keyou
Cited in: 5 Publications (2020–2022)
Related Software: UCI-ml; DiSCO; IMPALA; Saga; ARock
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PSync

Software Authors:   Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
Cited in: 5 Publications (2016–2021)
Related Software: Verdi; SPIN; ByMC; z3; Distal; Horus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AADL

Software Authors:   Kyungmin Bae, Peter Ölveczky, José Meseguer
Cited in: 3 Publications (2012–2016)
Related Software: LNT2LOTOS; Esterel; GRL; Polychrony; CADP; SPIN; …
Main Fields: Computer science (68-XX)

Timed Rebeca

Software Authors:   Khamespanah, E., Sirjani, M., Sabahi-Kaviani, Z., Khosravi, R., Izadi, M.
Cited in: 3 Publications (2016–2020)
Related Software: Rebeca; Uppaal; SPIN; HOL/SPIN
Main Fields: Computer science (68-XX)