×

Found 73 Software Packages (Results 1–73)

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: