S.M. Burns

University of Washington — United States

Computer Science · Physical Sciences

6h-index701citations7works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(7), Software Testing and Debugging Techniques(3), Embedded Systems Design Techniques(3), Software Reliability and Analysis Research(3), Real-Time Systems Scheduling(2)

Publications7 total

An algorithm for exact bounds on the time separation of events in concurrent systems
2002· 43 cited
Practical applications of an efficient time separation of events algorithm
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)·2002· 10 cited
Timing analysis of timed event graphs with bounded delays using algebraic techniques
2002· 4 cited
Model checking large software specifications
IEEE Transactions on Software Engineering·1998· 197 cited
Model checking large software specifications
1996· 308 citedOpen Access
Model checking large software specifications
ACM SIGSOFT Software Engineering Notes·1996· 23 cited
An algorithm for exact bounds on the time separation of events in concurrent systems
IEEE Transactions on Computers·1995· 116 cited

Frequent Co-authors

Henrik Hulgaard(4), Tod Tracy Amon(4), G. Borriello(4), Richard Anderson(3), Paul Beame(3), Francesmary Modugno(3), David Notkin(3), J.D. Reese(3), William Chan(2), W. K. Chan(1)