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.54 |
|
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.558 |
|
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.566 |
|
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.635 |
|
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.623 |
|
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.528 |
|
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.53 |
|
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.62 |
|
2018 |
Shin SY, Brun Y, Balasubramanian H, Henneman PL, Osterweil LJ. Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling Ieee Transactions On Systems, Man, and Cybernetics: Systems. 48: 1578-1593. DOI: 10.1109/Tsmc.2017.2681623 |
0.409 |
|
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.603 |
|
2017 |
Osterweil LJ. Your Software Dwells in the House of Tomorrow, Too Acm Sigsoft Software Engineering Notes. 42: 7-8. DOI: 10.1145/3041765.3041769 |
0.351 |
|
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 |
|
2016 |
Chen J, Xiao J, Wang Q, Osterweil LJ, Li M. Perspectives on refactoring planning and practice: an empirical study Empirical Software Engineering. 21: 1397-1436. DOI: 10.1007/S10664-015-9390-8 |
0.35 |
|
2015 |
Chen J, Xu X, Osterweil LJ, Zhu L, Brun Y, Bass L, Xiao J, Li M, Wang Q. Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes Journal of Systems and Software. 110: 205-221. DOI: 10.1016/J.Jss.2015.08.043 |
0.469 |
|
2014 |
Chen J, Xiao J, Wang Q, Osterweil LJ, Li M. Refactoring planning and practice in agile software development: An empirical study Acm International Conference Proceeding Series. 55-64. DOI: 10.1145/2600821.2600829 |
0.32 |
|
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.632 |
|
2014 |
Osterweil LJ. On formal definition and analysis of formal verification processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8373: 35-52. DOI: 10.1007/978-3-642-54624-2_2 |
0.419 |
|
2014 |
Dorn C, Dustdar S, Osterweil LJ. Specifying flexible human behavior in interaction-intensive process environments Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8659: 366-373. DOI: 10.1007/978-3-319-10172-9_24 |
0.351 |
|
2014 |
Osterweil LJ. Learning about application software by studying processes Journal of Software: Evolution and Process. 26: 869-876. DOI: 10.1002/Smr.1648 |
0.479 |
|
2013 |
Raunak MS, Osterweil LJ. Resource management for complex, dynamic environments Ieee Transactions On Software Engineering. 39: 384-402. DOI: 10.1109/Tse.2012.31 |
0.366 |
|
2013 |
Osterweil LJ. What is software? the role of empirical methods in answering the question Perspectives On the Future of Software Engineering: Essays in Honor of Dieter Rombach. 237-254. DOI: 10.1007/978-3-642-37395-4_16 |
0.316 |
|
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.682 |
|
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.67 |
|
2012 |
Zhao X, Lerner BS, Osterweil L. The role of context in exception-driven rework 2012 5th International Workshop On Exception Handling, Weh 2012 - Proceedings. 41-45. DOI: 10.1109/WEH.2012.6226597 |
0.339 |
|
2012 |
Zhao X, Osterweil LJ. An approach to modeling and supporting the rework process in refactoring 2012 International Conference On Software and System Process, Icssp 2012 - Proceedings. 110-119. DOI: 10.1109/ICSSP.2012.6225953 |
0.387 |
|
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.542 |
|
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.493 |
|
2011 |
Simidchieva BI, Osterweil LJ. Characterizing process variation (NIER track) Proceedings - International Conference On Software Engineering. 836-839. DOI: 10.1145/1985793.1985918 |
0.363 |
|
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.525 |
|
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.538 |
|
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.541 |
|
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.589 |
|
2010 |
Lerner BS, Christov S, Osterweil LJ, Bendraou R, Kannengiesser U, Wise A. Exception handling patterns for process modeling Ieee Transactions On Software Engineering. 36: 162-183. DOI: 10.1109/Tse.2010.1 |
0.461 |
|
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.692 |
|
2010 |
Karsai G, Massacci F, Osterweil L, Schieferdecker I. Evolving Embedded Systems Computer. 43: 34-40. DOI: 10.1109/Mc.2010.135 |
0.388 |
|
2010 |
Xiao J, Osterweil LJ, Wang Q, Li M. Disruption-driven resource rescheduling in software development processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6195: 234-247. DOI: 10.1007/978-3-642-14347-2_21 |
0.316 |
|
2010 |
Osterweil LJ, Wise A. Using process definitions to support reasoning about satisfaction of process requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6195: 2-13. DOI: 10.1007/978-3-642-14347-2_2 |
0.427 |
|
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 |
|
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.504 |
|
2009 |
Osterweil LJ. Formalisms to support the definition of processes Journal of Computer Science and Technology. 24: 198-211. DOI: 10.1007/S11390-009-9218-3 |
0.52 |
|
2009 |
Simidchieva BI, Osterweil LJ, Wise A. Structural considerations in defining executable process models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5543: 366-376. DOI: 10.1007/978-3-642-01680-6_33 |
0.37 |
|
2009 |
Cass AG, Osterweil LJ, Wise A. A pattern for modeling rework in software development processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5543: 305-316. DOI: 10.1007/978-3-642-01680-6_28 |
0.812 |
|
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.636 |
|
2008 |
Christov S, Chen B, Avrunin GS, Clarkel LA, Osterweil LJ, Brown D, Cassells L, Mertens W. Formally defining medical processes Methods of Information in Medicine. 47: 392-398. PMID 18852912 DOI: 10.3414/Me9120 |
0.488 |
|
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.659 |
|
2008 |
Lerner BS, Christov S, Wise A, Osterweil LJ. Exception handling patterns for processes Weh '08 - Proceedings of the 4th International Workshop On Exception Handling, Co-Located With the 16th Acm Sigsoft International Symposium On the Foundations of Software Engineering. 55-61. DOI: 10.1145/1454268.1454276 |
0.341 |
|
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.597 |
|
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.621 |
|
2008 |
Chen B, Avrunin GS, Henneman EA, Clarke LA, Osterweil LJ, Henneman PL. Analyzing medical processes Proceedings - International Conference On Software Engineering. 623-632. DOI: 10.1145/1368088.1368175 10.1145/1368088.1368175 |
0.418 |
|
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.555 |
|
2008 |
Osterweil L, Ghezzi C, Kramer J, Wolf A. Determining the Impact of Software Engineering Research on Practice Computer. 41: 39-49. DOI: 10.1109/Mc.2008.85 |
0.31 |
|
2008 |
Zhu L, Osterweil LJ, Staples M, Kannengiesser U. Challenges observed in the definition of reference business processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4928: 95-107. DOI: 10.1007/978-3-540-78238-4_12 |
0.401 |
|
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.637 |
|
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.658 |
|
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.693 |
|
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.54 |
|
2007 |
Xiao J, Osterweil LJ, Zhang L, Wise A, Wang Q. Applying little-JIL to describe process-agent knowledge and support project planning in SoftPM Software Process Improvement and Practice. 12: 437-448. DOI: 10.1002/Spip.337 |
0.485 |
|
2007 |
Osterweil LJ. What we learn from the study of ubiquitous processes Software Process Improvement and Practice. 12: 399-414. DOI: 10.1002/Spip.331 |
0.519 |
|
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.621 |
|
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.623 |
|
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.655 |
|
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.608 |
|
2006 |
Katsh E, Osterweil LJ, Sondheimer NK, Rainey D. Experimental application of process technology to the creation and adoption of online dispute resolution Acm International Conference Proceeding Series. 151: 273-274. DOI: 10.1145/1146598.1146671 |
0.322 |
|
2006 |
Osterweil LJ. Ubiquitous process engineering: Applying software process technology to other domains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3966: 39-47. DOI: 10.1007/11754305_4 |
0.464 |
|
2006 |
Xiao J, Osterweil LJ, Zhang L, Wise A, Wang Q. Applying Little-JIL to describe Process-Agent knowledge in SoftPM Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3966: 214-221. DOI: 10.1007/11754305_24 |
0.473 |
|
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.641 |
|
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.625 |
|
2006 |
Osterweil LJ. Unifying microprocess and macroprocess research Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3840: 68-74. DOI: 10.1007/11608035_7 |
0.409 |
|
2006 |
Podorozhny RM, Perry DE, Osterweil LJ. Automatically analyzing software processes: Experience report Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3840: 482-497. DOI: 10.1007/11608035_39 |
0.531 |
|
2006 |
Raunak MS, Osterweil LJ. Process definition language support for rapid simulation prototyping Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3840: 416-432. DOI: 10.1007/11608035_34 |
0.487 |
|
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.658 |
|
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.624 |
|
2005 |
Osterweil LJ, Schweik CM, Sondheimer NK, Thomas CW. Analyzing processes for E-government application development: The emergence of process definition languages Journal of E-Government. 1: 63-87. DOI: 10.1300/J399V01N04_05 |
0.489 |
|
2005 |
Cass AG, Osterweil LJ. Process support to help novices design software faster and better 20th Ieee/Acm International Conference On Automated Software Engineering, Ase 2005. 295-299. DOI: 10.1145/1101908.1101954 |
0.818 |
|
2003 |
Cass AG, Sutton SM, Osterweil LJ. Formalizing rework in software processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2786: 16-31. |
0.829 |
|
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.777 |
|
2002 |
Smith RL, Avrunin GS, Clarke LA, Osterweil LJ. PROPEL: An approach supporting property elucidation Proceedings - International Conference On Software Engineering. 11-21. |
0.485 |
|
2002 |
Osterweil LJ, Kruchten P, Fowler M, Schäfer W. Lightweight vs. heavyweight processes: Is this even the right question? Proceedings - International Conference On Software Engineering. 649. |
0.364 |
|
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.574 |
|
2001 |
Cass AG, Osterweil LJ. Applying real-time scheduling techniques to software processes: A position paper Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2077: 145-151. |
0.806 |
|
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.754 |
|
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.594 |
|
2000 |
Osterweil L, Clarke LA. Little-JIL Acm Sigsoft Software Engineering Notes. 25: 104. DOI: 10.1145/340855.341113 |
0.511 |
|
2000 |
Cass AG, Osterweil LJ. Design guidance through the controlled application of constraints 10th International Workshop On Software Specification and Design, Iwssd 2000. 195-199. DOI: 10.1109/IWSSD.2000.891141 |
0.8 |
|
2000 |
Bhattacharyya S, Osterweil LJ. Relocation in mobile process-centered software development environments Proceedings - International Workshop On Database and Expert Systems Applications, Dexa. 2000: 198-203. DOI: 10.1109/DEXA.2000.875026 |
0.322 |
|
2000 |
Wise A, Cass AG, Lerner BS, McCall EK, Osterweil LJ, Sutton SM. Using Little-JIL to coordinate agents in software engineering Proceedings Ase 2000: 15th Ieee International Conference On Automated Software Engineering. 155-163. DOI: 10.1109/ASE.2000.873660 |
0.756 |
|
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.812 |
|
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.512 |
|
1999 |
Jensen D, Dong Y, Staudt Legner B, McCall EK, Osterweil LJ, Sutton SM, Wise A. Coordinating agent activities in knowledge discovery processes Acm Sigsoft Software Engineering Notes. 24: 137-146. DOI: 10.1145/295666.295681 |
0.785 |
|
1998 |
Song X, Osterweil LJ. Engineering software design processes to guide process execution Ieee Transactions On Software Engineering. 24: 759-775. DOI: 10.1109/32.713330 |
0.492 |
|
1998 |
Lerner BS, Osterweil LJ, Sutton SM, Wise A. Programming process coordination in little-JIL Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1487: 127-131. DOI: 10.1007/3-540-64956-5_13 |
0.401 |
|
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.544 |
|
1997 |
Sutton SM, Osterweil LJ. The design of a next-generation process language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1301: 142-158. |
0.411 |
|
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.575 |
|
1996 |
Osterweil L. Strategic directions in software quality Acm Computing Surveys. 28: 738-750. DOI: 10.1145/242223.242288 |
0.301 |
|
1995 |
Sutton SM, Heimbigner D, Osterweil LJ. APPL/A: A Language for Software Process Programming Acm Transactions On Software Engineering and Methodology (Tosem). 4: 221-286. DOI: 10.1145/214013.214017 |
0.518 |
|
1995 |
Eassa FE, Osterweil LJ, Mageed MZA. AIDA: A dynamic analyzer for Ada programs The Journal of Systems and Software. 31: 239-255. DOI: 10.1016/0164-1212(94)00101-4 |
0.365 |
|
1994 |
Song X, Osterweil LJ. Experience with an Approach to Comparing Software Design Methodologies Ieee Transactions On Software Engineering. 20: 364-384. DOI: 10.1109/32.286419 |
0.398 |
|
1992 |
Olender KM, Osterweil LJ. Interprocedural static analysis of sequencing constraints Acm Transactions On Software Engineering and Methodology (Tosem). 1: 21-52. DOI: 10.1145/125489.122822 |
0.332 |
|
1992 |
Osterweil L, Clarke L. A proposed testing and analysis research initiative Ieee Software. 9: 89-96. DOI: 10.1109/52.156901 |
0.568 |
|
1992 |
Song X, Osterweil LJ. Toward Objective, Systematic Design-Method Comparisons Ieee Software. 9: 43-53. DOI: 10.1109/52.136166 |
0.328 |
|
1990 |
Sutton SM, Heimbigner D, Osterweil LJ. Language constructs for managing change in process-centered environments Acm Sigsoft Software Engineering Notes. 15: 206-217. DOI: 10.1145/99278.99296 |
0.455 |
|
1990 |
Clemm G, Osterweil L. A mechanism for environment integration Acm Transactions On Programming Languages and Systems (Toplas). 12: 1-25. DOI: 10.1145/77606.77607 |
0.375 |
|
1990 |
Olender KM, Osterweil LJ. Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation Ieee Transactions On Software Engineering. 16: 268-280. DOI: 10.1109/32.48935 |
0.345 |
|
1989 |
Richardson D, Aha S, Osterweil L. Integrating testing techniques through process programming Acm Sigsoft Software Engineering Notes. 14: 219-228. DOI: 10.1145/75309.75333 |
0.457 |
|
1989 |
Olender K, Osterweil L. Cesar: a static sequencing constraint analyzer Acm Sigsoft Software Engineering Notes. 14: 66-74. DOI: 10.1145/75309.75317 |
0.309 |
|
1985 |
Wilson C, Osterweil LJ. Omega—A Data Flow Analysis Tool for the C Programming Language Ieee Transactions On Software Engineering. 832-838. DOI: 10.1109/Tse.1985.232542 |
0.337 |
|
1983 |
Osterweil LJ. Toolpack—An Experimental Software Development Environment Research Project Ieee Transactions On Software Engineering. 673-685. DOI: 10.1109/Tse.1983.235432 |
0.379 |
|
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.574 |
|
1981 |
Osterweil L. Software Environment Research: Directions for the Next Five Years Computer. 14: 35-43. DOI: 10.1109/C-M.1981.220412 |
0.319 |
|
1980 |
Taylor RN, Osterweil LJ. Anomaly detection in concurrent software by static data flow analysis Ieee Transactions On Software Engineering. 265-278. DOI: 10.1109/Tse.1980.234488 |
0.36 |
|
1979 |
Osterweil LJ, Brown JR, Stucki LG. ASSET: A life cycle verification and visibility system The Journal of Systems and Software. 1: 77-86. DOI: 10.1016/0164-1212(79)90007-4 |
0.361 |
|
1976 |
Fosdick LD, Osterweil LJ. Data Flow Analysis in Software Reliability Acm Computing Surveys (Csur). 8: 305-330. DOI: 10.1145/356674.356676 |
0.303 |
|
1976 |
Osterweil LJ, Fosdick LD. Dave—a validation error detection and documentation system for fortran programs Software: Practice and Experience. 6: 473-486. DOI: 10.1002/Spe.4380060405 |
0.308 |
|
Show low-probability matches. |