ATL Software Authors: Jouault, Frédéric; Allilaire, Freddy; Bézivin, Jean; Kurtev, Ivan Cited in: 12 Publications (2008–2021) Related Software: HOL-OCL; AGG; Maude; UML2Alloy; Melanee; Henshin; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
MARTE Software Authors: Object Management Group, Inc. Cited 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)
rCOS Software Authors: Liu, Zhiming; Morisset, Charles; Stolz, Volker Cited in: 12 Publications (2007–2016) Related Software: Z; SPIN; Circus; UNITY; ESC/Java; ArchJava; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SecureUML Software Authors: Lodderstedt, Torsten; Basin, David; Doser, Jürgen Cited in: 7 Publications (2002–2014) Related Software: Z; SPIN; HOL-OCL; STG; TorX; AGATHA; … Main Fields: 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; GRL; AADL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MOFLON Software Authors: Amelunxen, C., Königs, A., Rötschke, T., Schürr Cited in: 1 Publication (2006) Related Software: Moflon; PROGRES; AGG; VIATRA2; SelfSync; Ptolemy; … Main Fields: Computer science (68-XX)
dgpf Software Authors: Weise, Thomas; Zapf, Michael; Khan, Mohammad Ullah; Geihs, Kurt Cited in: 3 Publications (2009–2013) Related Software: MSOPS-II; SIGOA; Genocop; CIXL2; pCMALib; MOCell; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
JavaSPI Software Authors: Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo Cited in: 1 Publication (2018) Related Software: MJ; AGVI; Bouncy Castle; UMLsec; Helios; TS#; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
REFINER Software Authors: Wijs, A., Engelen, L. Cited in: 2 Publications (2016–2018) Related Software: Coq; GPU-PRISM; Rodin; CADP; mCRL2; PRISM Main Fields: Computer science (68-XX)
VIDEAS Software Authors: Oetsch, Johannes; Pührer, Jörg; Seidl, Martina; Tompits, Hans; Zwickl, Patrick Cited in: 2 Publications (2016–2019) Related Software: APE; spock; SeaLion; WASP; ASPIDE; Smodels; … Main Fields: Computer science (68-XX)
Frag Software Authors: Zdun U. Cited in: 2 Publications (2004–2006) Related Software: AspectS; CLOS; Jiazzi; REXX; JBoss; Lua; … Main Fields: Computer science (68-XX)
GRoundTram Software Authors: Hidaka, S., Hu, Z., Inaba, K., Kato, H., Nakano, K. Cited in: 2 Publications (2015–2018) Related Software: UnQL Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
DSLit Software Authors: Cosentino, Valerio; Tisi, Massimo; Izquierdo, Javier Luis Cánovas Cited in: 0 Publications Related Software: SugarJ; Xtext Main Fields: Computer science (68-XX)
jABCstats Software Authors: Alexander Wickert; Anna-Lena Lamprecht Cited in: 0 Publications Related Software: – Main Fields: –
PACC starter kit Software Authors: Ivers J, Moreno G Cited in: 1 Publication (2016) Related Software: ArchJava; ProBE; SOFA 2.0; FDR3; FDR2; SysML; … Main Fields: Computer science (68-XX)
ShoveRand Software Authors: Passerat-Palmbach, J., Mazel, C., Bachelet, B., Hill, D.R.C. Cited in: 1 Publication (2014) Related Software: trng; PRAND; GASPRNG; PRNGCL; cuRAND; Diehard; … Main Fields: Numerical analysis (65-XX)
SimSG Software Authors: Ehmes, S., Fritsche, L., Schürr, A. Cited in: 1 Publication (2020) Related Software: Henshin; PTGTSs; PRISM Main Fields: Computer science (68-XX)
Dropsbox Software Authors: Aßmann, U., Bartho, A., Bürger, C., Cech, S., Demuth, B., Heidenreich, F., Johannes, J., Karol, S., Polowinski, J., Reimann, J., Schroeter, J., Seifert, M., Thiele, M., Wende, C., Wilke, C. Cited in: 0 Publications Related Software: – Main Fields: –