BibSonomy :: author  ::

bookmarks

publications

(70)

• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• Automatic Fault Tree Derivation from Little-JIL Process Definitions.
  Bin Chen and George S. Avrunin and Lori A. Clarke and Leon J. Osterweil SPW/ProSim 150-158 (2006)
  to dblp by dblp on 2007-01-03 00:00:00
  | URL | BibTeX  
• Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.
  Jamieson M. Cobleigh and George S. Avrunin and Lori A. Clarke ISSTA 97-108 (2006)
  to dblp by dblp on 2006-12-06 00:00:00
  | URL | BibTeX  
• Using model checking with symbolic execution to verify parallel numerical programs.
  Stephen F. Siegel and Anastasia Mironova and George S. Avrunin and Lori A. Clarke ISSTA 157-168 (2006)
  to dblp by dblp on 2006-12-06 00:00:00
  | URL | BibTeX