Yi Deng

Publication Activity (10 Years)

Years Active: 1990-2010
Publications (10 Years): 0

Publications

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