|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 94 occurrences of 50 keywords
|
|
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen |
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.  |
SEKE  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lori A. Clarke, Leon J. Osterweil, George S. Avrunin |
Supporting human-intensive systems. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heather M. Conboy, George S. Avrunin, Lori A. Clarke |
Process-based derivation of requirements for medical devices. |
IHI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens |
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. |
IHI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Lori A. Clarke, George S. Avrunin |
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. |
Business Process Management Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
Assume-guarantee reasoning |
| 1 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Combining symbolic execution with model checking to verify parallel numerical programs. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program |
| 1 | Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman |
Analyzing medical processes. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
medical processes, model checking, finite-state verification, property specifications |
| 1 | Lori A. Clarke, George S. Avrunin, Leon J. Osterweil |
Using software engineering technology to improve the quality of medical processes. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
medical processes, process verification, continuous process improvement |
| 1 | Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens |
Rigorously Defining and Analyzing Medical Processes: An Experience Report. |
MoDELS Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
Plug-and-Play Architectural Design and Verification. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman |
Engineering Medical Processes to Improve Their Safety. |
Situational Method Engineering |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, George S. Avrunin |
Verification of Halting Properties for MPI Programs Using Nonblocking Operations. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
assume-guarantee reasoning |
| 1 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Using model checking with symbolic execution to verify parallel numerical programs. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program |
| 1 | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
Verification support for plug-and-play architectural design. |
ROSATEA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
Architectural Building Blocks for Plug-and-Play System Design. |
CBSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
Automatic Fault Tree Derivation from Little-JIL Process Definitions. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianbin Tan, George S. Avrunin, Lori A. Clarke |
Managing space for finite-state verification. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
FLAVERS, ZDD, BDD, finite-state verification, LTSA |
| 1 | Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke |
User guidance for creating precise and accessible property specifications. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
property specifications |
| 1 | Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil |
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, George S. Avrunin |
Modeling wildcard-free MPI programs for verification. |
PPOPP |
2005 |
DBLP DOI BibTeX RDF |
model checking, formal methods, parallel computation, MPI, message passing interface, analysis, deadlock, SPIN, concurrent systems, finite-state verification |
| 1 | George S. Avrunin, Gregg Rothermel (eds.) |
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004 |
ISSTA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stephen F. Siegel, George S. Avrunin |
Verification of MPI-Based Software for Scientific Computation. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianbin Tan, George S. Avrunin, Lori A. Clarke |
Heuristic-Based Model Refinement for FLAVERS. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue |
Heuristic-guided counterexample search in FLAVERS. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
FLAVERS, heuristic search, counterexamples |
| 1 | Stephen F. Siegel, George S. Avrunin |
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
INCA, integer programming, cycles, finite-state verification |
| 1 | Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
PROPEL: an approach supporting property elucidation. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, James C. Corbett, Matthew B. Dwyer |
Benchmarking Finite-State Verifiers. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Model checking, Benchmarking, Empirical evaluation, Finite-state verification |
| 1 | Stephen F. Siegel, George S. Avrunin |
Improving the precision of INCA by preventing spurious cycles. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
INCA, integer programming, cycles, finite-state verification |
| 1 | Gleb Naumovich, George S. Avrunin, Lori A. Clarke |
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, George S. Avrunin, James C. Corbett |
Patterns in Property Specifications for Finite-State Verification. |
ICSE |
1999 |
DBLP BibTeX RDF |
formal specification, patterns, concurrent systems, finite-state verification |
| 1 | Gleb Naumovich, George S. Avrunin, Lori A. Clarke |
Data Flow Analysis for Checking Properties of Concurrent Java Programs. |
ICSE |
1999 |
DBLP BibTeX RDF |
Java, Java, concurrency, static analysis, data flow |
| 1 | George S. Avrunin, James C. Corbett, Laura K. Dillon |
Analyzing Partially-Implemented Real-Time Systems. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Graphical Interval Logic, Real-time, Ada, concurrency, static analysis, temporal logic, hybrid systems |
| 1 | Matthew B. Dwyer, George S. Avrunin, James C. Corbett |
Property specification patterns for finite-state verification. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
formal specification, patterns, concurrent systems, finite-state verification |
| 1 | Gleb Naumovich, George S. Avrunin |
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
Applying Static Analysis to Software Architectures. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, James C. Corbett, Laura K. Dillon |
Analyzing Partially-Implemented Real-Time Systems. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
graphical interval logic, real-time, Ada, Ada, concurrency, static analysis, temporal logic, hybrid systems |
| 1 | George S. Avrunin |
Symbolic Model Checking Using Algebraic Geometry. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Corbett, George S. Avrunin |
Using Integer Programming to Verify General Safety and Liveness Properties. |
Formal Methods in System Design |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems |
| 1 | James C. Corbett, George S. Avrunin |
Towards Scalable Compositional Analysis. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Corbett, George S. Avrunin |
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states |
| 1 | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
Experiments with an Improved Constrained Expression Toolset. |
Symposium on Testing, Analysis, and Verification |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, Ugo A. Buy, James C. Corbett |
Integer Programming in the Analysis of Concurrent Systems. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | George S. Avrunin, Jack C. Wileden, Laura K. Dillon |
Experiments in Automated Analysis of Concurrent Software Systems. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura K. Dillon, George S. Avrunin, Jack C. Wileden |
Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack C. Wileden, George S. Avrunin |
Towards Automating Analysis Support for Developers of Distributed Software. |
ICDCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle |
Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. |
IEEE Trans. Software Eng. |
1986 |
DBLP BibTeX RDF |
|
| 1 | George S. Avrunin, Jack C. Wileden |
Describing and Analyzing Distributed Software System Designs. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
DYMOL |
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")