The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lori A. Clarke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young
    Foundations for the Arcadia Environment Architecture. [Citation Graph (3, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:1-13 [Conf]
  2. Leon J. Osterweil, Lori A. Clarke
    Frameworks for Reasoning about Agent Based Systems. [Citation Graph (0, 0)][DBLP]
    Agents Workshop on Infrastructure for Multi-Agent Systems, 2000, pp:64-71 [Conf]
  3. Shangzhu Wang, George S. Avrunin, Lori A. Clarke
    Architectural Building Blocks for Plug-and-Play System Design. [Citation Graph (0, 0)][DBLP]
    CBSE, 2006, pp:98-113 [Conf]
  4. Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander E. Wise, Daniel Rainey
    A process-driven tool to support online dispute resolution. [Citation Graph (0, 0)][DBLP]
    DG.O, 2006, pp:356-357 [Conf]
  5. Lee Osterwil, Norman K. Sondheimer, Anthony Butterfield, Lori A. Clarke, Robert Marx, Matthew P. Billmers, Joel Sieh, Bruce Southard, David Su
    Trust Resource Management in Digital Government Through Process Modeling. [Citation Graph (0, 0)][DBLP]
    DG.O, 2003, pp:- [Conf]
  6. Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise
    Using process definitions to drive user interactions with digital government systems. [Citation Graph (0, 0)][DBLP]
    DG.O, 2007, pp:310-311 [Conf]
  7. Gleb Naumovich, George S. Avrunin, Lori A. Clarke
    An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:338-354 [Conf]
  8. Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
    Applying Static Analysis to Software Architectures. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:77-93 [Conf]
  9. Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
    A Comparison of Data Flow Path Selection Criteria. [Citation Graph (0, 0)][DBLP]
    ICSE, 1985, pp:244-251 [Conf]
  10. Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
    The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:37-46 [Conf]
  11. Matthew B. Dwyer, Lori A. Clarke
    A Flexible Architecture for Building Data Flow Analyzers. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:554-564 [Conf]
  12. Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
    A Compact Petri Net Representation for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 1995, pp:147-157 [Conf]
  13. Douglas L. Long, Lori A. Clarke
    Task Interaction Graphs for Concurrency Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:44-52 [Conf]
  14. Eric K. McCall, Lori A. Clarke, Leon J. Osterweil
    An Adaptable Generation Approach to Agenda Management. [Citation Graph (0, 0)][DBLP]
    ICSE, 1998, pp:282-291 [Conf]
  15. Gleb Naumovich, George S. Avrunin, Lori A. Clarke
    Data Flow Analysis for Checking Properties of Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:399-410 [Conf]
  16. Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
    Verification of Concurrent Software with FLAVERS. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:594-595 [Conf]
  17. Debra J. Richardson, Lori A. Clarke
    A Partition Analysis Method to Increase Program Reliability. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:244-253 [Conf]
  18. Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
    PROPEL: an approach supporting property elucidation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:11-21 [Conf]
  19. Jianbin Tan, George S. Avrunin, Lori A. Clarke
    Heuristic-Based Model Refinement for FLAVERS. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:635-644 [Conf]
  20. Jianbin Tan, George S. Avrunin, Lori A. Clarke
    Managing space for finite-state verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:152-161 [Conf]
  21. Peri L. Tarr, Lori A. Clarke
    Consistency Management for Complex Applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 1998, pp:230-239 [Conf]
  22. Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
    Interface Control and Incremental Development in the PIC Environment. [Citation Graph (0, 0)][DBLP]
    ICSE, 1985, pp:75-82 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    ISPW, 2005, pp:347-359 [Conf]
  24. Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery Boose, David R. Foster
    Process Technology to Facilitate the Conduct of Science. [Citation Graph (0, 0)][DBLP]
    ISPW, 2005, pp:403-415 [Conf]
  25. Jack C. Wileden, Lori A. Clarke
    Feedback-directed development of complex software systems. [Citation Graph (0, 0)][DBLP]
    ISPW, 1984, pp:89-92 [Conf]
  26. Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf
    Facilitating process prototyping by controlling the impact of change. [Citation Graph (0, 0)][DBLP]
    ISPW, 1988, pp:163-166 [Conf]
  27. Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil
    Definition and Analysis of Election Processes. [Citation Graph (0, 0)][DBLP]
    SPW/ProSim, 2006, pp:178-185 [Conf]
  28. Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
    Automatic Fault Tree Derivation from Little-JIL Process Definitions. [Citation Graph (0, 0)][DBLP]
    SPW/ProSim, 2006, pp:150-158 [Conf]
  29. A. T. Chamillard, Lori A. Clarke
    Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:24-38 [Conf]
  30. Lori A. Clarke
    Finite state verification: An emerging technology for validating software systems (abstract only). [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:146- [Conf]
  31. Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
    Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:97-108 [Conf]
  32. Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
    Verifying properties of process definitions. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:96-101 [Conf]
  33. Douglas L. Long, Lori A. Clarke
    Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1991, pp:21-35 [Conf]
  34. Andy Podgurski, Lori A. Clarke
    The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1989, pp:168-178 [Conf]
  35. Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
    Using model checking with symbolic execution to verify parallel numerical programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:157-168 [Conf]
  36. Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke
    An Information Flow Model of Fault Detection. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:182-192 [Conf]
  37. Leon J. Osterweil, Lori A. Clarke
    Continuous Self-Evaluation for the Self-Improvement of Software. [Citation Graph (0, 0)][DBLP]
    IWSAS, 2000, pp:27-39 [Conf]
  38. Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
    Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. [Citation Graph (0, 0)][DBLP]
    PASTE, 1999, pp:57-65 [Conf]
  39. Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
    Efficient Composite Data Flow Analysis Applied to Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    PASTE, 1998, pp:51-58 [Conf]
  40. Lori A. Clarke, Jack C. Wileden, Alexander L. Wolf
    Object Management Support for Software Development Environments. [Citation Graph (0, 0)][DBLP]
    POS, 1987, pp:363-381 [Conf]
  41. Peri L. Tarr, Jack C. Wileden, Lori A. Clarke
    Extending and Limiting PGraphite-style Persistence. [Citation Graph (0, 0)][DBLP]
    POS, 1990, pp:74-86 [Conf]
  42. Lori A. Clarke, Debra J. Richardson, Steven J. Zeil
    TEAM: A Support Environment for Testing, Evaluation, and Analysis. [Citation Graph (0, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:153-162 [Conf]
  43. Matthew B. Dwyer, Lori A. Clarke
    Data Flow Analysis for Verifying Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:62-75 [Conf]
  44. Gleb Naumovich, Lori A. Clarke
    Classifying properties: an alternative to the safety-liveness classification. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:159-168 [Conf]
  45. Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
    Verification of Communication Protocols Using Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:93-105 [Conf]
  46. Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf
    The impact project: determining the impact of software engineering research upon practice (panel session). [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:108-109 [Conf]
  47. Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil
    An architecture for flexible, evolvable process-driven user-guidance environments. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:33-43 [Conf]
  48. Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
    Heuristic-guided counterexample search in FLAVERS. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:201-210 [Conf]
  49. Peri L. Tarr, Lori A. Clarke
    PLEIADES: An Object Management System for Software Engineering Environments. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:56-70 [Conf]
  50. Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke
    User guidance for creating precise and accessible property specifications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:208-218 [Conf]
  51. Lori A. Clarke
    How Do We Improve Software Quality and How Do We Show that it Matters? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:203- [Journal]
  52. Lori A. Clarke, Peri L. Tarr
    New Functionality for Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:193- [Journal]
  53. Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
    FLAVERS: A finite state verification technique for software systems. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 2002, v:41, n:1, pp:140-0 [Journal]
  54. Lori A. Clarke, Debra J. Richardson
    Applications of symbolic evaluation. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1985, v:5, n:1, pp:15-35 [Journal]
  55. Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf
    A Comparative Evaluation of Object Definition Techniques. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1990, v:12, n:4, pp:670-699 [Journal]
  56. Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander E. Wise
    A Framework for Event-Based Software Integration. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:4, pp:378-421 [Journal]
  57. Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
    Flow analysis for verifying properties of concurrent software systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2004, v:13, n:4, pp:359-430 [Journal]
  58. Paul W. Abrahams, Lori A. Clarke
    Compile-Time Analysis of Data List-Format List Correspondences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:6, pp:612-617 [Journal]
  59. Lori A. Clarke
    A System to Generate Test Data and Symbolically Execute Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1976, v:2, n:3, pp:215-222 [Journal]
  60. Lori A. Clarke, Johnette Hassell, Debra J. Richardson
    A Close Look at Domain Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1982, v:8, n:4, pp:380-390 [Journal]
  61. Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
    A Formal Evaluation of Data Flow Path Selection Criteria. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1318-1332 [Journal]
  62. Matthew B. Dwyer, Lori A. Clarke
    A Compact Petri Net Representation and Its Implications for Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:11, pp:794-811 [Journal]
  63. Andy Podgurski, Lori A. Clarke
    A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:9, pp:965-979 [Journal]
  64. Debra J. Richardson, Lori A. Clarke
    Partition Analysis: A Method Combining Testing and Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:12, pp:1477-1490 [Journal]
  65. Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
    A Model of Visibility Control. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:4, pp:512-520 [Journal]
  66. Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
    The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:3, pp:250-263 [Journal]
  67. Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil
    Representing Process Variation with a Process Family. [Citation Graph (0, 0)][DBLP]
    ICSP, 2007, pp:109-120 [Conf]

  68. An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. [Citation Graph (, )][DBLP]


  69. Specifying and verifying requirements for election processes. [Citation Graph (, )][DBLP]


  70. Dispute prevention and dispute resolution in networked health information technology. [Citation Graph (, )][DBLP]


  71. Analyzing medical processes. [Citation Graph (, )][DBLP]


  72. Using software engineering technology to improve the quality of medical processes. [Citation Graph (, )][DBLP]


  73. Plug-and-Play Architectural Design and Verification. [Citation Graph (, )][DBLP]


  74. 2nd International Workshop on Software Engineering in Health Care (SEHC 2010). [Citation Graph (, )][DBLP]


  75. Engineering Medical Processes to Improve Their Safety. [Citation Graph (, )][DBLP]


  76. Verification support for plug-and-play architectural design. [Citation Graph (, )][DBLP]


  77. Rigorously Defining and Analyzing Medical Processes: An Experience Report. [Citation Graph (, )][DBLP]


  78. Experience in using a process language to define scientific workflow and generate dataset provenance. [Citation Graph (, )][DBLP]


  79. Getting the Details Right. [Citation Graph (, )][DBLP]


Search in 0.145secs, Finished in 0.148secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002