| Year |
Citation |
Score |
| 2022 |
Ebnali M, Kennedy-Metz LR, Conboy HM, Clarke LA, Osterweil LJ, Avrunin G, Miccile C, Arshanskiy M, Phillips A, Zenati MA, Dias RD. A Coding Framework for Usability Evaluation of Digital Health Technologies. Human-Computer Interaction. Theoretical Approaches and Design Methods : Thematic Area, Hci 2022, Held as Part of the 24th Hci International Conference, Hcii 2022, Virtual Event, June 26-July 1, 2022, Proceedings, Part I. 13302: 185-196. PMID 36037053 DOI: 10.1007/978-3-031-05311-5_12 |
0.555 |
|
| 2020 |
Conboy HM, Kennedy-Metz LR, Avrunin GS, Clarke LA, Osterweil LJ, Dias RD, Zenati MA. Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. Ieee Cogsima : 2020 Ieee International Conference On Cognitive and Computational Aspects of Situation Management (Cogsima) : Proceedings : Virtual Conference, 24-28 August 2020. Ieee Conference On Cognitive and Computational Aspects of .... 2020: 205-210. PMID 34723287 DOI: 10.1109/cogsima49017.2020.9215995 |
0.561 |
|
| 2019 |
Dias RD, Zenati MA, Conboy HM, Clarke LA, Osterweil LJ, Avrunin GS, Yule SJ. Dissecting Cardiac Surgery: A Video-Based Recall Protocol to Elucidate Team Cognitive Processes in the Operating Room. Annals of Surgery. PMID 31348036 DOI: 10.1097/Sla.0000000000003489 |
0.564 |
|
| 2019 |
Osterweil LJ, Conboy HM, Clarke LA, Avrunin GS. Process-Model-Driven Guidance to Reduce Surgical Procedure Errors: An Expert Opinion. Seminars in Thoracic and Cardiovascular Surgery. PMID 30851373 DOI: 10.1053/J.Semtcvs.2019.02.030 |
0.62 |
|
| 2018 |
Avrunin GS, Christov SC, Clarke LA, Conboy HM, Osterweil LJ, Zenati MA. Process Driven Guidance for Complex Surgical Procedures. Amia ... Annual Symposium Proceedings. Amia Symposium. 2018: 175-184. PMID 30815055 |
0.61 |
|
| 2018 |
Dias RD, Osterweil LJ, Riccardi G, Conboy HM, Avrunin GS, Yule SJ, Gabany JM, Arney D, Zenati MA, Clarke LA, Goldman JM. Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. ... Ieee International Inter-Disciplinary Conference On Cognitive Methods in Situation Awareness and Decision Support. Ieee International Multi-Disciplinary Conference On Cognitive Methods in Situation Awareness and Decision Support. 2018: 77-82. PMID 30547096 DOI: 10.1109/COGSIMA.2018.8423995 |
0.545 |
|
| 2018 |
Dias RD, Conboy HM, Gabany JM, Clarke LA, Osterweil LJ, Arney D, Goldman JM, Riccardi G, Avrunin GS, Yule SJ, Zenati MA. Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. Or 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis : First International Workshop, or 2.0 2018, 5th International Workshop, Care 2018, 7th International.... 11041: 62-68. PMID 30506066 DOI: 10.1007/978-3-030-01201-4_8 |
0.548 |
|
| 2018 |
Avrunin GS, Clarke LA, Conboy HM, Osterweil LJ, Dias RD, Yule SJ, Goldman JM, Zenati MA. Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. Software Engineering in Healthcare Systems (Sehs), Ieee/Acm International Workshop On. 2018: 2-9. PMID 30140792 DOI: 10.1145/3194696.3194705 |
0.611 |
|
| 2017 |
Conboy HM, Avrunin GS, Clarke LA, Osterweil LJ, Christov SC, Goldman JM, Yule SJ, Zenati MA. Cognitive Support During High-Consequence Episodes of Care in Cardiovascular Surgery. ... Ieee International Inter-Disciplinary Conference On Cognitive Methods in Situation Awareness and Decision Support. Ieee International Multi-Disciplinary Conference On Cognitive Methods in Situation Awareness and Decision Support. 2017. PMID 28752132 |
0.605 |
|
| 2017 |
Christov SC, Marquard JL, Avrunin GS, Clarke LA. Assessing the effectiveness of five process elicitation methods: A case study of chemotherapy treatment plan review. Applied Ergonomics. 59: 364-376. PMID 27890149 DOI: 10.1016/J.Apergo.2016.08.032 |
0.415 |
|
| 2017 |
Osterweil LJ, Bishop M, Conboy HM, Phan H, Simidchieva BI, Avrunin GS, Clarke LA, Peisert S. Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes Acm Transactions On Privacy and Security. 20: 1-31. DOI: 10.1145/3041041 |
0.573 |
|
| 2016 |
Christov SC, Conboy HM, Famigletti N, Avrunin GS, Clarke LA, Osterweil LJ. Smart checklists to improve healthcare outcomes Proceedings - International Workshop On Software Engineering in Healthcare Systems, Sehs 2016. 54-57. DOI: 10.1145/2897683.2897691 |
0.606 |
|
| 2014 |
Christov SC, Avrunin GS, Clarke LA. Online deviation detection for medical processes. Amia ... Annual Symposium Proceedings / Amia Symposium. Amia Symposium. 2014: 395-404. PMID 25954343 |
0.301 |
|
| 2014 |
Bishop M, Conboy HM, Phan H, Simidchieva BI, Avrunin GS, Clarke LA, Osterweil LJ, Peisert S. Insider threat identification by process analysis Proceedings - Ieee Symposium On Security and Privacy. 2014: 251-264. DOI: 10.1109/SPW.2014.40 |
0.61 |
|
| 2013 |
Jo J, Marquard JL, Clarke LA, Henneman PL. Re-examining the requirements for verification of patient identifiers during medication administration: No wonder it is error-prone Iie Transactions On Healthcare Systems Engineering. 3: 280-291. DOI: 10.1080/19488300.2013.862329 |
0.311 |
|
| 2013 |
Clarke LA. Using process modeling and analysis techniques to reduce errors in healthcare 2013 Formal Methods in Computer-Aided Design, Fmcad 2013. 14. |
0.335 |
|
| 2012 |
Christov SC, Cassells LJ, Avrunin GS, Clarke LA, Osterweil LJ, Marquard JL. Understanding and improving chemotherapy ordering and delivery using process elicitation and validation. Journal of Clinical Oncology : Official Journal of the American Society of Clinical Oncology. 30: 89. PMID 28147048 DOI: 10.1200/Jco.2012.30.34_Suppl.89 |
0.659 |
|
| 2012 |
Mertens WC, Christov SC, Avrunin GS, Clarke LA, Osterweil LJ, Cassells LJ, Marquard JL. Using process elicitation and validation to understand and improve chemotherapy ordering and delivery. Joint Commission Journal On Quality and Patient Safety / Joint Commission Resources. 38: 497-505. PMID 23173396 DOI: 10.1016/S1553-7250(12)38066-5 |
0.648 |
|
| 2012 |
Avrunin GS, Clarke LA, Osterweil LJ, Goldman JM, Rausch T. Smart checklists for human-intensive medical systems Proceedings of the International Conference On Dependable Systems and Networks. DOI: 10.1109/DSNW.2012.6264661 |
0.56 |
|
| 2011 |
Murphy C, Raunak MS, King A, Chen S, Imbriano C, Kaiser G, Lee I, Sokolsky O, Clarke L, Osterweil L. On effective testing of health care simulation software Proceedings - International Conference On Software Engineering. 40-47. DOI: 10.1145/1987993.1988003 |
0.496 |
|
| 2010 |
Avrunin GS, Clarke LA, Osterweil LJ, Christov SC, Chen B, Henneman EA, Henneman PL, Cassells L, Mertens W. Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview Ihi'10 - Proceedings of the 1st Acm International Health Informatics Symposium. 316-325. DOI: 10.1145/1882992.1883037 |
0.54 |
|
| 2010 |
Osterweil LJ, Clarke LA. Supporting negotiation and dispute resolution with computing and communication technologies Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 269-272. DOI: 10.1145/1882362.1882418 |
0.535 |
|
| 2010 |
Clarke LA, Osterweil LJ, Avrunin GS. Supporting human-intensive systems Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 87-91. DOI: 10.1145/1882362.1882381 |
0.566 |
|
| 2010 |
Christov SC, Avrunin GS, Clarke LA, Osterweil LJ, Henneman EA. A benchmark for evaluating software engineering techniques for improving medical processes Proceedings - International Conference On Software Engineering. 50-56. DOI: 10.1145/1809085.1809092 |
0.58 |
|
| 2010 |
Osterweil LJ, Clarke LA, Ellison AM, Boose E, Podorozhny R, Wise A. Clear and precise specification of ecological data management processes and dataset provenance Ieee Transactions On Automation Science and Engineering. 7: 189-195. DOI: 10.1109/Tase.2009.2021774 |
0.661 |
|
| 2010 |
Osterweil LJ, Clarke LA, Avrunin GS. An integrated collection of tools for continuously improving the processes by which health care is delivered: A tool report Lecture Notes in Business Information Processing. 43: 647-653. DOI: 10.1007/978-3-642-12186-9_62 |
0.578 |
|
| 2010 |
Wang D, Pan J, Avrunin GS, Clarke LA, Chen B. An automatic Failure Mode and Effect Analysis technique for processes defined in the Little-JIL process definition language Seke 2010 - Proceedings of the 22nd International Conference On Software Engineering and Knowledge Engineering. 765-770. |
0.341 |
|
| 2009 |
Osterweil LJ, Clarke LA, Ellison AM. Forecast for reproducible data: partly cloudy. Science (New York, N.Y.). 325: 1622; author reply 1. PMID 19779171 DOI: 10.1126/Science.325_1622B |
0.519 |
|
| 2008 |
Mertens WC, Christov S, Avrunin GS, Cassells LJ, Chen B, Brown DE, Parisi R, Clarke LA, Osterweil LJ. Chemotherapy ordering and delivery: Rigorously defining and analyzing a complex process employing software engineering techniques. Journal of Clinical Oncology : Official Journal of the American Society of Clinical Oncology. 26: 17514. PMID 27950620 DOI: 10.1200/Jco.2008.26.15_Suppl.17514 |
0.624 |
|
| 2008 |
Henneman EA, Cobleigh R, Avrunin GS, Clarke LA, Osterweil LJ, Henneman PL. Designing property specifications to improve the safety of the blood transfusion process. Transfusion Medicine Reviews. 22: 291-9. PMID 18848156 DOI: 10.1016/J.Tmrv.2008.05.006 |
0.64 |
|
| 2008 |
Osterweil LJ, Clarke LA, Ellison AM, Podorozhny R, Wise A, Boose E, Hadley J. Experience in using a process language to define scientific workflow and generate dataset provenance Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 319-329. DOI: 10.1145/1453101.1453147 |
0.568 |
|
| 2008 |
Clarke LA, Avrunin GS, Osterweil LJ. Using software engineering technology to improve the quality of medical processes Proceedings - International Conference On Software Engineering. 889-898. DOI: 10.1145/1370175.1370179 |
0.609 |
|
| 2008 |
Chen B, Clarke LA, Avrunin GS, Osterweil LJ, Henneman EA, Henneman PL. Analyzing medical processes Proceedings - International Conference On Software Engineering. 623-632. DOI: 10.1145/1368088.1368175 |
0.554 |
|
| 2008 |
Siegel SF, Mironova A, Avrunin GS, Clarke LA. Combining symbolic execution with model checking to verify parallel numerical programs Acm Transactions On Software Engineering and Methodology. 17. DOI: 10.1145/1348250.1348256 |
0.308 |
|
| 2008 |
Cobleigh JM, Avrunin GS, Clarke LA. Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning Acm Transactions On Software Engineering and Methodology. 17. DOI: 10.1145/1348250.1348253 |
0.78 |
|
| 2008 |
Christov S, Chen B, Avrunin GS, Clarke LA, Osterweil LJ, Brown D, Cassells L, Mertens W. Rigorously defining and analyzing medical processes: An experience report Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5002: 118-131. DOI: 10.1007/978-3-540-69073-3_14 |
0.619 |
|
| 2007 |
Henneman EA, Avrunin GS, Clarke LA, Osterweil LJ, Andrzejewski C, Merrigan K, Cobleigh R, Frederick K, Katz-Bassett E, Henneman PL. Increasing patient safety and efficiency in transfusion therapy using formal process definitions. Transfusion Medicine Reviews. 21: 49-57. PMID 17174220 DOI: 10.1016/J.Tmrv.2006.08.007 |
0.642 |
|
| 2007 |
Boose ER, Ellison AM, Osterweil LJ, Clarke LA, Podorozhny R, Hadley JL, Wise A, Foster DR. Ensuring reliable datasets for environmental models and forecasts Ecological Informatics. 2: 237-247. DOI: 10.1016/J.Ecoinf.2007.07.006 |
0.666 |
|
| 2007 |
Osterweil LJ, Avrunin GS, Chen B, Clarke LA, Cobleigh R, Henneman EA, Henneman PL. Engineering medical processes to improve their safety: An experience report Ifip International Federation For Information Processing. 244: 267-282. DOI: 10.1007/978-0-387-73947-2_21 |
0.545 |
|
| 2007 |
Simidchieva BI, Clarke LA, Osterweil LJ. Representing process variation with a process family Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4470: 109-120. |
0.595 |
|
| 2006 |
Ellison AM, Osterweil LJ, Clarke L, Hadley JL, Wise A, Boose E, Foster DR, Hanson A, Jensen D, Kuzeja P, Riseman E, Schultz H. Analytic webs support the synthesis of ecological data sets. Ecology. 87: 1345-58. PMID 16869408 DOI: 10.1890/0012-9658(2006)87[1345:Awstso]2.0.Co;2 |
0.617 |
|
| 2006 |
Avrunin GS, Clarke LA, Henneman EA, Osterweil LJ. Complex medical processes as context for embedded systems Acm Sigbed Review. 3: 9-14. DOI: 10.1145/1183088.1183091 |
0.658 |
|
| 2006 |
Clarke L, Gaitenby A, Gyllstrom D, Katsh E, Marzilli M, Osterweil LJ, Sondheimer NK, Wing L, Wise A, Rainey D. A process-driven tool to support online dispute resolution Acm International Conference Proceeding Series. 151: 356-357. DOI: 10.1145/1146598.1146700 |
0.587 |
|
| 2006 |
Cobleigh JM, Avrunin GS, Clarke LA. Breaking up is hard to do: An investigation of decomposition for assume-guarantee reasoning Proceedings of the 2006 International Symposium On Software Testing and Analysis, Issta 2006. 2006: 97-107. DOI: 10.1145/1146238.1146250 |
0.777 |
|
| 2006 |
Clarke LA, Rosenblum DS. A historical perspective on runtime assertion checking in software development Acm Sigsoft Software Engineering Notes. 31: 25-37. DOI: 10.1145/1127878.1127900 |
0.348 |
|
| 2006 |
Raunak MS, Chen B, Elssamadisy A, Clarke LA, Osterweil LJ. Definition and analysis of election processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3966: 178-185. DOI: 10.1007/11754305_20 |
0.627 |
|
| 2006 |
Chen B, Avrunin GS, Clarke LA, Osterweil LJ. Automatic fault tree derivation from little-JIL process definitions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3966: 150-158. DOI: 10.1007/11754305_17 |
0.612 |
|
| 2006 |
Osterweil LJ, Wise A, Clarke LA, Ellison AM, Hadley JL, Boose E, Foster DR. Process technology to facilitate the conduct of science Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3840: 403-415. DOI: 10.1007/11608035_33 |
0.639 |
|
| 2006 |
Clarke LA, Chen Y, Avrunin GS, Chen B, Cobleigh R, Frederick K, Henneman EA, Osterweil LJ. Process programming to support medical safety: A case study on blood transfusion Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3840: 347-359. DOI: 10.1007/11608035_29 |
0.623 |
|
| 2004 |
Dwyer MB, Clarke LA, Cobleigh JM, Naumovich G. Flow analysis for verifying properties of concurrent software systems Acm Transactions On Software Engineering and Methodology. 13: 359-430. DOI: 10.1145/1040291.1040292 |
0.782 |
|
| 2002 |
Cobleigh JM, Clarke LA, Osterweil LJ. FLAVERS: A finite state verification technique for software systems Ibm Systems Journal. 41: 140-165. DOI: 10.1147/Sj.411.0140 |
0.772 |
|
| 2002 |
Smith RL, Avrunin GS, Clarke LA, Osterweil LJ. PROPEL: An approach supporting property elucidation Proceedings - International Conference On Software Engineering. 11-21. |
0.52 |
|
| 2001 |
Osterweil LJ, Clarke LA. Frameworks for reasoning about agent based systems Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 1887: 64-71. |
0.584 |
|
| 2001 |
Cobleigh JM, Clarke LA, Osterweil LJ. The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification Proceedings - International Conference On Software Engineering. 37-46. |
0.747 |
|
| 2001 |
Sliski TJ, Billmers MP, Clarke LA, Osterweil LJ. An architecture for flexible, evolvable process-driven user-guidance environments Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 33-43. |
0.581 |
|
| 2000 |
Osterweil L, Clarke LA. Little-JIL Acm Sigsoft Software Engineering Notes. 25: 104. DOI: 10.1145/340855.341113 |
0.518 |
|
| 2000 |
Cobleigh JM, Clarke LA, Osterweil LJ. Verifying properties of process definitions Proceedings of the Acm Sigsoft 2000 International Symposium On Software Testing and Analysis. 96-101. |
0.78 |
|
| 2000 |
Osterweil LJ, Clarke LA, Evangelist M, Kramer J, Rombach D, Wolf AL. The impact project: Determining the impact of software engineering research upon practice Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 108-109. |
0.515 |
|
| 1998 |
Naumovich G, Clarke LA, Osterweil LJ. Efficient Composite Data Flow Analysis Applied to Concurrent Programs Sigplan Notices (Acm Special Interest Group On Programming Languages). 33: 51-58. |
0.568 |
|
| 1997 |
Naumovich G, Avrunin GS, Clarke LA, Osterweil LJ. Applying static analysis to software architectures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1301: 77-93. |
0.583 |
|
| 1996 |
Barrett DJ, Clarke LA, Tarr PL, Wise AE. A Framework for Event-Based Software Integration Acm Transactions On Software Engineering and Methodology. 5: 378-421. DOI: 10.1145/235321.235324 |
0.346 |
|
| 1996 |
Dwyer MB, Clarke LA. A compact petri net representation and its implications for analysis Ieee Transactions On Software Engineering. 22: 794-811. DOI: 10.1109/32.553699 |
0.337 |
|
| 1992 |
Osterweil L, Clarke L. A proposed testing and analysis research initiative Ieee Software. 9: 89-96. DOI: 10.1109/52.156901 |
0.572 |
|
| 1990 |
Wileden JC, Clarke LA, Wolf AL. A Comparative Evaluation of Object Definition Techniques for Large Prototype Systems Acm Transactions On Programming Languages and Systems (Toplas). 12: 670-699. DOI: 10.1145/88616.88639 |
0.377 |
|
| 1990 |
Podgurski A, Clarke LA. A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance Ieee Transactions On Software Engineering. 16: 965-979. DOI: 10.1109/32.58784 |
0.33 |
|
| 1989 |
Podgurski A, Clarke L. The implications of program dependencies for software testing, debugging, and maintenance Acm Sigsoft Software Engineering Notes. 14: 168-178. DOI: 10.1145/75309.75328 |
0.304 |
|
| 1989 |
Wolf A, Clarke L, Wileden J. The AdaPIC tool set: supporting interface control and analysis throughout the software development process Ieee Transactions On Software Engineering. 15: 250-263. DOI: 10.1109/32.21753 |
0.406 |
|
| 1988 |
Wolf AL, Clarke LA, Wileden JC. A Model of Visibility Control Ieee Transactions On Software Engineering. 14: 512-520. DOI: 10.1109/32.4673 |
0.348 |
|
| 1985 |
Richardson DJ, Clarke LA. Partition Analysis: A Method Combining Testing and Verification Ieee Transactions On Software Engineering. 1477-1490. DOI: 10.1109/Tse.1985.231892 |
0.366 |
|
| 1985 |
Wolf A, Clarke L, Wileden J. Ada-Based support for programming-in-the-Large Ieee Software. 2: 58-71. DOI: 10.1109/Ms.1985.230352 |
0.326 |
|
| 1985 |
Clarke LA, Richardson DJ. Applications of symbolic evaluation The Journal of Systems and Software. 5: 15-35. DOI: 10.1016/0164-1212(85)90004-4 |
0.323 |
|
| 1981 |
Osterweil L, Clarke L, Good D, Houghton R, Love T, Santoni P, Teichroew D, Wasserman A. Software environment research Acm Sigsoft Software Engineering Notes. 6: 15-25. DOI: 10.1145/1010826.1010828 |
0.565 |
|
| Show low-probability matches. |