Yi Deng

发表

Compositional time Petri nets and reduction rules

MengChu Zhou, Yi Deng, Jiacun Wang, 2000, IEEE Trans. Syst. Man Cybern. Part B.

Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones

Yang Zhang, Yi Deng, Xiaoshan Sun, 2014, 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications.

Towards a business continuity information network for rapid disaster recovery

Yi Deng, Vagelis Hristidis, Tao Li, 2008, DG.O.

urvey of data management and analysis in disaster situations

Yi Deng, Vagelis Hristidis, Tao Li, 2010 .

A behavior based approach to virus detection

Yi Deng, Jose Andre Morales, Peter J. Clarke, 2008 .

Panther: an inexpensive and integrated multimedia environment

Wei Li, Weiping Zhang, Qing Liu, 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

An autonomic framework for user-centric communication services

Tariq M. King, Peter J. Clarke, Yi Deng, 2009, CASCON.

CVM - A communication virtual machine

Peter J. Clarke, Seyed Masoud Sadjadi, Yi Deng, 2008, J. Syst. Softw..

A Self-Configuring Communication Virtual Machine

Selim Kalayci, Seyed Masoud Sadjadi, Yi Deng, 2008, 2008 IEEE International Conference on Networking, Sensing and Control.

A user-centric network communication broker for multimedia collaborative computing

Seyed Masoud Sadjadi, Yi Deng, Chi Zhang, 2006, 2006 International Conference on Collaborative Computing: Networking, Applications and Worksharing.

Performance modeling and analysis of software architectures: An aspect-oriented UML based approach

Yi Deng, Lirong Dai, Kendra Cooper, 2004, Sci. Comput. Program..

An architecture for operating system support of distributed multimedia systems

Naphtali Rishe, Yi Deng, Cyril U. Orji, 1995, Proceedings. International Workshop on Multi-Media Database Management Systems.

Integrating Security Administration into Software Architectures Design

Yi Deng, Huiqun Yu, Xudong He, 2004, SEKE.

Applying Aspect-Orientation in Designing Security Systems: A Case Study

Yi Deng, Huiqun Yu, Konstantin Beznosov, 2004, SEKE.

Specifying and Analyzing Complex Software Systems

Yi Deng, Huiqun Yu, Xudong He, 2006 .

Formal Methods for Specifying and Analyzing Complex Software Systems

Yi Deng, Huiqun Yu, Xudong He, 2006 .

Constraint Propagation And Progressive Verification For Component-Based Process Model

Yi Deng, Jeffrey J. P. Tsai, Jiacun Wang, 2004, Int. J. Softw. Eng. Knowl. Eng..

Formally analyzing software architectural specifications using SAM

Yi Deng, Huiqun Yu, Xudong He, 2004, J. Syst. Softw..

A formal method for analyzing software architecture models in SAM

Yi Deng, Huiqun Yu, Xudong He, 2002, Proceedings 26th Annual International Computer Software and Applications.

Model checking software architecture specifications in SAM

Yi Deng, Xudong He, Junhua Ding, 2002, SEKE '02.

An Approach for Modeling and Analysis of Security System Architectures

Yi Deng, Konstantin Beznosov, Jeffrey J. P. Tsai, 2003, IEEE Trans. Knowl. Data Eng..

Performance analysis of traffic control system based on stochastic timed Petri net models

Yi Deng, Jiacun Wang, Chun Jin, 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).

Modeling mobile agent systems with high level Petri nets

Dianxiang Xu, Yi Deng, Yi Deng, 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models

Dianxiang Xu, Peter J. Clarke, Yi Deng, 2005, SEKE.

A Formal Architectural Model for Logical Agent Mobility

Dianxiang Xu, Yi Deng, Junhua Ding, 2003, IEEE Trans. Software Eng..

Modeling and analyzing SMIL documents in SAM

Yi Deng, Huiqun Yu, Xudong He, 2002, Fourth International Symposium on Multimedia Software Engineering, 2002. Proceedings..

Formal Analysis of Real-Time Systems with SAM

Yi Deng, Huiqun Yu, Xudong He, 2002, ICFEM.

Architecture-centered enterprise system development and integration based on distributed object technology standard

Yi Deng, Kent Wreder, Yi Deng, 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).

Identification of file infecting viruses through detection of self-reference replication

Peter J. Clarke, Yi Deng, Jose Andre Morales, 2010, Journal in Computer Virology.

Automatic Generation of User-Centric Multimedia Communication Services

Seyed Masoud Sadjadi, Yi Deng, Raju Rangaswami, 2007, 2007 IEEE International Performance, Computing, and Communications Conference.

A Communication Virtual Machine

Peter J. Clarke, Seyed Masoud Sadjadi, Yi Deng, 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).

A Declarative Approach for Specifying User-Centric Communication

Peter J. Clarke, Yi Deng, Vagelis Hristidis, 2006, International Symposium on Collaborative Technologies and Systems (CTS'06).

A flexible approach for electronic medical records exchange

Peter J. Clarke, Yi Deng, Vagelis Hristidis, 2006, HIKM '06.

Introducing software architecture specification and analysis in SAM through an example

Jiacun Wang, Xudong He, Yi Deng, 1999, Inf. Softw. Technol..

A Design System Integrating TRIZ Method and Case- Based Reasoning Approach

Yi-Chia Lee and Yi-Shin Deng, Yi Deng, 2006 .

Incremental architectural modeling and verification of real-time concurrent systems

Yi Deng, Jiacun Wang, Rakesh Sinha, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

Component-level reduction rules for time Petri nets with application in C2 systems

Yi Deng, Jiacun Wang, Jiacun Wang, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

Reachability Analysis of Real-Time Systems Using Time Petri Nets

Gang Xu, Yi Deng, Jiacun Wang, 2000 .

THROUGHUT ANALYSIS OF DISCRETE EVENT SYSTEMS BASED ON STOCHASTIC PETRI NETS

MengChu Zhou, Yi Deng, Jiacun Wang, 1999 .

Performance analysis of traffic networks based on Stochastic Timed Petri Net models

Yi Deng, Jiacun Wang, Chun Jin, 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems

Jorge C. A. de Figueiredo, Angelo Perkusich, Yi Deng, 1993, Application and Theory of Petri Nets.

Incremental modeling and verification of flexible manufacturing systems

Yi Deng, Jiacun Wang, Jiacun Wang, 1999, J. Intell. Manuf..

Integrated Architectural Modeling of Real-Time Concurrent Systems with Applications in FMS 1

Yi Deng, Jiacun Wang, Rakesh Kumar Sinha, 1997 .

Formal analysis of software security system architectures

Yi Deng, Jeffrey J. P. Tsai, Jiacun Wang, 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

Improving Accuracy of Static Integer Overflow Detection in Binary

Yang Zhang, Yi Deng, Dengguo Feng, 2015, RAID.

Architecture-driven modeling of real-time concurrent systems with applications in FMS

Yi Deng, Chia-Rung Yang, Yi Deng, 1999, J. Syst. Softw..

Engineering access control for distributed enterprise applications

Yi Deng, Konstantin Beznosov, Yi Deng, 2000 .

Specifying Software Architectural Connectors in SAM

Yi Deng, Xudong He, Yi Deng, 2000, Int. J. Softw. Eng. Knowl. Eng..

Testing and evaluating virus detectors for handheld devices

Peter J. Clarke, Yi Deng, Jose Andre Morales, 2006, Journal in Computer Virology.