1993 |
12 | | S. J. Ignace,
Robert L. Sedlmeyer,
David J. Thuente:
Integrating Rate-Monotonic Analysis into Real-Time Software Development.
Diffusion, Transfer and Implementation of Information Technology 1993: 257-274 |
11 | EE | William G. Frederick,
Robert L. Sedlmeyer,
Curt M. White:
The Hamming Metric in Genetic Algorithms and Its Application to Two Network Problems.
SAC 1993: 126-130 |
1990 |
10 | EE | David J. Thuente,
Robert L. Sedlmeyer:
A macro preprocessor for the simulation language network II.5.
Annual Simulation Symposium 1990: 5-13 |
1987 |
9 | EE | Robert L. Sedlmeyer,
Marc J. Lipman:
Property computation in Grapple (abstract only).
ACM Conference on Computer Science 1987: 366 |
8 | EE | Marc J. Lipman,
Robert L. Sedlmeyer:
Knowledge and reasoning in graph theory research (abstract only).
ACM Conference on Computer Science 1987: 415 |
1986 |
7 | EE | Marc J. Lipman,
Robert L. Sedlmeyer:
Developments in an expert system for graph theory investigation.
ACM Conference on Computer Science 1986: 327-330 |
6 | | Joseph K. Kearney,
Robert L. Sedlmeyer,
William B. Thompson,
Michael A. Gray,
Michael A. Adler:
Software Complexity Measurement.
Commun. ACM 29(11): 1044-1050 (1986) |
1985 |
5 | EE | Robert L. Sedlmeyer,
Joseph K. Kearney,
William B. Thompson,
Michael A. Adler,
Michael A. Gray:
Problems with software complexity measurement.
ACM Conference on Computer Science 1985: 340-347 |
4 | EE | Robert L. Sedlmeyer,
Marc J. Lipman:
Computer-aided investigation in graph theory (abstract only).
ACM Conference on Computer Science 1985: 418 |
1983 |
3 | | Robert L. Sedlmeyer,
William B. Thompson,
Paul E. Johnson:
Diagnostic Reasoning in Software Fault Localization.
IJCAI 1983: 29-31 |
2 | EE | Robert L. Sedlmeyer,
William B. Thompson,
Paul E. Johnson:
Knowledge-based fault localization in debugging.
Journal of Systems and Software 3(4): 301-307 (1983) |
1981 |
1 | EE | G. Michael Schneider,
Robert L. Sedlmeyer,
Joe Kearney:
On the complexity of measuring software complexity.
AFIPS National Computer Conference 1981: 317-322 |