default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorge S. Avrunin
Person information
- affiliation: University of Massachusetts Amherst, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c54]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
:
A Coding Framework for Usability Evaluation of Digital Health Technologies. HCI (1) 2022: 185-196- 2020
- [c53]Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati:
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. CogSIMA 2020: 205-210
2010 – 2019
- 2018
- [c52]George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati:
Process Driven Guidance for Complex Surgical Procedures. AMIA 2018 - [c51]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:
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. CogSIMA 2018: 77-82 - [c50]George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati:
Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. SEHS@ICSE 2018: 2-9 - [c49]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:
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. OR 2.0/CARE/CLIP/ISIC@MICCAI 2018: 62-68 - 2017
- [j13]Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert:
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. ACM Trans. Priv. Secur. 20(2): 5:1-5:31 (2017) - [c48]Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov:
Cognitive support during high-consequence episodes of care in cardiovascular surgery. CogSIMA 2017: 1-3 - 2016
- [c47]Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Smart checklists to improve healthcare outcomes. SEHS@ICSE 2016: 54-57 - 2014
- [c46]Stefan C. Christov, George S. Avrunin, Lori A. Clarke:
Online Deviation Detection for Medical Processes. AMIA 2014 - [c45]Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert:
Insider Threat Identification by Process Analysis. IEEE Symposium on Security and Privacy Workshops 2014: 251-264 - 2013
- [c44]Heather M. Conboy, George S. Avrunin, Lori A. Clarke:
Modal abstraction view of requirements for medical devices used in healthcare processes. SEHC@ICSE 2013: 24-27 - [c43]Stefan C. Christov, George S. Avrunin, Lori A. Clarke:
Considerations for online deviation detection in medical processes. SEHC@ICSE 2013: 50-56 - 2012
- [c42]George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch:
Smart checklists for human-intensive medical systems. DSN Workshops 2012: 1-6 - [c41]Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil:
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them. EVT/WOTE 2012 - 2010
- [c40]Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman:
A benchmark for evaluating software engineering techniques for improving medical processes. SEHC@ICSE 2010: 50-56 - [c39]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: 316-325 - [c38]Heather M. Conboy, George S. Avrunin, Lori A. Clarke:
Process-based derivation of requirements for medical devices. IHI 2010: 656-665 - [c37]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: 765-770 - [c36]Lori A. Clarke, Leon J. Osterweil, George S. Avrunin:
Supporting human-intensive systems. FoSER 2010: 87-92
2000 – 2009
- 2009
- [c35]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: 647-653 - 2008
- [j12]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. 17(2): 7:1-7:52 (2008) - [j11]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. 17(2): 10:1-10:34 (2008) - [c34]Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman:
Analyzing medical processes. ICSE 2008: 623-632 - [c33]Lori A. Clarke, George S. Avrunin, Leon J. Osterweil:
Using software engineering technology to improve the quality of medical processes. ICSE Companion 2008: 889-898 - 2007
- [c32]Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Plug-and-Play Architectural Design and Verification. WADS 2007: 273-297 - [c31]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: 267-282 - [c30]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: 118-131 - [c29]Stephen F. Siegel, George S. Avrunin:
Verification of Halting Properties for MPI Programs Using Nonblocking Operations. PVM/MPI 2007: 326-334 - 2006
- [j10]George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil:
Complex medical processes as context for embedded systems. SIGBED Rev. 3(4): 9-14 (2006) - [c28]Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Architectural Building Blocks for Plug-and-Play System Design. CBSE 2006: 98-113 - [c27]Jianbin Tan, George S. Avrunin, Lori A. Clarke:
Managing space for finite-state verification. ICSE 2006: 152-161 - [c26]Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Automatic Fault Tree Derivation from Little-JIL Process Definitions. SPW/ProSim 2006: 150-158 - [c25]Shangzhu Wang, George S. Avrunin, Lori A. Clarke:
Verification support for plug-and-play architectural design. ROSATEA 2006: 49-50 - [c24]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: 97-108 - [c23]Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke:
Using model checking with symbolic execution to verify parallel numerical programs. ISSTA 2006: 157-168 - [c22]Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke:
User guidance for creating precise and accessible property specifications. SIGSOFT FSE 2006: 208-218 - 2005
- [c21]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: 347-359 - [c20]Stephen F. Siegel, George S. Avrunin:
Modeling wildcard-free MPI programs for verification. PPoPP 2005: 95-106 - 2004
- [c19]Jianbin Tan, George S. Avrunin, Lori A. Clarke:
Heuristic-Based Model Refinement for FLAVERS. ICSE 2004: 635-644 - [c18]Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue:
Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210 - [c17]Stephen F. Siegel, George S. Avrunin:
Verification of MPI-Based Software for Scientific Computation. SPIN 2004: 286-303 - [e1]George S. Avrunin, Gregg Rothermel:
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004. ACM 2004, ISBN 1-58113-820-2 [contents] - 2002
- [j9]Stephen F. Siegel, George S. Avrunin:
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. IEEE Trans. Software Eng. 28(2): 115-128 (2002) - [c16]Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
PROPEL: an approach supporting property elucidation. ICSE 2002: 11-21 - 2000
- [j8]George S. Avrunin, James C. Corbett, Matthew B. Dwyer:
Benchmarking Finite-State Verifiers. Int. J. Softw. Tools Technol. Transf. 2(4): 317-320 (2000) - [c15]Stephen F. Siegel, George S. Avrunin:
Improving the precision of INCA by preventing spurious cycles. ISSTA 2000: 191-200
1990 – 1999
- 1999
- [c14]Gleb Naumovich, George S. Avrunin, Lori A. Clarke:
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. ESEC / SIGSOFT FSE 1999: 338-354 - [c13]Gleb Naumovich, George S. Avrunin, Lori A. Clarke:
Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE 1999: 399-410 - [c12]Matthew B. Dwyer, George S. Avrunin, James C. Corbett:
Patterns in Property Specifications for Finite-State Verification. ICSE 1999: 411-420 - 1998
- [j7]George S. Avrunin, James C. Corbett, Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems. IEEE Trans. Software Eng. 24(8): 602-614 (1998) - [c11]Matthew B. Dwyer, George S. Avrunin, James C. Corbett:
Property specification patterns for finite-state verification. FMSP 1998: 7-15 - [c10]Gleb Naumovich, George S. Avrunin:
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. SIGSOFT FSE 1998: 24-34 - 1997
- [c9]Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93 - [c8]George S. Avrunin, James C. Corbett, Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems. ICSE 1997: 228-238 - 1996
- [c7]George S. Avrunin:
Symbolic Model Checking Using Algebraic Geometry. CAV 1996: 26-37 - 1995
- [j6]James C. Corbett, George S. Avrunin:
Using Integer Programming to Verify General Safety and Liveness Properties. Formal Methods Syst. Des. 6(1): 97-123 (1995) - 1994
- [j5]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. 20(9): 708-719 (1994) - [c6]James C. Corbett, George S. Avrunin:
Towards Scalable Compositional Analysis. SIGSOFT FSE 1994: 53-61 - 1993
- [c5]James C. Corbett, George S. Avrunin:
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. ISSTA 1993: 110-116 - 1991
- [j4]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. 17(11): 1204-1222 (1991) - [c4]George S. Avrunin, Ugo A. Buy, James C. Corbett:
Integer Programming in the Analysis of Concurrent Systems. CAV 1991: 92-102 - [c3]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: 178-187
1980 – 1989
- 1989
- [c2]George S. Avrunin, Jack C. Wileden, Laura K. Dillon:
Experiments in Automated Analysis of Concurrent Software Systems. Symposium on Testing, Analysis, and Verification 1989: 124-130 - 1988
- [j3]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. 10(3): 374-402 (1988) - [c1]Jack C. Wileden, George S. Avrunin:
Towards Automating Analysis Support for Developers of Distributed Software. ICDCS 1988: 350-357 - 1986
- [j2]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. 12(2): 278-292 (1986) - 1985
- [j1]George S. Avrunin, Jack C. Wileden:
Describing and Analyzing Distributed Software System Designs. ACM Trans. Program. Lang. Syst. 7(3): 380-403 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
