]> BibSonomy publications for /author/Avrunin http://www.bibsonomy.org/burst/author/Avrunin BibSonomy BuRST Feed for /author/Avrunin 2008-10-08T10:59:27+02:00 Plug-and-Play Architectural Design and Verification. dblphttp://www.bibsonomy.org/bibtex/21fdb70f2a68f03658556d6bd72bfac97/dblp dblp 2008-09-03T00:00:00+02:00 dblp
Plug-and-Play Architectural Design and Verification.
Shangzhu Wang and George S. Avrunin and Lori A. Clarke WADS 273-297 (2007)
to dblp by dblp on 2008-09-03 00:00:00 ]]> WADSconf/icse/2007wads273-297Lecture Notes in Computer SciencePlug-and-Play Architectural Design and Verification.51352007dblp 2008-09-03 00:00:00.0 Verification support for plug-and-play architectural design. dblphttp://www.bibsonomy.org/bibtex/226239ae337c0687194a715ea32bb8986/dblp dblp 2008-08-14T00:00:00+02:00 dblp
Verification support for plug-and-play architectural design.
Shangzhu Wang and George S. Avrunin and Lori A. Clarke ROSATEA 49-50 (2006)
to dblp by dblp on 2008-08-14 00:00:00 ]]> ROSATEAconf/issta/2006r49-50Verification support for plug-and-play architectural design.2006dblp 2008-08-14 00:00:00.0 Rigorously Defining and Analyzing Medical Processes: An Experience Report. dblphttp://www.bibsonomy.org/bibtex/2afc7f1a06f55a9a564f86b1a5f99e72c/dblp dblp 2008-08-04T00:00:00+02:00 dblp
Rigorously Defining and Analyzing Medical Processes: An Experience Report.
Stefan Christov and Bin Chen and George S. Avrunin and Lori A. Clarke and Leon J. Osterweil and David Brown and Lucinda Cassells and Wilson Mertens MoDELS Workshops 118-131 (2007)
to dblp by dblp on 2008-08-04 00:00:00 ]]> MoDELS Workshopsconf/models/2007w118-131Lecture Notes in Computer ScienceRigorously Defining and Analyzing Medical Processes: An Experience Report.50022007dblp 2008-08-04 00:00:00.0 Using software engineering technology to improve the quality of medical processes. dblphttp://www.bibsonomy.org/bibtex/243a18cd29b150c54a981185d3a602c53/dblp dblp 2008-05-15T00:00:00+02:00 dblp
Using software engineering technology to improve the quality of medical processes.
Lori A. Clarke and George S. Avrunin and Leon J. Osterweil ICSE Companion 889-898 (2008)
to dblp by dblp on 2008-05-15 00:00:00 ]]> ICSE Companionconf/icse/2008c889-898Using software engineering technology to improve the quality of medical processes.2008dblp 2008-05-15 00:00:00.0 Analyzing medical processes. dblphttp://www.bibsonomy.org/bibtex/29ea18fc209fd5e1e5b0e711b91549c60/dblp dblp 2008-05-15T00:00:00+02:00 dblp
Analyzing medical processes.
Bin Chen and George S. Avrunin and Elizabeth A. Henneman and Lori A. Clarke and Leon J. Osterweil and Philip L. Henneman ICSE 623-632 (2008)
to dblp by dblp on 2008-05-15 00:00:00 ]]> ICSEconf/icse/2008623-632Analyzing medical processes.2008dblp 2008-05-15 00:00:00.0 Combining symbolic execution with model checking to verify parallel numerical programs. dblphttp://www.bibsonomy.org/bibtex/26aaca8527e1ac230cacf141c0ebf994e/dblp dblp 2008-05-05T00:00:00+02:00 dblp
Combining symbolic execution with model checking to verify parallel numerical programs.
Stephen F. Siegel and Anastasia Mironova and George S. Avrunin and Lori A. Clarke ACM Trans. Softw. Eng. Methodol. 17 (2008)
to dblp by dblp on 2008-05-05 00:00:00 ]]> ACM Trans. Softw. Eng. Methodol.2Combining symbolic execution with model checking to verify parallel numerical programs.172008dblp 2008-05-05 00:00:00.0 Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. dblphttp://www.bibsonomy.org/bibtex/2d4694dd41abbe0c36d23a18d8fbe07ca/dblp dblp 2008-05-05T00:00:00+02:00 dblp
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
Jamieson M. Cobleigh and George S. Avrunin and Lori A. Clarke ACM Trans. Softw. Eng. Methodol. 17 (2008)
to dblp by dblp on 2008-05-05 00:00:00 ]]> ACM Trans. Softw. Eng. Methodol.2Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.172008dblp 2008-05-05 00:00:00.0 Verification of Halting Properties for MPI Programs Using Nonblocking Operations. dblphttp://www.bibsonomy.org/bibtex/228f06e9ade061abc5e215647da51ba39/dblp dblp 2007-09-19T00:00:00+02:00 dblp
Verification of Halting Properties for MPI Programs Using Nonblocking Operations.
Stephen F. Siegel and George S. Avrunin PVM/MPI 326-334 (2007)
to dblp by dblp on 2007-09-19 00:00:00 ]]> PVM/MPIconf/pvm/2007326-334Lecture Notes in Computer ScienceVerification of Halting Properties for MPI Programs Using Nonblocking Operations.47572007dblp 2007-09-19 00:00:00.0 Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. dblphttp://www.bibsonomy.org/bibtex/2b366eddc8895981daa63e8439bd87bde/dblp dblp 2007-01-26T00:00:00+01:00 dblp
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.
Lori A. Clarke and Yao Chen and George S. Avrunin and Bin Chen and Rachel L. Cobleigh and Kim Frederick and Elizabeth A. Henneman and Leon J. Osterweil ISPW 347-359 (2005)
to dblp by dblp on 2007-01-26 00:00:00 ]]> ISPWconf/ispw/2005347-359Lecture Notes in Computer ScienceProcess Programming to Support Medical Safety: A Case Study on Blood Transfusion.38402005dblp 2007-01-26 00:00:00.0 User guidance for creating precise and accessible property specifications. dblphttp://www.bibsonomy.org/bibtex/2dde0f65fcdf3bec609aac7c01b61cbb4/dblp dblp 2007-01-26T00:00:00+01:00 dblp
User guidance for creating precise and accessible property specifications.
Rachel L. Cobleigh and George S. Avrunin and Lori A. Clarke SIGSOFT FSE 208-218 (2006)
to dblp by dblp on 2007-01-26 00:00:00 ]]> SIGSOFT FSEconf/sigsoft/2006208-218User guidance for creating precise and accessible property specifications.2006dblp 2007-01-26 00:00:00.0