×

Found 27 Software Packages (Results 1–27)

JBoss

Cited in 21 Documents (2004–2016)
Software Authors: Red Hat Inc.
Related Software: Drools; AspectJ; WebSphere; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Saner

Cited in 9 Documents (2009–2023)
Software Authors: Balzarotti, D., Cova, M., Felmetsger, V., Jovanovic, N., Kirda, E., Kruegel, C., Vigna, G.
Related Software: Stranger; Norn; z3; …
Main Fields: Computer science (68-XX)

Charlotte

Cited in 4 Documents (2006–2017)
Software Authors: Baratloo A, Karaul M, Kedem Z, Wijckoff P
Related Software: BOINC; XtremWeb; Javelin++; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

DISCOVER

Cited in 4 Documents (2001–2002)
Software Authors: V. Mann , V. Matossian , R. Muralidhar , M. Parashar
Related Software: Globus Toolkit; Triana; Condor-G; …
Main Fields: Computer science (68-XX)

TAJ

Cited in 7 Documents (2013–2021)
Software Authors: Tripp, O., Pistoia, M., Fink, S.J., Sridharan, M., Weisman, O.
Related Software: FlowDroid; Dytan; F4F; …
Main Fields: Computer science (68-XX)

ConfiChair

Cited in 4 Documents (2013–2021)
Software Authors: Arapinis, Myrto; Bursuc, Sergiu; Ryan, Mark
Related Software: ProVerif; CoSMed; FlowFox; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Concordia

Cited in 6 Documents (2001–2006)
Software Authors: David Wong, Noemi Paciorek, Tom Walsh, Joe DiCelie, Mike Young, Bill Peet
Related Software: Aglets; Voyager; MAWS; …
Main Fields: Computer science (68-XX)

Fable

Cited in 6 Documents (2011–2017)
Software Authors: Swamy N, Corcoran BJ, Hicks M
Related Software: F*; Jif; AURA; …
Main Fields: Computer science (68-XX)

Pixy

Cited in 3 Documents (2014–2020)
Software Authors: N. Jovanovic, C. Kruegel, E. Kirda
Related Software: AMNESIA; Dytan; GitHub; …
Main Fields: Computer science (68-XX)

BotGraph

Cited in 2 Documents (2009–2015)
Software Authors: Zhao, Y., Xie, Y., Yu, F., Ke, Q., Yu, Y., Chen, Y., Gillum, E.
Related Software: VisFlowConnect; Rishi; BotMiner; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

F4F

Cited in 3 Documents (2013–2020)
Software Authors: Sridharan, M.; Artzi, S.; Pistoia, M.; Guarnieri, S.; Tripp, O.; Berg, R.
Related Software: TAJ; Dytan; TaintDroid; …
Main Fields: Computer science (68-XX)

KAoS

Cited in 2 Documents (2004)
Software Authors: Uszok, Andrzej; Bradshaw, Jeffrey M.; Jeffers, Renia
Related Software:
Main Fields: Computer science (68-XX)

ConScript

Cited in 2 Documents (2013–2021)
Software Authors: Meyerovich, L.; Livshits, B.
Related Software: AdJail; ADsafety; SessionShield; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

GATEKEEPER

Cited in 1 Document (2013)
Software Authors: S. Guarnieri; B. Livshits
Related Software: JavaScript; ast; Synode; …
Main Fields: Computer science (68-XX)

SessionShield

Cited in 1 Document (2013)
Software Authors: Nikiforakis, N.; Meert, W.; Younan, Y.; Johns, M.; Joosen, W.
Related Software: AdJail; ADsafety; ConScript; …
Main Fields: Computer science (68-XX)

CoCon

Cited in 1 Document (2021)
Software Authors: Popescu, Andrei; Lammich, Peter; Hou, Ping
Related Software: Archive Formal Proofs; CoSMed; FlowFox; …
Main Fields: Computer science (68-XX)

Fides

Cited in 1 Document (2015)
Software Authors: Strackx R, Piessens F
Related Software: TALx86; Sancus; Java Jr
Main Fields: Computer science (68-XX)

IntraBuilder

Cited in 1 Document (1997)
Software Authors: Borland; Lücke, Bernhard Author Profile; Neßler, Bernhard; Schettl, Denis
Related Software:
Main Fields: Computer science (68-XX)

Joe-E

Cited in 0 Documents
Software Authors: Adrian Mettler, David Wagner, Tyler Close
Related Software: Retire.js; ConflictJS; Synode; …
Main Fields:

JSLINQ

Cited in 1 Document (2017)
Software Authors: Balliu, M.; Liebe, B.; Schoepe, D.; Sabelfeld, A.
Related Software: Ur/Web; K Prover; Links; …
Main Fields: Computer science (68-XX)

JTrack

Cited in 0 Documents
Software Authors: Mehran Sahandi Far, Michael Stolz, Jona M. Fischer, Simon B. Eickhoff, Juergen Dukart
Related Software: TemplateFlow; git-annex; Python; …
Main Fields:

LWeb

Cited in 1 Document (2021)
Software Authors: James Parker, Niki Vazou, Michael Hicks
Related Software: Terraform; p4v; Rehearsal; …
Main Fields: Computer science (68-XX)

SAFEWAPI

Cited in 0 Documents
Software Authors: S. Bae, H. Cho, I. Lim, S. Ryu
Related Software: ast; GATEKEEPER; Synode; …
Main Fields:

SAMBA

Cited in 1 Document (2022)
Software Authors: Ciucanu, Radu; Lafourcade, Pascal; Marcadet, Gael; Soare, Marta
Related Software: MovieLens
Main Fields: Computer science (68-XX)

TryLinks

Cited in 0 Documents
Software Authors: Junao Wu, Arek Mikolajczak, James Cheney
Related Software: Pingdom Tools; AngularDart; Links
Main Fields:

W3Bcrypt

Cited in 1 Document (2006)
Software Authors: Stavrou, Angelos; Locasto, Michael E.; Keromytis, Angelos D.
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

Zzuf

Cited in 0 Documents
Software Authors:
Related Software: BFF; Sulley; NVD
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field