Concepedia

S.M. Burns

SB

6

Publications

697

Citations

6

H-Index

1995

Active since

Affiliations

University of Washington(Current)

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

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSystems EngineeringFormal VerificationComputer EngineeringVerificationSoftware DesignSystem Software

Publications per year

1995–2002

6

Publications

6

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 308 citations · Full text

Software Maintenance, Engineering, Verification +20

Model checking large software specifications

W. K. Chan, Richard Anderson, Paul Beame et al. · IEEE Transactions on Software Engineering · 1998 · 197 citations

Software Maintenance, Engineering, Verification +19

An algorithm for exact bounds on the time separation of events in concurrent systems

Henrik Hulgaard, S.M. Burns, Tod Tracy Amon et al. · IEEE Transactions on Computers · 1995 · 116 citations

Mathematical Programming, Engineering, Computational Complexity +26

An algorithm for exact bounds on the time separation of events in concurrent systems

Tod Tracy Amon, Henrik Hulgaard, S.M. Burns et al. · 2002 · 43 citations

Mathematical Programming, Engineering, Computational Complexity +24

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · ACM SIGSOFT Software Engineering Notes · 1996 · 23 citations

Software Maintenance, Engineering, Verification +20

Rows per page

1–5 of 6