×

Found 73 Software Packages (Results 1–73)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Cited in: 38 Publications (2002–2022)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; TINA; …
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.
Cited 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
Cited 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
Cited 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.
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)

TRIPLE

Software Authors:   Sintek, Michael; Decker, Stefan
Cited 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.
Cited 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
Cited 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
Cited 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.
Cited 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
Cited 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
Cited 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
Cited 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
Cited 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
Cited in: 8 Publications (2002–2018)
Related Software: Circus; Eiffel; Uppaal; Z; CSPsim; SCOOP; …
Main Fields: Computer science (68-XX)

ITP/OCL

Software Authors:   Clavel, Manuel; Egea, Marina
Cited 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.
Cited in: 3 Publications (2008–2010)
Related Software: fmp2rsm; FaMa; Woflan; Sat4j; Choco; YAWL; …
Main Fields: Computer science (68-XX)

GME

Software Authors:   Vanderbilt University
Cited 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
Cited 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
Cited 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.
Cited in: 2 Publications (2003–2013)
Related Software: SPIN; AUTOSAR; MARTE; SysML; Uppaal
Main Fields: Computer science (68-XX)

JaVis

Software Authors:   Mehner, Katharina
Cited 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
Cited 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
Cited 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
Cited in: 2 Publications (2013)
Related Software: Cellss; MARTE; Intel TBB; Uppaal; Sycraft; MR4UM; …
Main Fields: Computer science (68-XX); Systems theory; control (93-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)

Dia

Software Authors:   Larsson, A.
Cited in: 1 Publication (2012)
Related Software: JGraph; fca.sty; ConExp; Galicia; ToscanaJ; WinFIG; …
Main Fields: Statistics (62-XX)

Melanee

Software Authors:   Arne Lange, Colin Atkinson; Gerbig, R. et al.
Cited in: 3 Publications (2019–2021)
Related Software: ATL; Melange; Ann; MetaDepth; FAMILIAR; Neverlang; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

PGWFT

Software Authors:   Cao, H., Jin, H., Wu, S., and Tao, Y.
Cited 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
Cited 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
Cited 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.
Cited 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
Cited 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
Cited in: 1 Publication (2008)
Related Software: SynchroVis; ExplorViz; Graphviz; Shimba
Main Fields: Computer science (68-XX)

MR4UM

Software Authors:   Chen, Jingshu; Kulkarni, Sandeep
Cited in: 2 Publications (2013–2019)
Related Software: Uppaal; Vertaf; Sycraft; SPIN
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

ObjectCheck

Software Authors:   Xie, Fei; Levin, Vladimir; Browne, James C.
Cited 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
Cited 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
Cited in: 2 Publications (2008–2021)
Related Software: Rodin; Jadex
Main Fields: Computer science (68-XX)

Rhapsody

Software Authors:   IBM
Cited 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
Cited 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
Cited in: 1 Publication (2014)
Related Software: IAMonDo; PerfectDoc; PixLabeler; TRUEVIZ; Gamera; TableSeer; …
Main Fields: Computer science (68-XX)

TASS

Software Authors:   Pan, Minxue; Bu, Lei; Li, Xuandong
Cited 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
Cited 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.
Cited in: 2 Publications (2007–2016)
Related Software: SWITCH
Main Fields: Computer science (68-XX)

VDMTools

Software Authors:   J Fitzgerald, PG Larsen, S Sahara
Cited in: 1 Publication (2017)
Related Software: MiniSat; Overture Tool; GROOVE; Pict; COWS; Maude; …
Main Fields: Computer science (68-XX)

ADML

Software Authors:   Pérez, Jennifer; Carsí, José A.; Ramos, Isidro
Cited 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
Cited 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
Cited in: 0 Publications
Related Software: GraphCodeBERT; Devign; MISIM; StaQC; Bugram; GLUE; …
Main Fields:

Dia2Code

Software Authors:   Javier O'Hara
Cited in: 0 Publications
Related Software: SciPy; F2PY; Dia; Cython; Python; PyGraWC
Main Fields:

Flowgen

Software Authors:   David A. Kosower, J.J. Lopez-Villarejo
Cited in: 0 Publications
Related Software:
Main Fields:

FSMC+

Software Authors:   Tiella R, Villaflorita A, Tomasi S.
Cited in: 1 Publication (2012)
Related Software: SPIN
Main Fields: Computer science (68-XX)

GenCCSL

Software Authors:   Mallet, Frédéric; Zholtkevych, Grygoriy
Cited in: 1 Publication (2015)
Related Software: TimeSquare; CCSL
Main Fields: Computer science (68-XX)

GROWTH06

Software Authors:   Daniluk, Andrzej
Cited in: 1 Publication (2009)
Related Software: GROWTHgr
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

GROWTHgr

Software Authors:   Daniluk, Andrzej
Cited in: 1 Publication (2009)
Related Software: GROWTH06
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

Jamda

Software Authors:   Paul Boocock
Cited 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
Cited 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
Cited in: 1 Publication (2015)
Related Software: OIM
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OFBiz Neogia

Software Authors:   –
Cited in: 1 Publication (2012)
Related Software: PSPLIB
Main Fields: Operations research, mathematical programming (90-XX)

Papyrus

Software Authors:   Gerard S.
Cited 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.
Cited in: 0 Publications
Related Software: pysofaconventions; SOFA; brian2hears; PsychoPy; LibROSA; NumPy; …
Main Fields:

Skeblle

Software Authors:   Sunkara, Vinodh Kumar; Sane, Aamod
Cited 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
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

ThingML

Software Authors:   N. Harrand, F. Fleurey, B. Morin, K.E. Husa
Cited in: 0 Publications
Related Software: KNIME; Infer.NET; Scikit; TensorFlow; Keras; Python; …
Main Fields:

TTool

Software Authors:   Institut Eurecom
Cited in: 0 Publications
Related Software: TURTLE-P
Main Fields:

UNICASE

Software Authors:   Software Engineering Heidelberg, Institute for Computer Science, University of Heidelberg
Cited in: 1 Publication (2014)
Related Software: UNICASE Trace Client
Main Fields: Computer science (68-XX)

VERIMAG IFx

Software Authors:   IRIT, VERIMAG
Cited in: 1 Publication (2011)
Related Software: Graphviz
Main Fields: Computer science (68-XX)

Vooduu

Software Authors:   Diethers, Karsten; Huhn, Michaela
Cited 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
Cited in: 0 Publications
Related Software:
Main Fields:

DYANA

Software Authors:   V. A. Antonenko, E. V. Chemeritskiy, A. B. Glonina, et al.
Cited in: 0 Publications
Related Software:
Main Fields:

Papyrus-RT

Software Authors:   Sahu, Sneha; Schorr, Ruth; Medina-Bulo, Inmaculada; Wagner, Matthias
Cited in: 0 Publications
Related Software:
Main Fields:

QuickUML

Software Authors:   Carl Alphonce; Phil Ventura
Cited in: 0 Publications
Related Software:
Main Fields:

VeTIS

Software Authors:   Lina Nemuraite, Tomas Skersys, Algirdas Sukys, Edvinas Sinkevicius, Linas Ablonskis
Cited in: 0 Publications
Related Software:
Main Fields:

VisualOCL

Software Authors:   C. Kiesner, G. Taentzer, J. Winkelmann
Cited in: 0 Publications
Related Software:
Main Fields: