| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lori A. Clarke |
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm.  |
Int. J. Software and Informatics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Emery R. Boose, Rodion M. Podorozhny, Alexander E. Wise |
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance. |
IEEE T. Automation Science and Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Lori A. Clarke, Jens H. Weber-Jahnke |
2nd International Workshop on Software Engineering in Health Care (SEHC 2010). |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Lori A. Clarke |
Supporting negotiation and dispute resolution with computing and communication technologies. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori A. Clarke, Leon J. Osterweil, George S. Avrunin |
Supporting human-intensive systems. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heather M. Conboy, George S. Avrunin, Lori A. Clarke |
Process-based derivation of requirements for medical devices. |
IHI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman K. Sondheimer, Ethan Katsh, Lori A. Clarke, Leon J. Osterweil, Daniel Rainey |
Dispute prevention and dispute resolution in networked health information technology. |
D.GO |
2009 |
DBLP DOI BibTeX RDF |
misunderstandings, security, process, accuracy, medical information systems, electronic health records, online dispute resolution, disputes |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
Assume-guarantee reasoning |
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program |
| 1 | Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman |
Analyzing medical processes. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
medical processes, model checking, finite-state verification, property specifications |
| 1 | Lori A. Clarke, George S. Avrunin, Leon J. Osterweil |
Using software engineering technology to improve the quality of medical processes. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
medical processes, process verification, continuous process improvement |
| 1 | Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley |
Experience in using a process language to define scientific workflow and generate dataset provenance. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
scientific workflow, data provenance, continuous process improvement |
| 1 | Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil |
Specifying and verifying requirements for election processes. |
DG.O |
2008 |
DBLP DOI BibTeX RDF |
verification, requirements, process, elections, properties |
| 1 | Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion M. Podorozhny, Julian L. Hadley, Alexander E. Wise, David R. Foster |
Ensuring reliable datasets for environmental models and forecasts. |
Ecological Informatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil |
Representing Process Variation with a Process Family. |
ICSP |
2007 |
DBLP DOI BibTeX RDF |
process families, process variants, process instance generation, software product lines, process variation |
| 1 | Lori A. Clarke |
Getting the Details Right. |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
Requirements engineering, Finite-state verification, Property specifications, Medical Safety |
| 1 | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
Plug-and-Play Architectural Design and Verification. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
DG.O |
2007 |
DBLP DOI BibTeX RDF |
dispute resolution, process driven interfaces, prototyping, process, online dispute resolution, process definition |
| 1 | Lori A. Clarke, David S. Rosenblum |
A historical perspective on runtime assertion checking in software development. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
assume-guarantee reasoning |
| 1 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Using model checking with symbolic execution to verify parallel numerical programs. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program |
| 1 | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
Verification support for plug-and-play architectural design. |
ROSATEA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shangzhu Wang, George S. Avrunin, Lori A. Clarke |
Architectural Building Blocks for Plug-and-Play System Design. |
CBSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
Automatic Fault Tree Derivation from Little-JIL Process Definitions. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil |
Definition and Analysis of Election Processes. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianbin Tan, George S. Avrunin, Lori A. Clarke |
Managing space for finite-state verification. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
FLAVERS, ZDD, BDD, finite-state verification, LTSA |
| 1 | Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke |
User guidance for creating precise and accessible property specifications. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
property specifications |
| 1 | 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. |
DG.O |
2006 |
DBLP DOI BibTeX RDF |
dispute resolution, grievance mediation, prototyping, participatory design, process, online dispute resolution, process technology |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery R. Boose, David R. Foster |
Process Technology to Facilitate the Conduct of Science. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich |
Flow analysis for verifying properties of concurrent software systems. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
model checking, Dataflow analysis, finite-state verification |
| 1 | Jianbin Tan, George S. Avrunin, Lori A. Clarke |
Heuristic-Based Model Refinement for FLAVERS. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue |
Heuristic-guided counterexample search in FLAVERS. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
FLAVERS, heuristic search, counterexamples |
| 1 | Lori A. Clarke, Laurie Dillon, Walter F. Tichy (eds.) |
Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA |
ICSE |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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. |
DG.O |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
FLAVERS: A finite state verification technique for software systems. |
IBM Systems Journal |
2002 |
DBLP BibTeX RDF |
|
| 1 | Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
PROPEL: an approach supporting property elucidation. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil |
An architecture for flexible, evolvable process-driven user-guidance environments. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
user interface design, tool integration, process guidance |
| 1 | Leon J. Osterweil, Lori A. Clarke |
Continuous Self-Evaluation for the Self-Improvement of Software. |
IWSAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, Lori A. Clarke |
Frameworks for Reasoning about Agent Based Systems. |
Agents Workshop on Infrastructure for Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
Verifying properties of process definitions. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori A. Clarke |
Finite state verification: An emerging technology for validating software systems (abstract only). |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, Lori A. Clarke |
Classifying properties: an alternative to the safety-liveness classification. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh |
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, George S. Avrunin, Lori A. Clarke |
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, George S. Avrunin, Lori A. Clarke |
Data Flow Analysis for Checking Properties of Concurrent Java Programs. |
ICSE |
1999 |
DBLP BibTeX RDF |
Java, Java, concurrency, static analysis, data flow |
| 1 | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil |
Efficient Composite Data Flow Analysis Applied to Concurrent Programs. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peri L. Tarr, Lori A. Clarke |
Consistency Management for Complex Applications. |
ICSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric K. McCall, Lori A. Clarke, Leon J. Osterweil |
An Adaptable Generation Approach to Agenda Management. |
ICSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
Applying Static Analysis to Software Architectures. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer |
Verification of Concurrent Software with FLAVERS. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
accuracy improving, verification, static analysis, data flow analysis |
| 1 | Matthew B. Dwyer, Lori A. Clarke |
A Compact Petri Net Representation and Its Implications for Analysis. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
coarsened representations, Petri nets, reachability analysis, program representations, Software validation |
| 1 | Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander E. Wise |
A Framework for Event-Based Software Integration. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
Polylith, control integration, interoperability, CORBA, reference model, software integration, FIELD, event-based systems |
| 1 | Lori A. Clarke, Peri L. Tarr |
New Functionality for Programming Languages. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori A. Clarke |
How Do We Improve Software Quality and How Do We Show that it Matters? |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | A. T. Chamillard, Lori A. Clarke |
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Lori A. Clarke |
A Flexible Architecture for Building Data Flow Analyzers. |
ICSE |
1996 |
DBLP BibTeX RDF |
combined data flow problems, data flow analyzer building, high-level component generators, pre-existing components, rapid prototyping, data flow analysis, software prototyping, precision, program diagnostics, design tradeoffs, flexible architecture |
| 1 | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil |
Verification of Communication Protocols Using Data Flow Analysis. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies |
A Compact Petri Net Representation for Concurrent Programs. |
ICSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Lori A. Clarke |
Data Flow Analysis for Verifying Properties of Concurrent Programs. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke |
An Information Flow Model of Fault Detection. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Peri L. Tarr, Lori A. Clarke |
PLEIADES: An Object Management System for Software Engineering Environments. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Montgomery, Lori A. Clarke, Carlo Ghezzi (eds.) |
Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. |
ICSE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Douglas L. Long, Lori A. Clarke |
Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. |
Symposium on Testing, Analysis, and Verification |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Podgurski, Lori A. Clarke |
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
data flow dependence, syntactic dependence, semantic dependence, formal specification, software testing, debugging, program testing, maintenance, formal model, program debugging, program dependences |
| 1 | Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf |
A Comparative Evaluation of Object Definition Techniques. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Peri L. Tarr, Jack C. Wileden, Lori A. Clarke |
Extending and Limiting PGraphite-style Persistence. |
POS |
1990 |
DBLP BibTeX RDF |
|
| 1 | Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil |
A Formal Evaluation of Data Flow Path Selection Criteria. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
formal evaluation, data flow path selection criteria, data-flow relationships, subsumption hierarchy, syntactic information, infeasible-path problem, software engineering, flowcharting |
| 1 | Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden |
The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
AdaPIC tool set, interface control, language features, software system components, Ada, software development, software tools, programming environments, software development environment, analysis tools |
| 1 | Andy Podgurski, Lori A. Clarke |
The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas L. Long, Lori A. Clarke |
Task Interaction Graphs for Concurrency Analysis. |
ICSE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden |
A Model of Visibility Control. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
module interface control, visibility, scope, Computer languages |
| 1 | Lori A. Clarke, Debra J. Richardson, Steven J. Zeil |
TEAM: A Support Environment for Testing, Evaluation, and Analysis. |
Software Development Environments (SDE) |
1988 |
DBLP DOI BibTeX RDF |
|
| 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. |
Software Development Environments (SDE) |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf |
Facilitating process prototyping by controlling the impact of change. |
ISPW |
1988 |
DBLP BibTeX RDF |
|
| 1 | Lori A. Clarke, Jack C. Wileden, Alexander L. Wolf |
Object Management Support for Software Development Environments. |
POS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Debra J. Richardson, Lori A. Clarke |
Partition Analysis: A Method Combining Testing and Verification. |
IEEE Trans. Software Eng. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori A. Clarke, Debra J. Richardson |
Applications of symbolic evaluation. |
Journal of Systems and Software |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil |
A Comparison of Data Flow Path Selection Criteria. |
ICSE |
1985 |
DBLP BibTeX RDF |
|
| 1 | Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden |
Interface Control and Incremental Development in the PIC Environment. |
ICSE |
1985 |
DBLP BibTeX RDF |
|
| 1 | Jack C. Wileden, Lori A. Clarke |
Feedback-directed development of complex software systems. |
ISPW |
1984 |
DBLP BibTeX RDF |
|
| 1 | Lori A. Clarke, Johnette Hassell, Debra J. Richardson |
A Close Look at Domain Testing. |
IEEE Trans. Software Eng. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Debra J. Richardson, Lori A. Clarke |
A Partition Analysis Method to Increase Program Reliability. |
ICSE |
1981 |
DBLP BibTeX RDF |
|
| 1 | Paul W. Abrahams, Lori A. Clarke |
Compile-Time Analysis of Data List-Format List Correspondences. |
IEEE Trans. Software Eng. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori A. Clarke |
A System to Generate Test Data and Symbolically Execute Programs. |
IEEE Trans. Software Eng. |
1976 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")