Patterns in property specifications for finite-state verification von Dwyer, Matthew B., Avrunin, George S., Corbett, James C.

Volltext

Data flow analysis for checking properties of concurrent Java programs von Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.

Volltext

Improving the precision of INCA by eliminating solutions with spurious cycles von Siegel, S.F., Avrunin, G.S.

Volltext

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

Volltext

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

Heuristic-based model refinement for FLAVERS von Tan, J., Avrunin, G.S., Clarke, L.A.

Volltext

Analyzing partially-implemented real-time systems von Avrunin, George S., Corbett, James C., Dillon, Laura 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

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

Integer programming in the analysis of concurrent systems von Avrunin, George S., Buy, Ugo A., Corbett, James C.

Volltext

PROPEL: an approach supporting property elucidation von Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.

Volltext bestellen

Toward automating analysis support for developers of distributed software von Wileden, J.C., Avrunin, G.S.

Volltext bestellen