×

Found 12 Software Packages (Results 1–12)

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)