Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
S.M. Burns
Observed names:
S. Burns,
Steve Burns
Institution:
University of Washington
Observed institutions:
Intel (United States),
University of Washington
OpenAlex ID:
A5048693308
Model checking large software specifications
1996
·
Richard J. Anderson
, Paul Beame
, et al.
·
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
·
307
PDF
Model checking large software specifications
1998
·
W. Chan
, R.J. Anderson
, et al.
·
IEEE Transactions on Software Engineering
·
204
An algorithm for exact bounds on the time separation of events in concurrent systems
1995
·
H. Hulgaard
, S.M. Burns
, et al.
·
IEEE Transactions on Computers
·
114
An algorithm for exact bounds on the time separation of events in concurrent systems
2002
·
T. Amon
, H. Hulgaard
, et al.
·
IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD)
·
43
Model checking large software specifications
1996
·
Richard J. Anderson
, Paul Beame
, et al.
·
ACM SIGSOFT Software Engineering Notes
·
23
Practical applications of an efficient time separation of events algorithm
2002
·
H. Hulgaard
, S.M. Burns
, et al.
·
International Conference on Computer Aided Design
·
10
Timing analysis of timed event graphs with bounded delays using algebraic techniques
2002
·
H. Hulgaard
, T. Amon
, et al.
·
IEEE Conference on Decision and Control (CDC)
·
4
Show more works
View as search
Works count:
9
Citation count:
705
H-index:
6
I10-index:
6
Year
Topic
Type
