Software Authors:   Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.

Cited in:	87 Publications (2009–2022)
Related Software:	Isabelle/HOL; Coq; Isabelle; HOL; kepler98; HOL Light; …
Main Fields:	General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Software Authors:   W.R. Bevier

Cited in:	6 Publications (1993–2017)
Related Software:	veriSoft; Isabelle/HOL; NQTHM; Haskell; PVS; Image Processing Toolbox; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   –

Cited in:	4 Publications (2011–2014)
Related Software:	TrueTime; Giotto; PAPI; Feather-Trace
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Dunlap, G.W., King, S.T., Cinar, S., Basrai, M.A., Chen, P.M.

Cited in:	0 Publications
Related Software:	CloudSec; RSYSLOG; SecVisor; Tuxkit; Amazon EC2; iperf; …
Main Fields:	Computer science (68-XX)

Software Authors:   Erez Zadok, Ion Badulescu, Alex Shender

Cited in:	1 Publication (2006)
Related Software:	SiRiUS; Plutus; Iolus; StegFS; FiST
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Rivas, Mario Aldea; Harbour, Michael González

Cited in:	1 Publication (2001)
Related Software:	TrueTime; Ptolemy; Torsche; Ada95
Main Fields:	Computer science (68-XX)

Software Authors:   Keller, Ralph; Ruf, Lukas; Guindehi, Amir; Plattner, Bernhard

Cited in:	2 Publications (2002)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   dtrace.org

Cited in:	1 Publication (2009)
Related Software:	SICOSYS; Jumpshot; NAS Parallel Benchmarks; MPI/MPICH; FLEXSIM; Elasticsearch; …
Main Fields:	Computer science (68-XX)

Software Authors:   Erez Zadok; Jason Nieh

Cited in:	1 Publication (2010)
Related Software:	IOzone; Horus; Cryptfs
Main Fields:	Computer science (68-XX)

Software Authors:   Gössler, Gregor; Sangiovanni-Vincentelli, Alberto

Cited in:	2 Publications (2002–2018)
Related Software:	Ptolemy; PROMETHEUS
Main Fields:	Computer science (68-XX)

Software Authors:   Ibrahim, A., Hamlyn-Harris, J., Grundy, J., Almorsy, M

Cited in:	0 Publications
Related Software:	ReVirt; RSYSLOG; SecVisor; Tuxkit
Main Fields:	Computer science (68-XX)

Software Authors:   Sjöberg, V., Sang, Y., Weng, S.c., Shao, Z.

Cited in:	1 Publication (2021)
Related Software:	VerX; solc-verify
Main Fields:	Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Strackx R, Piessens F

Cited in:	1 Publication (2015)
Related Software:	TALx86; Sancus; Java Jr
Main Fields:	Computer science (68-XX)

Software Authors:   Götzfried, J., Dörr, N., Palutke, R., Müller, T.

Cited in:	1 Publication (2020)
Related Software:	ARMORED; Salsa20; RamCrypt; MemShield; PixelVault; Cryptkeeper; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Pfaff, B.

Cited in:	1 Publication (2020)
Related Software:	Xv6; seL4; HOL; Isabelle/HOL; ML; Isabelle
Main Fields:	Computer science (68-XX)

Software Authors:   King, C.

Cited in:	1 Publication (2020)
Related Software:	ARMORED; Salsa20; RamCrypt; HyperCrypt; MemShield; PixelVault; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Altreonic NV; Cledou, Guillermina; Proença, José; Sputh, Bernhard H. C.; Verhulst, Eric

Cited in:	1 Publication (2022)
Related Software:	PROMELA; Reo; SPIN
Main Fields:	Computer science (68-XX)

Software Authors:   Lin R.J., Bettencourt J., White J.A., Christini D.J., Butera R.J.

Cited in:	0 Publications
Related Software:	–
Main Fields:	–