Ada95 Software Authors: Jean Ichbiah Cited in: 274 Publications (1979–2022) Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; ML; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
Esterel Software Authors: Gérard Berry Cited in: 137 Publications (1985–2023) Related Software: SIGNAL; LUSTRE; Uppaal; SPIN; ULM; Simulink; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
PPL Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Cited in: 106 Publications (2002–2023) Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
SIGNAL Software Authors: Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul Cited in: 48 Publications (1987–2018) Related Software: Esterel; LUSTRE; Ptolemy; Polychrony; Simulink; Coq; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
SCADE Software Authors: Berry, Gérard; Esterel Technologies Cited in: 14 Publications (2001–2019) Related Software: Simulink; Esterel; LUSTRE; Matlab; Algorithm 97; MCGP; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
PSync Software Authors: Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien Cited in: 6 Publications (2016–2021) Related Software: Verdi; Ivy; SPIN; ByMC; z3; Distal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BSGP Software Authors: Hou, Q.; Zhou, K.; Guo, B. Cited in: 2 Publications (2011) Related Software: CUDA; BSPlib; hiCUDA; APS; GLift; APS-1; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
TimeSquare Software Authors: Julien DeAntoni, Frédéric Mallet Cited in: 3 Publications (2015–2016) Related Software: Esterel; Uppaal; SIGNAL; GenCCSL; CCSL Main Fields: Computer science (68-XX)
CHR.js Software Authors: Falco Nogatz; Thom Frühwirth; Dietmar Seipel Cited in: 2 Publications (2020) Related Software: FACTORIE; PAKCS; Church; FlatCurry; EasyCheck; KiCS2; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Wysteria Software Authors: Rastogi, A., Hammer, M.A., Hicks, M. Cited in: 3 Publications (2016–2022) Related Software: Sharemind; EasyUC; HyCC; JIFF; Links; Hop; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)
GRL Software Authors: Jebali F, Lang F, Mateescu R Cited in: 1 Publication (2016) Related Software: AADL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; … Main Fields: Computer science (68-XX)
ooMILP Software Authors: Tsiakis, Panagiotis; Keeping, Benjamin Cited in: 1 Publication (2006) Related Software: – Main Fields: Operations research, mathematical programming (90-XX)