Automated analysis of concurrent systems with the constrained expression toolset von Avrunin, G.S., Buy, U.A., Corbett, J.C., Dillon, L.K., Wileden, J.C.

Volltext

Inference graphs: a computational structure supporting generation of customizable and correct analysis components von Dillon, L.K., Stirewalt, R.E.K.

Volltext

Reliability of pasco MIC system for use in detection of resistant Streptococcus pneumoniae von Dillon, L K

Volltext

Using symbolic execution for verification of Ada tasking programs von Dillon, Laura K.

Volltext

Verifying general safety properties of Ada tasking programs von Dillon, L.K.

Volltext

Automated derivation of time bounds in uniprocessor concurrent systems von Avrunin, G.S., Corbett, J.C., Dillon, L.K., Wileden, J.C.

Volltext

A component-based approach to building formal analysis tools von Stirewalt, R.E., Dillon, L.K.

Volltext

An isolation approach to symbolic execution-based verification of Ada tasking programs von Dillon, Laura K.

Volltext

Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems von Avrunin, G. S., Dillon, L. K., Wileden, J. C., Riddle, W. E.

Volltext

Early detection of oxacillin-resistant staphylococcal strains with hypertonic broth diluent for microdilution panels von DILLON, L. K, HOWE, S. E

Volltext

A graphical environment for the design of concurrent real-time systems von Moser, L. E., Ramakrishna, Y. S., Kutty, G., Melliar-Smith, P. M., Dillon, L. K.

Volltext

Interval logics and their decision procedures Part II: A real-time interval logic von Ramakrishna, Y

Volltext

A graphical interval logic for specifying concurrent systems von Dillon, L. K., Kutty, G., Moser, L. E., Melliar-Smith, P. M., Ramakrishna, Y. S.

Volltext

A real-time interval logic and its decision procedure von Ramakrishna, Y S, Dillon, L K, Moser, L E, Melliar-Smith, P M, Kutty, G

Volltext

An automata-theoretic decision procedure for Future Interval Logic von Ramakrishna, Y. S., Dillon, L. K., Moser, L. E., Melliar-Smith, P. M., Kutty, G.

Volltext

Analyzing partially-implemented real-time systems von Avrunin, G.S., Corbett, J.C., Dillon, L.K.

Volltext

Graphical specifications for concurrent software systems von Dillon, L. K., Kutty, G., Moser, L. E., Melliar-Smith, P. M., Ramakrishna, Y. S.

Volltext

Age Alterations in Extent and Severity of Experimental Intranasal Infection with Chlamydophila pneumoniae in BALB/c Mice von Little, C. Scott, Bowe, Andrew, Lin, Richard, Litsky, Jason, Fogel, Robert M, Balin, Brian J, Fresa-Dillon, Kerin L

Volltext

Really visual temporal reasoning von Ramakrishna, Y.S., Melliar-Smith, P.M., Moser, L.E., Dillon, L.K., Kutty, G.

Volltext bestellen

A component-oriented model for the design of safe multi-threaded applications von Behrends, Reimer, Stirewalt, R. E. Kurt, Dillon, Laura K.

Volltext