George S. Avrunin

68 papers A* 9A 6B 2C 1Misc 5Journal 13Unranked 32

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	A Coding Framework for Usability Evaluation of Digital Health Technologies. HCI (1) Mahdi Ebnali, Lauren R. Kennedy-Metz, Heather M. Conboy, Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, Christian Miccile, Maria Arshanskiy, Annette Phillips, Marco A. Zenati, Roger D. Dias
2020	Misc	`conf`	Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. CogSIMA Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati
2018	Misc	`conf`	Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. CogSIMA Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany, Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, David Arney, Julian M. Goldman, Giuseppe Riccardi, Steven J. Yule, Marco A. Zenati
2018	—	`conf`	Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. OR 2.0/CARE/CLIP/ISIC@MICCAI Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany, Lori A. Clarke, Leon J. Osterweil, David Arney, Julian M. Goldman, Giuseppe Riccardi, George S. Avrunin, Steven J. Yule, Marco A. Zenati
2018	Misc	`conf`	Process Driven Guidance for Complex Surgical Procedures. AMIA George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati
2018	—	`conf`	Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. SEHS@ICSE George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati
2017	Misc	`conf`	Cognitive support during high-consequence episodes of care in cardiovascular surgery. CogSIMA Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov
2017	J	`jnl`	Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. ACM Trans. Priv. Secur. Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert
2016	—	`conf`	Smart checklists to improve healthcare outcomes. SEHS@ICSE Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2014	—	`conf`	Insider Threat Identification by Process Analysis. IEEE Symposium on Security and Privacy Workshops Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert
2014	Misc	`conf`	Online Deviation Detection for Medical Processes. AMIA Stefan C. Christov, George S. Avrunin, Lori A. Clarke
2013	—	`conf`	Considerations for online deviation detection in medical processes. SEHC@ICSE Stefan C. Christov, George S. Avrunin, Lori A. Clarke
2013	—	`conf`	Modal abstraction view of requirements for medical devices used in healthcare processes. SEHC@ICSE Heather M. Conboy, George S. Avrunin, Lori A. Clarke
2012	—	`conf`	A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them. EVT/WOTE Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
2012	—	`conf`	Smart checklists for human-intensive medical systems. DSN Workshops George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch
2010	—	`conf`	A benchmark for evaluating software engineering techniques for improving medical processes. SEHC@ICSE Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman
2010	C	`conf`	An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language. SEKE Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen
2010	—	`conf`	Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. IHI George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens
2010	—	`conf`	Process-based derivation of requirements for medical devices. IHI Heather M. Conboy, George S. Avrunin, Lori A. Clarke
2010	—	`conf`	Supporting human-intensive systems. FoSER Lori A. Clarke, Leon J. Osterweil, George S. Avrunin
2009	—	`conf`	An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. Business Process Management Workshops Leon J. Osterweil, Lori A. Clarke, George S. Avrunin
2008	A*	`conf`	Analyzing medical processes. ICSE Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman
2008	J	`jnl`	Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol. Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
2008	J	`jnl`	Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol. Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
2008	—	`conf`	Using software engineering technology to improve the quality of medical processes. ICSE Companion Lori A. Clarke, George S. Avrunin, Leon J. Osterweil
2007	—	`conf`	Engineering Medical Processes to Improve Their Safety. Situational Method Engineering Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman
2007	B	`conf`	Plug-and-Play Architectural Design and Verification. WADS Shangzhu Wang, George S. Avrunin, Lori A. Clarke
2007	—	`conf`	Rigorously Defining and Analyzing Medical Processes: An Experience Report. MoDELS (Workshops) Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens
2007	—	`conf`	Verification of Halting Properties for MPI Programs Using Nonblocking Operations. PVM/MPI Stephen F. Siegel, George S. Avrunin
2006	—	`conf`	Architectural Building Blocks for Plug-and-Play System Design. CBSE Shangzhu Wang, George S. Avrunin, Lori A. Clarke
2006	—	`conf`	Automatic Fault Tree Derivation from Little-JIL Process Definitions. SPW/ProSim Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2006	A	`conf`	Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. ISSTA Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
2006	J	`jnl`	Complex medical processes as context for embedded systems. SIGBED Rev. George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil
2006	A*	`conf`	Managing space for finite-state verification. ICSE Jianbin Tan, George S. Avrunin, Lori A. Clarke
2006	—	`conf`	User guidance for creating precise and accessible property specifications. SIGSOFT FSE Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke
2006	A	`conf`	Using model checking with symbolic execution to verify parallel numerical programs. ISSTA Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
2006	—	`conf`	Verification support for plug-and-play architectural design. ROSATEA Shangzhu Wang, George S. Avrunin, Lori A. Clarke
2005	B	`conf`	Modeling wildcard-free MPI programs for verification. PPoPP Stephen F. Siegel, George S. Avrunin
2005	—	`conf`	Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. ISPW Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil
2004	A*	`conf`	Heuristic-Based Model Refinement for FLAVERS. ICSE Jianbin Tan, George S. Avrunin, Lori A. Clarke
2004	—	`conf`	Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
2004	A	`ed.`	Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004 ISSTA George S. Avrunin, Gregg Rothermel
2004	—	`conf`	Verification of MPI-Based Software for Scientific Computation. SPIN Stephen F. Siegel, George S. Avrunin
2002	J	`jnl`	Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. IEEE Trans. Software Eng. Stephen F. Siegel, George S. Avrunin
2002	A*	`conf`	PROPEL: an approach supporting property elucidation. ICSE Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2000	J	`jnl`	Benchmarking Finite-State Verifiers. Int. J. Softw. Tools Technol. Transf. George S. Avrunin, James C. Corbett, Matthew B. Dwyer
2000	A	`conf`	Improving the precision of INCA by preventing spurious cycles. ISSTA Stephen F. Siegel, George S. Avrunin
1999	—	`conf`	An Efficient Algorithm for Computing ESEC / SIGSOFT FSE Gleb Naumovich, George S. Avrunin, Lori A. Clarke
1999	A*	`conf`	Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE Gleb Naumovich, George S. Avrunin, Lori A. Clarke
1999	A*	`conf`	Patterns in Property Specifications for Finite-State Verification. ICSE Matthew B. Dwyer, George S. Avrunin, James C. Corbett
1998	—	`conf`	A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. SIGSOFT FSE Gleb Naumovich, George S. Avrunin
1998	J	`jnl`	Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. George S. Avrunin, James C. Corbett, Laura K. Dillon
1998	—	`conf`	Property specification patterns for finite-state verification. FMSP Matthew B. Dwyer, George S. Avrunin, James C. Corbett
1997	A*	`conf`	Analyzing Partially-Implemented Real-Time Systems. ICSE George S. Avrunin, James C. Corbett, Laura K. Dillon
1997	—	`conf`	Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
1996	A*	`conf`	Symbolic Model Checking Using Algebraic Geometry. CAV George S. Avrunin
1995	J	`jnl`	Using Integer Programming to Verify General Safety and Liveness Properties. Formal Methods Syst. Des. James C. Corbett, George S. Avrunin
1994	J	`jnl`	Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. IEEE Trans. Software Eng. George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden
1994	—	`conf`	Towards Scalable Compositional Analysis. SIGSOFT FSE James C. Corbett, George S. Avrunin
1993	A	`conf`	A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. ISSTA James C. Corbett, George S. Avrunin
1991	J	`jnl`	Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. IEEE Trans. Software Eng. George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
1991	—	`conf`	Experiments with an Improved Constrained Expression Toolset. Symposium on Testing, Analysis, and Verification George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
1991	A*	`conf`	Integer Programming in the Analysis of Concurrent Systems. CAV George S. Avrunin, Ugo A. Buy, James C. Corbett
1989	—	`conf`	Experiments in Automated Analysis of Concurrent Software Systems. Symposium on Testing, Analysis, and Verification George S. Avrunin, Jack C. Wileden, Laura K. Dillon
1988	J	`jnl`	Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems. ACM Trans. Program. Lang. Syst. Laura K. Dillon, George S. Avrunin, Jack C. Wileden
1988	A	`conf`	Towards Automating Analysis Support for Developers of Distributed Software. ICDCS Jack C. Wileden, George S. Avrunin
1986	J	`jnl`	Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. IEEE Trans. Software Eng. George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle
1985	J	`jnl`	Describing and Analyzing Distributed Software System Designs. ACM Trans. Program. Lang. Syst. George S. Avrunin, Jack C. Wileden