S.M. Burns - Concepedia

Author

S.M. Burns

Also Known As

S. Burns, S.M. Burns, Steve Burns

Publications

701

Citations

H-Index

Concepts

All Affiliations

S.M. Burns is an author at University of Washington specializing in engineering, systems engineering, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	697
2	Computer Science	6	6	697
3	Systems Engineering	6	6	697
4	Computer Engineering	5	5	500
5	Asynchronous Circuits	3	3	169

S.M. Burns

Publications

697

Citations

H-Index

Page 1

	Year	Citations
Model checking large software specifications Richard Anderson, Paul Beame, S.M. Burns, Software MaintenanceEngineeringVerificationSymbolic Model CheckingSoftware Engineering	1996	308
Model checking large software specifications W. K. Chan, Richard Anderson, Paul Beame, IEEE Transactions on Software Engineering Software MaintenanceEngineeringVerificationSymbolic Model CheckingSoftware Engineering	1998	197
An algorithm for exact bounds on the time separation of events in concurrent systems Henrik Hulgaard, S.M. Burns, Tod Tracy Amon, IEEE Transactions on Computers Mathematical ProgrammingEngineeringComputational ComplexitySystem-level DesignConcurrent System	1995	116
An algorithm for exact bounds on the time separation of events in concurrent systems Tod Tracy Amon, Henrik Hulgaard, S.M. Burns, Mathematical ProgrammingEngineeringComputational ComplexityConcurrent SystemHardware Systems	2002	43
Model checking large software specifications Richard Anderson, Paul Beame, S.M. Burns, ACM SIGSOFT Software Engineering Notes Software MaintenanceEngineeringVerificationSymbolic Model CheckingSoftware Engineering	1996	23
Practical applications of an efficient time separation of events algorithm Henrik Hulgaard, S.M. Burns, Tod Tracy Amon, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD) EngineeringComputer ArchitectureEvent CorrelationComputational ComplexityConcurrent System	2002	10

Page 1