Yi Deng - RankMe

86 papers A* 1A 3B 8C 18Misc 2Journal 29Unranked 24

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	A user-centric network communication broker for multimedia collaborative computing. Multim. Tools Appl. Chi Zhang, Seyed Masoud Sadjadi, Weixiang Sun, Raju Rangaswami, Yi Deng
2010	J	`jnl`	Identification of file infecting viruses through detection of self-reference replication. J. Comput. Virol. Jose Andre Morales, Peter J. Clarke, Yi Deng
2010	J	`jnl`	Survey of data management and analysis in disaster situations. J. Syst. Softw. Vagelis Hristidis, Shu-Ching Chen, Tao Li, Steven Luis, Yi Deng
2009	—	`conf`	An autonomic framework for user-centric communication services. CASCON Andrew A. Allen, Yali Wu, Peter J. Clarke, Tariq M. King, Yi Deng
2009	A*	`conf`	Evolutionary document summarization for disaster management. SIGIR Dingding Wang, Li Zheng, Tao Li, Yi Deng
2009	Misc	`conf`	PIRE: a global living laboratory for cyberinfrastructure application enablement. Richard Tapia Celebration of Diversity in Computing Conference Seyed Masoud Sadjadi, Shuyi Chen, Scott Graham, Steven Luis, Yi Deng, Borko Furht, Pele Martinez, Nick Bowen, Juan Caraballo
2009	—	`conf`	Towards the Operational Semantics of User-Centric Communication Models. COMPSAC (1) Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Espinoza, Peter J. Clarke, Yi Deng
2008	—	`conf`	A Self-Configuring Communication Virtual Machine. ICNSC Seyed Masoud Sadjadi, Selim Kalayci, Yi Deng
2008	C	`conf`	Building Global Ecosystem for Collaborative Computing Research and Education. SEKE Yi Deng
2008	J	`jnl`	CVM - A communication virtual machine. J. Syst. Softw. Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Vagelis Hristidis, Raju Rangaswami, Yingbo Wang
2008	J	`jnl`	Characterization of virus replication. J. Comput. Virol. Jose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria
2008	—	`conf`	Characterizing and Detecting Virus Replication. ICONS Jose Andre Morales, Peter J. Clarke, Yi Deng
2008	—	`conf`	Towards a business continuity information network for rapid disaster recovery. DG.O Khalid Saleem, Steven Luis, Yi Deng, Shu-Ching Chen, Vagelis Hristidis, Tao Li
2007	C	`conf`	Automatic Generation of User-Centric Multimedia Communication Services. IPCCC Raju Rangaswami, Seyed Masoud Sadjadi, Nagarajan Prabakar, Yi Deng
2006	—	`conf`	A Communication Virtual Machine. COMPSAC (1) Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Chi Zhang, Vagelis Hristidis, Raju Rangaswami, Nagarajan Prabakar
2006	—	`conf`	A Declarative Approach for Specifying User-Centric Communication. CTS Peter J. Clarke, Vagelis Hristidis, Yingbo Wang, Nagarajan Prabakar, Yi Deng
2006	C	`conf`	A User-Centric Network Communication Broker for Multimedia Collaborative Computing. CollaborateCom Chi Zhang, Seyed Masoud Sadjadi, Weixiang Sun, Raju Rangaswami, Yi Deng
2006	—	`conf`	A flexible approach for electronic medical records exchange. HIKM Vagelis Hristidis, Peter J. Clarke, Nagarajan Prabakar, Yi Deng, Jeffrey A. White, Redmond P. Burke
2006	J	`jnl`	A formal model-based approach for developing an interoperable mobile agent system. Multiagent Grid Syst. Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng
2006	C	`conf`	Achieving a Better Middleware Design through Formal Modeling and Analysis. SEKE Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He
2006	—	`conf`	Communication Model to Support Rapid Application Development. Communications in Computing Yingbo Wang, Peter J. Clarke, Yi Deng
2006	J	`jnl`	Testing and evaluating virus detectors for handheld devices. J. Comput. Virol. Jose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria
2005	C	`conf`	Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. SEKE Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
2005	J	`jnl`	Performance modeling and analysis of software architectures: An aspect-oriented UML based approach. Sci. Comput. Program. Kendra M. L. Cooper, Lirong Dai, Yi Deng
2004	—	`conf`	A Component Framework for Resource Management Systems. Software Engineering Research and Practice Jing Dong, Rucha Khisti, Kendra M. L. Cooper, Yi Deng
2004	—	`conf`	A Formal Approach to Designing Secure Software Architectures. HASE Huiqun Yu, Xudong He, Yi Deng, Lian Mo
2004	C	`conf`	Applying Aspect-Orientation in Designing Security Systems: A Case Study. SEKE Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra M. L. Cooper
2004	J	`jnl`	Consistency verification in modeling of real-time systems. IEEE Trans. Robotics Autom. Yi Deng, Jiacun Wang, MengChu Zhou
2004	J	`jnl`	Constraint Propagation And Progressive Verification For Component-Based Process Model. Int. J. Softw. Eng. Knowl. Eng. Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai
2004	J	`jnl`	Formally analyzing software architectural specifications using SAM . J. Syst. Softw. Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng
2004	C	`conf`	Integrating Security Administration into Software Architectures Design. SEKE Huiqun Yu, Xudong He, Yi Deng, Lian Mo
2004	—	`conf`	Performance Modeling and Analysis of Software Architectures: An Aspect-Oriented UML Based Approach. Software Engineering Research and Practice Kendra M. L. Cooper, Lirong Dai, Yi Deng
2003	J	`jnl`	A Formal Architectural Model for Logical Agent Mobility. IEEE Trans. Software Eng. Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding
2003	J	`jnl`	An Approach for Modeling and Analysis of Security System Architectures. IEEE Trans. Knowl. Data Eng. Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov
2003	—	`conf`	Developing a Formal Design Analysis Framework. Software Engineering Research and Practice Kendra M. L. Cooper, Lirong Dai, Yi Deng, Jing Dong
2003	C	`conf`	Formal Software Architecture Design of Secure Distributed Systems. SEKE Huiqun Yu, Xudong He, Shu Gao, Yi Deng
2002	B	`conf`	A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC Huiqun Yu, Xudong He, Yi Deng, Lian Mo
2002	J	`jnl`	A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. Xudong He, Yi Deng
2002	C	`conf`	Formal Analysis of Real-Time Systems with SAM. ICFEM Huiqun Yu, Xudong He, Yi Deng, Lian Mo
2002	J	`jnl`	Guest Editors' Introduction: Special Issue on Embedded Software Engineering. Int. J. Softw. Eng. Knowl. Eng. Yi Deng, Farokh B. Bastani
2002	C	`conf`	Model checking software architecture specifications in SAM. SEKE Xudong He, Junhua Ding, Yi Deng
2002	—	`conf`	Modeling and Analyzing SMIL Documents in SAM. ISMSE Huiqun Yu, Xudong He, Shu Gao, Yi Deng
2001	—	`conf`	A Visual Approach to XML Document Design and Transformation. HCC Kang Zhang, Da-Qian Zhang, Yi Deng
2001	C	`conf`	Formal Analysis of Software Security System Architectures. ISADS Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai
2001	J	`jnl`	Graphical Transformation of Multimedia XML Documents. Ann. Softw. Eng. Kang Zhang, Da-Qian Zhang, Yi Deng
2001	Misc	`conf`	Managing security policies in a distributed environment using eXtensible markup language (XML). SAC Nathan N. Vuong, Geoffrey S. Smith, Yi Deng
2000	J	`jnl`	Compositional time Petri nets and reduction rules. IEEE Trans. Syst. Man Cybern. Part B Jiacun Wang, Yi Deng, MengChu Zhou
2000	J	`jnl`	Guest Editors' Introduction - Best Papers from SEKE'98. Int. J. Softw. Eng. Knowl. Eng. Mark J. Gerken, Yi Deng
2000	B	`conf`	Modeling mobile agent systems with high level Petri nets. SMC Dianxiang Xu, Yi Deng
2000	J	`jnl`	Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models. Int. J. Softw. Eng. Knowl. Eng. Jiacun Wang, Yi Deng, Chun Jin
2000	J	`jnl`	Reachability analysis of real-time systems using time Petri nets. IEEE Trans. Syst. Man Cybern. Part B Jiacun Wang, Yi Deng, Gang Xu
2000	J	`jnl`	Specifying Software Architectural Connectors in SAM. Int. J. Softw. Eng. Knowl. Eng. Xudong He, Yi Deng
1999	—	`conf`	A Framework for Implementing Role-Based Access Control Using CORBA Security Service. ACM Workshop on Role-Based Access Control Konstantin Beznosov, Yi Deng
1999	A	`conf`	A Resource Access Decision Service for CORBA-Based Distributed Systems. ACSAC Konstantin Beznosov, Yi Deng, Bob Blakley, Carol C. Burt, John F. Barkley
1999	B	`conf`	Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. COMPSAC Kent Wreder, Yi Deng
1999	J	`jnl`	Architecture-driven modeling of real-time concurrent systems with applications in FMS. J. Syst. Softw. Yi Deng, Chia-Rung Yang
1999	J	`jnl`	Incremental modeling and verification of flexible manufacturing systems. J. Intell. Manuf. Jiacun Wang, Yi Deng
1999	J	`jnl`	Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. Ann. Softw. Eng. Yi Deng, Jiacun Wang
1999	J	`jnl`	Introducing software architecture specification and analysis in SAM through an example. Inf. Softw. Technol. Jiacun Wang, Xudong He, Yi Deng
1999	B	`conf`	Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. COMPSAC Jiacun Wang, Chun Jin, Yi Deng
1999	B	`conf`	Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. ICECCS Jiacun Wang, Chun Jin, Yi Deng
1998	A	`conf`	A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability. ICDCS Guohong Cao, Mukesh Singhal, Yi Deng, Naphtali Rishe, Wei Sun
1998	B	`conf`	Component-level reduction rules for time Petri nets with application in C2 systems. SMC Jiacun Wang, Yi Deng
1998	C	`conf`	Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. ICFEM Yi Deng, Jiacun Wang, Rakesh Sinha
1998	—	`conf`	Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. HASE Yi Deng, Jiacun Wang
1997	—	`conf`	A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. HICSS (1) Yi Deng, Shengkai Lu, Michael Evangelist
1996	C	`conf`	A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist
1996	A	`conf`	Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. ICDCS Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun
1995	—	`conf`	An Architecture for Operating System Support of Distributed Multimedia Systems. IW-MMDBMS Ya Xu, Cyril U. Orji, Yi Deng, Naphtali Rishe
1995	C	`conf`	An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. SEKE Shengkai Lu, Yi Deng
1995	—	`conf`	Efficient algorithms for detection and resolution of distributed deadlocks. SPDP Shigang Chen, Yi Deng, Wei Sun, Naphtali Rishe
1995	J	`jnl`	Florida International University High Performance Database Research Center. SIGMOD Rec. Naphtali Rishe, Wei Sun, David Barton, Yi Deng, Cyril U. Orji, Michael Alexopoulos, Leonard Loureiro, Carlos Ordonez, Mario R. Sánchez, Artyom Shaposhnikov
1994	J	`jnl`	Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems. Int. J. Softw. Eng. Knowl. Eng. Yi Deng, Shi-Kuo Chang, Xiaola Lin
1994	—	`conf`	Panther: An Inexpensive and Integrated Multimedia Environment. ICMCS Sha Guo, Wei Sun, Yi Deng, Wei Li, Qing Liu, Weiping Zhang
1994	C	`conf`	Semantic query optimization by class reference reduction in object- oriented databases. SEKE Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng
1993	—	`conf`	An Instant and Accurate Estimation Method for Joins and Selection in a Retrieval-Intensive Environment. SIGMOD Conference Wei Sun, Yibei Ling, Naphtali Rishe, Yi Deng
1993	C	`conf`	Executable Specifications for the Design of Object-Oriented Systems. SEKE Yi Deng, Raimund K. Ege, Wei Sun
1993	—	`conf`	Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. Application and Theory of Petri Nets Yi Deng, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich
1993	C	`conf`	Intermediate Executable Architectural Specifications for KBSA, Part II. SEKE Yi Deng
1993	—	`ch.`	Unifying Multi-Paradigms in Software System Design. Advances in Software Engineering and Knowledge Engineering Yi Deng, Shi-Kuo Chang
1992	C	`conf`	Unifying Multi-Paradigms in Software System Design. SEKE Yi Deng, Shi-Kuo Chang
1991	J	`jnl`	A Framework for the Modeling and Prototyping of Distributed Information Systems. Int. J. Softw. Eng. Knowl. Eng. Yi Deng, Shi-Kuo Chang
1991	B	`conf`	A HyperNet Model for Large Hypertext Systems. DASFAA Yi Deng, Shi-Kuo Chang
1991	—	`conf`	Multi-level specification and protocol design for distributed multimedia communication. COOCS Taieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang
1990	J	`jnl`	A G-Net Model for Knowledge Representation and Reasoning. IEEE Trans. Knowl. Data Eng. Yi Deng, Shi-Kuo Chang
1990	B	`conf`	Intelligent database retrieval by visual reasoning. COMPSAC Shi-Kuo Chang, Yi Deng