IF-2.0 Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Referenced in: 37 Publications (2002–2017) Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
Alcoa Software Authors: Jackson, D.; Schechter, I.; Shlyakhter, I. Referenced in: 20 Publications (2000–2021) Related Software: Alloy; SPIN; Chaff; Z; TestEra; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
E-LOTOS Software Authors: Clark, Robert; Moreira, Ana Referenced in: 23 Publications (1998–2016) Related Software: CADP; SPIN; LOTOS; CAESAR_SOLVE; Exp.Open; LNT2LOTOS; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
HOL-OCL Software Authors: Brucker, Achim D.; Wolff, Burkhart Referenced in: 13 Publications (2002–2016) Related Software: ATL; KeY; ETPS; Maude; UML2Alloy; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MARTE Software Authors: Object Management Group, Inc. Referenced 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)
TRIPLE Software Authors: Sintek, Michael; Decker, Stefan Referenced in: 16 Publications (2002–2015) Related Software: SPARQL; Smodels; swrl; XSB; DAML+OIL; RuleML; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-XX)
vUML Software Authors: Lilius, J.; Paltor, I. P. Referenced in: 10 Publications (2001–2015) Related Software: SPIN; GROOVE; Bandera; PROGRES; CheckVML; Uppaal; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ArgoUML Software Authors: Tigris.org Referenced in: 3 Publications (2009–2014) Related Software: Alcoa; Alloy; Kronos; Ymer; Daikon; NuSMV; … Main Fields: Computer science (68-XX)
LTSA-WS Software Authors: Magee J, Kramer J, Uchitel S, et al Referenced in: 11 Publications (2006–2021) Related Software: WSAT; NuSMV; Uppaal; LoLA; COWS; ITACA; … Main Fields: Computer science (68-XX)
Fujaba Software Authors: Nickel, U., Niere, J., Zündorf, A. Referenced in: 8 Publications (2001–2012) Related Software: PROGRES; GrGen; Graph transformation benchmarks; CheckVML; SPIN; AGG; … Main Fields: Computer science (68-XX)
SecureUML Software Authors: Lodderstedt, Torsten; Basin, David; Doser, Jürgen Referenced in: 7 Publications (2002–2014) Related Software: Z; SPIN; HOL-OCL; STG; TorX; AGATHA; … Main Fields: Computer science (68-XX)
UML2Alloy Software Authors: Anastasakis, K., Bordbar, B., Georg, G., Ray, I Referenced in: 6 Publications (2008–2015) Related Software: HOL-OCL; ATL; Maude; Kermeta; AGG; z3; … Main Fields: Computer science (68-XX)
VPM Software Authors: Dániel Varró, András Pataricza Referenced in: 4 Publications (2005–2007) Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; … Main Fields: Computer science (68-XX)
AGATHA Software Authors: Bigot, Celine; Faivre, Alain; Gallois, Jean-Pierre; Lapitre, Arnault; Lugato, David; Pierron, Jean-Yves; Rapin, Nicolas Referenced in: 6 Publications (2003–2014) Related Software: Omega; Kronos; STG; GATeL; Z; TorX; … Main Fields: Computer science (68-XX)
TCOZ Software Authors: Dong, Jin Song; Li, Yuan Fang; Sun, Jing; Sun, Jun; Wang, Hai Referenced in: 8 Publications (2002–2018) Related Software: Circus; Eiffel; Z; CSPsim; SCOOP; Ada95; … Main Fields: Computer science (68-XX)
ITP/OCL Software Authors: Clavel, Manuel; Egea, Marina Referenced in: 5 Publications (2011–2016) Related Software: Maude; MOMENT2; CafeOBJ; Java+ITP; K Prover; Dist-Orc; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
fmp Software Authors: Antkiewicz, M., K. Czarnecki; et al. Referenced in: 3 Publications (2008–2010) Related Software: FaMa; fmp2rsm; Woflan; Sat4j; Choco; YAWL; … Main Fields: Computer science (68-XX)
GME Software Authors: Vanderbilt University Referenced in: 2 Publications (2009–2014) Related Software: Python; MetaEdit+; AToM3; GReAT; XASM; ATL; … Main Fields: Statistics (62-XX); Computer science (68-XX)
Tahuti Software Authors: Hammond T, Davis R Referenced in: 4 Publications (2010–2017) Related Software: Tesseract; SketchREAD; CALI; kepler98; OTTER; GeoGebra; … Main Fields: Statistics (62-XX); Computer science (68-XX)
TURTLE-P Software Authors: Apvrille, Ludovic; De Saqui-Sannes, Pierre; Khendek, Ferhat Referenced in: 2 Publications (2003–2006) Related Software: Uppaal; Kronos; TAXYS; TINA; TTool Main Fields: Computer science (68-XX)
Charmy Software Authors: Pelliccione, P.; Inverardi, P.; Muccini, H. Referenced in: 2 Publications (2003–2013) Related Software: SPIN; AUTOSAR; MARTE; SysML; Uppaal Main Fields: Computer science (68-XX)
JaVis Software Authors: Mehner, Katharina Referenced in: 4 Publications (1996–2010) Related Software: JAVAVIS Main Fields: History and biography (01-XX); Number theory (11-XX); Associative rings and algebras (16-XX)
PEARL Software Authors: Gumzej, Roman; Lu, Shourong Referenced in: 4 Publications (1982–2007) Related Software: SPNP; Ada95 Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
TimeSquare Software Authors: Julien DeAntoni, Frédéric Mallet Referenced in: 3 Publications (2015–2016) Related Software: Esterel; Uppaal; SIGNAL; GenCCSL; CCSL Main Fields: Computer science (68-XX)
Vertaf Software Authors: S.-W. Lin, S.-W. Lin, C.-H. Tseng, T.-Y. Lee, J.-M. Fu Referenced in: 2 Publications (2013) Related Software: Cellss; MARTE; Intel TBB; Sycraft; MR4UM; Uppaal; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
dgpf Software Authors: Weise, Thomas; Zapf, Michael; Khan, Mohammad Ullah; Geihs, Kurt Referenced 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)
Dia Software Authors: Larsson, A. Referenced in: 1 Publication (2012) Related Software: JGraph; fca.sty; ConExp; Galicia; ToscanaJ; WinFIG; … Main Fields: Statistics (62-XX)
PGWFT Software Authors: Cao, H., Jin, H., Wu, S., and Tao, Y. Referenced in: 2 Publications (2010–2012) Related Software: TAO; GeoNames Main Fields: Computer science (68-XX)
UMLsec Software Authors: Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S Referenced in: 1 Publication (2018) Related Software: Bouncy Castle; MJ; JavaSPI; AGVI; MARTE; HERBY; … Main Fields: Computer science (68-XX)
CD2Alloy Software Authors: Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe Referenced in: 1 Publication (2018) Related Software: WhyLine; VERMEER; Whispec; Bordeaux; cddiff; CompoSAT; … Main Fields: Computer science (68-XX)
fmp2rsm Software Authors: Czarnecki, K., Antkiewicz, M., Kim, C. H. P., Lau, S., Pietroszek, K. Referenced in: 1 Publication (2018) Related Software: Clafer; FAT; MTBDD; JFLAP; VATA; fmp Main Fields: Computer science (68-XX)
HYDRA Software Authors: Alor-Hernandez, Giner; Aguilar-Lasserre, Alberto; Juarez-Martinez, Ulises; Posada-Gomez, Ruben; Cortes-Robles, Guillermo; Garcia-Martinez, Mario Alberto; Gomez-Berbis, Juan Miguel; Rodriguez-Gonzalez, Alejandro Referenced in: 1 Publication (2016) Related Software: Spalart-Allmaras; Trilinos; PETSc; hypre Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
Kieker Software Authors: Rohr, Matthias; van Hoorn, André; Matevska, Jasminka; Sommer, Nils; Stoever, Lena; Giesecke, Simon; Hasselbring, Wilhelm Referenced in: 1 Publication (2008) Related Software: SynchroVis; ExplorViz; Graphviz; Shimba Main Fields: Computer science (68-XX)
Melanee Software Authors: Arne Lange, Colin Atkinson; Gerbig, R. et al. Referenced in: 2 Publications (2019–2021) Related Software: Melange; Ann; MetaDepth; FAMILIAR; Neverlang; MontiCore; … Main Fields: Computer science (68-XX)
MR4UM Software Authors: Chen, Jingshu; Kulkarni, Sandeep Referenced in: 2 Publications (2013–2019) Related Software: Vertaf; Sycraft; Uppaal; SPIN Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ObjectCheck Software Authors: Xie, Fei; Levin, Vladimir; Browne, James C. Referenced in: 1 Publication (2002) Related Software: TLPVS; Uppaal; PVS; SPIN; IF-2.0; Kronos Main Fields: Computer science (68-XX)
OpenMADS Software Authors: Andrade, Ermeson C.; Alves, Marcelo; Matos, Rubens; Silva, Bruno; Maciel, Paulo Referenced in: 1 Publication (2017) Related Software: – Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
REMM Software Authors: Moscato, Francesco; Venticinque, Salvatore; Aversa, Rocco; Di Martino, Beniamino Referenced in: 2 Publications (2008–2021) Related Software: Rodin; Jadex Main Fields: Computer science (68-XX)
Rhapsody Software Authors: IBM Referenced in: 2 Publications (2012–2013) Related Software: SysML; Modelica; Simulink; CBMC; RuleBasePE; VIATRA2 Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
SOCLE Software Authors: Mullins, John; Oarga, Raveca Referenced in: 2 Publications (2007–2021) Related Software: K Prover; K tool; KeY; vUML; SPIN Main Fields: Computer science (68-XX)
SUMLOW Software Authors: Qi Chen; John Grundy; John Hosking Referenced in: 1 Publication (2014) Related Software: PixLabeler; TRUEVIZ; Gamera; TableSeer; NoDoSE; SketchREAD; … Main Fields: Computer science (68-XX)
TASS Software Authors: Pan, Minxue; Bu, Lei; Li, Xuandong Referenced in: 1 Publication (2013) Related Software: HyDI; MathSAT; NuSMV; HyTech; HySAT Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
UMLtoCSP Software Authors: J. Cabot; R. Clariso; D. Riera Referenced in: 0 Publications Related Software: HOL-OCL; ArgoUML; Maude; ATL; KeY; UML2Alloy Main Fields: –
UniMod Software Authors: Gurov, V.S.; Mazin, M.A.; Narvsky, A.S.; Shalyto, A.A. Referenced in: 2 Publications (2007–2016) Related Software: SWITCH Main Fields: Computer science (68-XX)
VDMTools Software Authors: J Fitzgerald, PG Larsen, S Sahara Referenced in: 1 Publication (2017) Related Software: Overture Tool; GROOVE; Pict; COWS; Maude; AGG; … Main Fields: Computer science (68-XX)
ADML Software Authors: Pérez, Jennifer; Carsí, José A.; Ramos, Isidro Referenced in: 1 Publication (2002) Related Software: OASIS Main Fields: Computer science (68-XX)
ArgoSPE Software Authors: G\'omez-Mart{\'\i}nez, Elena; Merseguer, Jos\'e Referenced in: 0 Publications Related Software: – Main Fields: –
CoCoSUM Software Authors: Yanlin Wang, Ensheng Shi, Lun Du, Xiaodi Yang, Yuxuan Hu, Shi Han, Hongyu Zhang, Dongmei Zhang Referenced in: 0 Publications Related Software: StaQC; GraphCodeBERT; Devign; MISIM; Bugram; GLUE; … Main Fields: –
Dia2Code Software Authors: Javier O'Hara Referenced in: 0 Publications Related Software: SciPy; F2PY; Dia; Cython; Python; PyGraWC Main Fields: –
Flowgen Software Authors: David A. Kosower, J.J. Lopez-Villarejo Referenced in: 0 Publications Related Software: – Main Fields: –
FSMC+ Software Authors: Tiella R, Villaflorita A, Tomasi S. Referenced in: 1 Publication (2012) Related Software: SPIN Main Fields: Computer science (68-XX)
GenCCSL Software Authors: Mallet, Frédéric; Zholtkevych, Grygoriy Referenced in: 1 Publication (2015) Related Software: TimeSquare; CCSL Main Fields: Computer science (68-XX)
GROWTH06 Software Authors: Daniluk, Andrzej Referenced in: 1 Publication (2009) Related Software: GROWTHgr Main Fields: Computer science (68-XX); Quantum theory (81-XX)
GROWTHgr Software Authors: Daniluk, Andrzej Referenced in: 1 Publication (2009) Related Software: GROWTH06 Main Fields: Computer science (68-XX); Quantum theory (81-XX)
Jamda Software Authors: Paul Boocock Referenced in: 1 Publication (2010) Related Software: Classroom Scheduler; AGG; AspectJ Main Fields: Computer science (68-XX)
Meta Model Isabelle Software Authors: Frédéric Tuong; Burkhart Wolff Referenced in: 1 Publication (2016) Related Software: Density Compiler; Archive Formal Proofs; Applicative Lifting; Stern-Brocot Tree; Lifting; Transfer; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
ODV Software Authors: V. Ermolayev, A. Copylov, N. Keberle, E. Jentzsch, W.-E . Matzke Referenced in: 1 Publication (2015) Related Software: OIM Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
OFBiz Neogia Software Authors: – Referenced in: 1 Publication (2012) Related Software: PSPLIB Main Fields: Operations research, mathematical programming (90-XX)
Papyrus Software Authors: Gerard S. Referenced in: 1 Publication (2016) Related Software: MARTE; PAT; Uppaal; SPIN; TINA; Romeo Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
pychoacoustics Software Authors: Carcagno, S. Referenced in: 0 Publications Related Software: pysofaconventions; SOFA; brian2hears; PsychoPy; LibROSA; NumPy; … Main Fields: –
Skeblle Software Authors: Sunkara, Vinodh Kumar; Sane, Aamod Referenced in: 0 Publications Related Software: TikZ; Matplotlib; JSXGraph; Graphviz; GrGen Main Fields: Computer science (68-XX)
TAO_XML_T Software Authors: Maresca, Paolo; Guercio, Angela; Arndt, Tim; Donadio, Pasquale Referenced in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
ThingML Software Authors: N. Harrand, F. Fleurey, B. Morin, K.E. Husa Referenced in: 0 Publications Related Software: KNIME; Infer.NET; Scikit; TensorFlow; Keras; Python; … Main Fields: –
TTool Software Authors: Institut Eurecom Referenced in: 0 Publications Related Software: TURTLE-P Main Fields: –
UNICASE Software Authors: Software Engineering Heidelberg, Institute for Computer Science, University of Heidelberg Referenced in: 1 Publication (2014) Related Software: UNICASE Trace Client Main Fields: Computer science (68-XX)
VERIMAG IFx Software Authors: IRIT, VERIMAG Referenced in: 1 Publication (2011) Related Software: Graphviz Main Fields: Computer science (68-XX)
Vooduu Software Authors: Diethers, Karsten; Huhn, Michaela Referenced in: 1 Publication (2004) Related Software: Uppaal Main Fields: Computer science (68-XX)
CIM++ Software Authors: L. Razik, M. Mirz, D. Knibbe, S. Lankes, A. Monti Referenced in: 0 Publications Related Software: – Main Fields: –
DYANA Software Authors: V. A. Antonenko, E. V. Chemeritskiy, A. B. Glonina, et al. Referenced in: 0 Publications Related Software: – Main Fields: –
Papyrus-RT Software Authors: Sahu, Sneha; Schorr, Ruth; Medina-Bulo, Inmaculada; Wagner, Matthias Referenced in: 0 Publications Related Software: – Main Fields: –
QuickUML Software Authors: Carl Alphonce; Phil Ventura Referenced in: 0 Publications Related Software: – Main Fields: –
VeTIS Software Authors: Lina Nemuraite, Tomas Skersys, Algirdas Sukys, Edvinas Sinkevicius, Linas Ablonskis Referenced in: 0 Publications Related Software: – Main Fields: –
VisualOCL Software Authors: C. Kiesner, G. Taentzer, J. Winkelmann Referenced in: 0 Publications Related Software: – Main Fields: –