- E#cient Tree Layout in a Multilevel Memory Hierarchy # Stephen Alstrup + Michael A. Bender # Erik D. Demaine
- , , 1--27 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Breaking Up is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning
- Experiments with Automated Constrained Expression Analysis of Concurrent Software Systems
- Curriculum Vitae George S. Avrunin
- In ComputerAided Verification, CAV '96 (Rajeev Alur and Thomas A. Henzinger, eds.), LNCS vol. 1102, 1991, 26--37, c flSpringerVerlag
- Managing Space for Finite-State Verification Jianbin Tan, George S. Avrunin, Lori A. Clarke
- Verification of Halting Properties for MPI Programs Using Nonblocking Operations
- 1204 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 17, NO. 11, NOVEMBER 1991 Automated Analysis of Concurrent Systems
- ANALYSIS OF MPI PROGRAMS STEPHEN F. SIEGEL AND GEORGE S. AVRUNIN
- Verification of MPI-Based Software for Scientific Computation
- Patterns in Property Specifications for Finite-State Verification*
- Experiments with an Improved Constrained Expression Toolset George S. Avrunin* Ugo A. Buy' James C, Corbett* Laura K. Dillont Jack C. Wiledenq
- Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles
- Process-based Derivation of Requirements for Medical Heather M. Conboy
- Analyzing Medical Processes Dept. of Computer Science
- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
- Your application was selected for review in a process called "Verification." In this process, your school will be comparing
- Comparing FiniteState Verification Techniques for Concurrent Software
- H. Giese (Ed.): MoDELS 2007 Workshops, LNCS 5002, pp. 118131, 2008. Springer-Verlag Berlin Heidelberg 2008
- S. Rinderle-Ma et al. (Eds.): BPM 2009 Workshops, LNBIP 43, pp. 647653, 2010. Springer-Verlag Berlin Heidelberg 2010
- Heuristic-Based Model Refinement for FLAVERS Jianbin Tan, George S. Avrunin, and Lori A. Clarke
- Breaking Up is Hard to Do: An Investigation of Decomposition for Assume-Guarantee Reasoning
- Generic Cohomology for Twisted Groups Author(s): George S. Avrunin
- Toward Autoniatirig Analysis Support for Developers of Distributed Software*
- Applying Static Analysis to Software Architectures Gleb Naumovich, George S. Avrunin, Lori A. Clarke and Leon J. Osterweil
- Invent. math. 66, 277-286 (1982) [nvel~tlol~e$ matbematicae
- BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY
- ILLINOIS JOURNAL OF MATHEMATICS Volume 24, Number 2, Summer 1980
- Combining Symbolic Execution with Model Checking to Verify Parallel Numerical
- Using Model Checking with Symbolic Execution to Verify Parallel Numerical Programs
- Towards Scalable Compositional Analysis James C. Corbett George S. Avrunin
- Constrained Expressions: Toward Broad Applicability of Analysis Methods for
- Describing and Analyzing Distributed Software System Designs
- Formally Defining Medical Processes S. Christov1
- Engineering Medical Processes to Improve Their Safety
- Q. Wang et al. (Eds.): SPW/ProSim 2006, LNCS 3966, pp. 150 158, 2006. Springer-Verlag Berlin Heidelberg 2006
- Finite-State Verification for High Performance Computing George S. Avrunin
- 708 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL.20. NO. 9, SEPTEMBER 1994 Automated Derivation of Time Bounds
- PROPEL:An Approach Supporting Property Elucidation Rachel L. Smith, George S. Avrunin, LoriA. Clarke, and Leon J. Osterweil
- Property Specification Patterns for Finite-State Verification* Matthew B. Dwyer George S. Avrunin
- Plug-and-Play Architectural Design and Verification
- Nilpotency Degree of Cohomology Rings in Characteristic Two Author(s): George S. Avrunin and Jon F. Carlson
- M. Li, B. Boehm, and L.J. Osterweil (Eds.): SPW 2005, LNCS 3840, pp. 347 359, 2005. Springer-Verlag Berlin Heidelberg 2005
- Data Flow Analysis for Checking Properties of Concurrent Java Gleb Naumovich
