| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, Amit Sahai, Moti Yung |
Resettable Cryptography in Constant Rounds - the Case of Zero Knowledge.  |
IACR Cryptology ePrint Archive  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, Amit Sahai, Moti Yung |
Resettable Cryptography in Constant Rounds - The Case of Zero Knowledge. |
ASIACRYPT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vagelis Hristidis, Shu-Ching Chen, Tao Li, Steven Luis, Yi Deng |
Survey of data management and analysis in disaster situations. |
Journal of Systems and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chi Zhang, Seyed Masoud Sadjadi, Weixiang Sun, Raju Rangaswami, Yi Deng |
A user-centric network communication broker for multimedia collaborative computing. |
Multimedia Tools Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Andre Morales, Peter J. Clarke, Yi Deng |
Identification of file infecting viruses through detection of self-reference replication. |
Journal in Computer Virology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng |
From Computing to Informatics. |
DMS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Seyed Masoud Sadjadi, Shuyi Chen, S. Graham, S. Luis, Yi Deng, Borko Furht, P. Martinez, N. Bowen, J. Caraballo |
PIRE: a global living laboratory for cyberinfrastructure application enablement. |
Richard Tapia Celebration of Diversity in Computing Conference |
2009 |
DBLP DOI BibTeX RDF |
university/industry partnership, cyberinfrastructure, IT workforce |
| 1 | Yi Deng, Giovanni Di Crescenzo, Dongdai Lin, Dengguo Feng |
Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Espinoza, Peter J. Clarke, Yi Deng |
Towards the Operational Semantics of User-Centric Communication Models. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dingding Wang, Li Zheng, Tao Li, Yi Deng |
Evolutionary document summarization for disaster management. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
evolutionary summarization |
| 1 | Yi Deng, Vipul Goyal, Amit Sahai |
Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy. |
FOCS |
2009 |
DBLP DOI BibTeX RDF |
Reset Attacks, Randomness, Zero-knowledge, Protocol Composition |
| 1 | Andrew A. Allen, Yali Wu, Peter J. Clarke, Tariq M. King, Yi Deng |
An autonomic framework for user-centric communication services. |
CASCON |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng |
Resettably-Sound Resettable Zero Knowledge Arguments for NP. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Dongdai Lin |
On Resettably-Sound Resttable Zero Knowledege Arguments. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Dongdai Lin |
Novel Omega-protocols for NP. |
Science in China Series F: Information Sciences |
2008 |
DBLP DOI BibTeX RDF |
?-protocols, ?-protocols, Hamiltonian cycle, concurrent zero knowledge |
| 1 | Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Vagelis Hristidis, Raju Rangaswami, Yingbo Wang |
CVM - A communication virtual machine. |
Journal of Systems and Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria |
Characterization of virus replication. |
Journal in Computer Virology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianfeng Zhao, Bingbing Xia, Yi Deng |
Strengthening QIM-Based Watermarking by Non-uniform Discrete Cosine Transform. |
Information Hiding |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Andre Morales, Peter J. Clarke, Yi Deng |
Characterizing and Detecting Virus Replication. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
behavior based self reference, replication security, virus detection |
| 1 | Seyed Masoud Sadjadi, Selim Kalayci, Yi Deng |
A Self-Configuring Communication Virtual Machine. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng |
Building Global Ecosystem for Collaborative Computing Research and Education. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Khalid Saleem, Steven Luis, Yi Deng, Shu-Ching Chen, Vagelis Hristidis, Tao Li |
Towards a business continuity information network for rapid disaster recovery. |
DG.O |
2008 |
DBLP DOI BibTeX RDF |
business continuity systems, disaster recovery support, crisis management |
| 1 | Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang |
Stereo Correspondence with Occlusion Handling in a Symmetric Patch-Based Graph-Cuts Model. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
segmentation, occlusion, Stereo, energy minimization, graph-cuts, correspondence |
| 1 | Raju Rangaswami, Seyed Masoud Sadjadi, Nagarajan Prabakar, Yi Deng |
Automatic Generation of User-Centric Multimedia Communication Services. |
IPCCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Dongdai Lin |
Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. |
Inscrypt |
2007 |
DBLP DOI BibTeX RDF |
Resettable Zero Knowledge, Concurrent Soundness, the Bare Public-Key Model, Resettably sound Zero Knowledge |
| 1 | Yi Deng, Dongdai Lin |
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability. |
EUROCRYPT |
2007 |
DBLP DOI BibTeX RDF |
instance-dependent verifiable random functions, simultaneous resettability, zero knowledge |
| 1 | Yi Deng, Giovanni Di Crescenzo, Dongdai Lin |
Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Dongdai Lin |
Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Giovanni Di Crescenzo, Dongdai Lin |
Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Dongdai Lin |
Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng |
A formal model-based approach for developing an interoperable mobile agent system. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria |
Testing and evaluating virus detectors for handheld devices. |
Journal in Computer Virology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vagelis Hristidis, Peter J. Clarke, Nagarajan Prabakar, Yi Deng, Jeffrey A. White, Redmond P. Burke |
A flexible approach for electronic medical records exchange. |
HIKM |
2006 |
DBLP DOI BibTeX RDF |
exchange of medical records, patient record information systems, electronic medical record, HIPAA |
| 1 | Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Chi Zhang, Vagelis Hristidis, Raju Rangaswami, Nagarajan Prabakar |
A Communication Virtual Machine. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
multimedia, middleware, telemedicine, model driven, communication application |
| 1 | Yingbo Wang, Peter J. Clarke, Yi Deng |
Communication Model to Support Rapid Application Development. |
Communications in Computing |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Xueyin Lin |
A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic Programming. |
ECCV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He |
Achieving a Better Middleware Design through Formal Modeling and Analysis. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kendra Cooper, Lirong Dai, Yi Deng |
Performance modeling and analysis of software architectures: An aspect-oriented UML based approach. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang |
A Symmetric Patch-Based Correspondence Model for Occlusion Handling. |
ICCV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He |
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai |
Constraint Propagation And Progressive Verification For Component-Based Process Model. |
International Journal of Software Engineering and Knowledge Engineering |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng |
Formally analyzing software architectural specifications using SAM . |
Journal of Systems and Software |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Jiacun Wang, Mengchu Zhou |
Consistency verification in modeling of real-time systems. |
IEEE Transactions on Robotics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
A Formal Approach to Designing Secure Software Architectures. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper |
Applying Aspect-Orientation in Designing Security Systems: A Case Study. |
SEKE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
Integrating Security Administration into Software Architectures Design. |
SEKE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kendra Cooper, Lirong Dai, Yi Deng |
Performance Modeling and Analysis of Software Architectures: An Aspect-Oriented UML Based Approach. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jing Dong, Rucha Khisti, Kendra Cooper, Yi Deng |
A Component Framework for Resource Management Systems. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding |
A Formal Architectural Model for Logical Agent Mobility. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
modeling, mobility, software architecture, Petri net, Mobile agent, predicate/transition net |
| 1 | Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov |
An Approach for Modeling and Analysis of Security System Architectures. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
security system architecture, authorization service, formal architectural modeling, constraint patterns, access control, Petri nets, formal verification, temporal logic, Software security |
| 1 | Huiqun Yu, Xudong He, Shu Gao, Yi Deng |
Formal Software Architecture Design of Secure Distributed Systems. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Kendra Cooper, Lirong Dai, Yi Deng, Jing Dong |
Developing a Formal Design Analysis Framework. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Farokh B. Bastani |
Guest Editors' Introduction: Special Issue on Embedded Software Engineering. |
International Journal of Software Engineering and Knowledge Engineering |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, Yi Deng |
A Framework for Developing and Analyzing Software Architecture Specifications in SAM. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Shu Gao, Yi Deng |
Modeling and Analyzing SMIL Documents in SAM. |
ISMSE |
2002 |
DBLP DOI BibTeX RDF |
model, multimedia, real-time, Formal method, analysis, SMIL, SAM |
| 1 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
Formal Analysis of Real-Time Systems with SAM. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
model, Real-time system, Petri net, temporal logic, analysis, SAM |
| 1 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
A Formal Method for Analyzing Software Architecture Models in SAM. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
verification, Software architecture, Petri net, temporal logic, SAM |
| 1 | Xudong He, Junhua Ding, Yi Deng |
Model checking software architecture specifications in SAM. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
model checking, software architecture, petri nets, temporal logic |
| 1 | Kang Zhang, Da-Qian Zhang, Yi Deng |
Graphical Transformation of Multimedia XML Documents. |
Ann. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kang Zhang, Da-Qian Zhang, Yi Deng |
A Visual Approach to XML Document Design and Transformation. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan N. Vuong, Geoffrey Smith, Yi Deng |
Managing security policies in a distributed environment using eXtensible markup language (XML). |
SAC |
2001 |
DBLP DOI BibTeX RDF |
managing security policies, Java, XML, XML, RBAC, meta-language, distributed authorization |
| 1 | Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai |
Formal Analysis of Software Security System Architectures. (PDF / PS) |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, Yi Deng, Chun Jin |
Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models. |
International Journal of Software Engineering and Knowledge Engineering |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, Yi Deng |
Specifying Software Architectural Connectors in SAM. |
International Journal of Software Engineering and Knowledge Engineering |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Gerken, Yi Deng |
Guest Editors' Introduction - Best Papers from SEKE'98. |
International Journal of Software Engineering and Knowledge Engineering |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, Yi Deng, Mengchu Zhou |
Compositional time Petri nets and reduction rules. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, Yi Deng, Gang Xu |
Reachability analysis of real-time systems using time Petri nets. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Jiacun Wang |
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. |
Ann. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Chia-Rung Yang |
Architecture-driven modeling of real-time concurrent systems with applications in FMS. |
Journal of Systems and Software |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, Xudong He, Yi Deng |
Introducing software architecture specification and analysis in SAM through an example. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Beznosov, Yi Deng |
A Framework for Implementing Role-Based Access Control Using CORBA Security Service. |
ACM Workshop on Role-Based Access Control |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, Chun Jin, Yi Deng |
Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
Traffic control systems, performance evaluation, stochastic timed Petri nets |
| 1 | Kent Wreder, Yi Deng |
Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
Distributed enterprise systems, Object Management Architecture (OMA), Common Object Request Broker Architecture (CORBA), healthcare information systems, distributed object technology |
| 1 | Konstantin Beznosov, Yi Deng, Bob Blakley, C. Burt, John F. Barkley |
A Resource Access Decision Service for CORBA-Based Distributed Systems. |
ACSAC |
1999 |
DBLP DOI BibTeX RDF |
distributed systems, Access control, CORBA, computer security, RAD |
| 1 | Jiacun Wang, Chun Jin, Yi Deng |
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Traffic control systems, performance evaluation, stochastic timed Petri nets |
| 1 | Yi Deng, Jiacun Wang, Rakesh Sinha |
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Jiacun Wang |
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Guohong Cao, Mukesh Singhal, Yi Deng, Naphtali Rishe, Wei Sun 0002 |
A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability. |
ICDCS |
1998 |
DBLP DOI BibTeX RDF |
fault-tolerance, Quorum, distributed mutual exclusion, synchronization delay |
| 1 | Yi Deng, Shengkai Lu, Michael Evangelist |
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist |
A Formalism for Architectural Modeling of Distributed Real-Time Systems. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun 0002 |
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. |
ICDCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Naphtali Rishe, Wei Sun 0002, David Barton, Yi Deng, Cyril U. Orji, Michael Alexopoulos, Leonard Loureiro, Carlos Ordonez 0002, Mario Sanchez, Artyom Shaposhnikov |
Florida International University High Performance Database Research Center. |
SIGMOD Record |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ya Xu, Cyril U. Orji, Yi Deng, Naphtali Rishe |
An Architecture for Operating System Support of Distributed Multimedia Systems. |
IW-MMDBMS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Shengkai Lu, Yi Deng |
An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Shi-Kuo Chang, Xiaola Lin |
Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems. |
International Journal of Software Engineering and Knowledge Engineering |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sha Guo, Wei Sun 0002, Yi Deng, Wei Li, Qing Liu, Weiping Zhang |
Panther: An Inexpensive and Integrated Multimedia Environment. |
ICMCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Sha Guo, Wei Sun 0002, Naphtali Rishe, Yi Deng |
Semantic query optimization by class reference reduction in object- oriented databases. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich |
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Sun 0002, Yibei Ling, Naphtali Rishe, Yi Deng |
An Instant and Accurate Estimation Method for Joins and Selection in a Retrieval-Intensive Environment. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng |
Intermediate Executable Architectural Specifications for KBSA, Part II. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Raimund K. Ege, Wei Sun 0002 |
Executable Specifications for the Design of Object-Oriented Systems. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Shi-Kuo Chang |
Unifying Multi-Paradigms in Software System Design. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Shi-Kuo Chang |
A Framework for the Modeling and Prototyping of Distributed Information Systems. |
International Journal of Software Engineering and Knowledge Engineering |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Taieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang |
Multi-level specification and protocol design for distributed multimedia communication. |
COOCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Shi-Kuo Chang |
A HyperNet Model for Large Hypertext Systems. |
DASFAA |
1991 |
DBLP BibTeX RDF |
|
| 1 | Yi Deng, Shi-Kuo Chang |
A G-Net Model for Knowledge Representation and Reasoning. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")