Sean Seefried - Concepedia

Author

Sean Seefried

Also Known As

S. Seefried, Sean Seefried

Publications

307

Citations

H-Index

Concepts

All Affiliations

Sean Seefried is an author at UNSW Sydney specializing in formal methods, computer science, and software analysis.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	242
2	Computer Science	4	4	242
3	Computer Engineering	3	3	40
4	Systems Engineering	1	1	12
5	Compilers	1	1	18

Sean Seefried

Publications

242

Citations

H-Index

Page 1

	Year	Citations
seL4: From General Purpose to a Proof of Information Flow Enforcement Toby Murray, Daniel Matichuk, Matthew Brassil, EngineeringInformation SecurityVerificationCryptographic ProtocolSoftware Analysis	2013	202
Plugging Haskell in André Pang, Don Stewart, Sean Seefried, EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationDynamic Loading	2004	18
Some Assembly Required - Program Analysis of Embedded System Code Ansgar Fehnker, Ralf Huuck, Felix Rauch, Program CheckingEngineeringCompiler TechnologySystem ProgrammingVerification	2008	12
Fade to Grey: Tuning Static Program Analysis Ansgar Fehnker, Ralf Huuck, Sean Seefried, Electronic Notes in Theoretical Computer Science Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code Analysis	2010	10

Page 1