![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Yi Deng 0001
Person information
- affiliation: Florida International University, University Park, FL, USA
- affiliation (former): University of Texas at Dallas, Richardson, TX, USA
- affiliation (PhD 1992): University of Pittsburgh, Department of Computer Science, PA, USA
Other persons with the same name
- Yi Deng — disambiguation page
- Yi Deng 0002
— Chinese Academy of sciences, Institute of Software, State Key Laboratory of Information Security, Beijing, China
- Yi Deng 0003
— University of Washington, USA (and 1 more)
- Yi Deng 0004 — East China Institute of Computing Technology, Shanghai, China (and 1 more)
- Yi Deng 0005 — Virginia Tech, Department of Electrical and Computer Engineering, Blacksburg, VA, USA
- Yi Deng 0006 — Georgia Institute of Technology, School of Earth and Atmospheric Sciences, Atlanta, GA, USA
- Yi Deng 0007
— Beihang University, School of Reliability and Systems Engineering, Beijing, China
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
- [j29]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): 1701-1714 (2010) - [j28]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): 335-357 (2010) - [j27]Jose Andre Morales
, Peter J. Clarke
, Yi Deng:
Identification of file infecting viruses through detection of self-reference replication. J. Comput. Virol. 6(2): 161-180 (2010)
2000 – 2009
- 2009
- [c56]Andrew A. Allen
, Yali Wu, Peter J. Clarke
, Tariq M. King, Yi Deng:
An autonomic framework for user-centric communication services. CASCON 2009: 203-215 - [c55]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: 254-262 - [c54]Dingding Wang, Li Zheng, Tao Li, Yi Deng:
Evolutionary document summarization for disaster management. SIGIR 2009: 680-681 - [c53]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: 64-69 - 2008
- [j26]Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke
, Vagelis Hristidis
, Raju Rangaswami, Yingbo Wang:
CVM - A communication virtual machine. J. Syst. Softw. 81(10): 1640-1662 (2008) - [j25]Jose Andre Morales
, Peter J. Clarke
, Yi Deng, B. M. Golam Kibria:
Characterization of virus replication. J. Comput. Virol. 4(3): 221-234 (2008) - [c52]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: 107-116 - [c51]Seyed Masoud Sadjadi, Selim Kalayci, Yi Deng:
A Self-Configuring Communication Virtual Machine. ICNSC 2008: 739-744 - [c50]Jose Andre Morales
, Peter J. Clarke
, Yi Deng:
Characterizing and Detecting Virus Replication. ICONS 2008: 214-219 - [c49]Yi Deng:
Building Global Ecosystem for Collaborative Computing Research and Education. SEKE 2008: 3 - 2007
- [c48]Raju Rangaswami, Seyed Masoud Sadjadi, Nagarajan Prabakar, Yi Deng:
Automatic Generation of User-Centric Multimedia Communication Services. IPCCC 2007: 324-331 - 2006
- [j24]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): 401-412 (2006) - [j23]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): 135-147 (2006) - [c47]Yingbo Wang, Peter J. Clarke, Yi Deng:
Communication Model to Support Rapid Application Development. Communications in Computing 2006: 185-191 - [c46]Chi Zhang, Seyed Masoud Sadjadi, Weixiang Sun, Raju Rangaswami, Yi Deng:
A User-Centric Network Communication Broker for Multimedia Collaborative Computing. CollaborateCom 2006 - [c45]Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke
, Chi Zhang, Vagelis Hristidis
, Raju Rangaswami, Nagarajan Prabakar:
A Communication Virtual Machine. COMPSAC (1) 2006: 521-531 - [c44]Peter J. Clarke
, Vagelis Hristidis
, Yingbo Wang, Nagarajan Prabakar, Yi Deng:
A Declarative Approach for Specifying User-Centric Communication. CTS 2006: 89-98 - [c43]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: 33-40 - [c42]Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He:
Achieving a Better Middleware Design through Formal Modeling and Analysis. SEKE 2006: 463-468 - 2005
- [j22]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): 89-108 (2005) - [c41]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: 560-565 - 2004
- [j21]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): 471-496 (2004) - [j20]Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng:
Formally analyzing software architectural specifications using SAM . J. Syst. Softw. 71(1-2): 11-29 (2004) - [j19]Yi Deng, Jiacun Wang
, Mengchu Zhou:
Consistency verification in modeling of real-time systems. IEEE Trans. Robotics Autom. 20(1): 136-142 (2004) - [c40]Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
A Formal Approach to Designing Secure Software Architectures. HASE 2004: 289-290 - [c39]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: 360-365 - [c38]Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
Integrating Security Administration into Software Architectures Design. SEKE 2004: 416-420 - [c37]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: 111-120 - [c36]Jing Dong, Rucha Khisti, Kendra M. L. Cooper, Yi Deng:
A Component Framework for Resource Management Systems. Software Engineering Research and Practice 2004: 681-687 - 2003
- [j18]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): 1099-1119 (2003) - [j17]Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding:
A Formal Architectural Model for Logical Agent Mobility. IEEE Trans. Software Eng. 29(1): 31-45 (2003) - [c35]Huiqun Yu, Xudong He, Shu Gao, Yi Deng:
Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457 - [c34]Kendra M. L. Cooper, Lirong Dai, Yi Deng, Jing Dong:
Developing a Formal Design Analysis Framework. Software Engineering Research and Practice 2003: 68-73 - 2002
- [j16]Xudong He, Yi Deng:
A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. 45(1): 111-128 (2002) - [j15]Yi Deng, Farokh B. Bastani:
Guest Editors' Introduction: Special Issue on Embedded Software Engineering. Int. J. Softw. Eng. Knowl. Eng. 12(2): 103-105 (2002) - [c33]Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652 - [c32]Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286 - [c31]Huiqun Yu, Xudong He, Shu Gao, Yi Deng:
Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139 - [c30]Xudong He, Junhua Ding, Yi Deng:
Model checking software architecture specifications in SAM. SEKE 2002: 271-278 - 2001
- [j14]Kang Zhang, Da-Qian Zhang, Yi Deng:
Graphical Transformation of Multimedia XML Documents. Ann. Softw. Eng. 12(1): 119-137 (2001) - [c29]Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai:
Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434 - [c28]Nathan N. Vuong, Geoffrey S. Smith, Yi Deng:
Managing security policies in a distributed environment using eXtensible markup language (XML). SAC 2001: 405-411 - [c27]Kang Zhang, Da-Qian Zhang, Yi Deng:
A Visual Approach to XML Document Design and Transformation. HCC 2001: 312-319 - 2000
- [j13]Mark J. Gerken, Yi Deng:
Guest Editors' Introduction - Best Papers from SEKE'98. Int. J. Softw. Eng. Knowl. Eng. 10(1): 1-4 (2000) - [j12]Xudong He, Yi Deng:
Specifying Software Architectural Connectors in SAM. Int. J. Softw. Eng. Knowl. Eng. 10(4): 411-431 (2000) - [j11]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): 735-757 (2000) - [j10]Jiacun Wang, Yi Deng, Mengchu Zhou:
Compositional time Petri nets and reduction rules. IEEE Trans. Syst. Man Cybern. Part B 30(4): 562-572 (2000) - [j9]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): 725-736 (2000) - [c26]Dianxiang Xu, Yi Deng:
Modeling mobile agent systems with high level Petri nets. SMC 2000: 3177-3182
1990 – 1999
- 1999
- [j8]Yi Deng, Jiacun Wang:
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. Ann. Softw. Eng. 7: 47-70 (1999) - [j7]Jiacun Wang, Xudong He, Yi Deng:
Introducing software architecture specification and analysis in SAM through an example. Inf. Softw. Technol. 41(7): 451-467 (1999) - [j6]Jiacun Wang, Yi Deng:
Incremental modeling and verification of flexible manufacturing systems. J. Intell. Manuf. 10(6): 485-502 (1999) - [j5]Yi Deng, Chia-Rung Yang:
Architecture-driven modeling of real-time concurrent systems with applications in FMS. J. Syst. Softw. 45(1): 61-78 (1999) - [c25]Konstantin Beznosov, Yi Deng, Bob Blakley, Carol C. Burt, John F. Barkley:
A Resource Access Decision Service for CORBA-Based Distributed Systems. ACSAC 1999: 310-319 - [c24]Kent Wreder, Yi Deng:
Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. COMPSAC 1999: 250-258 - [c23]Jiacun Wang, Chun Jin, Yi Deng:
Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. COMPSAC 1999: 436-441 - [c22]Jiacun Wang, Chun Jin, Yi Deng:
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. ICECCS 1999: 77-85 - [c21]Konstantin Beznosov, Yi Deng:
A Framework for Implementing Role-Based Access Control Using CORBA Security Service. ACM Workshop on Role-Based Access Control 1999: 19-30 - 1998
- [c20]Yi Deng, Jiacun Wang:
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. HASE 1998: 270-278 - [c19]Guohong Cao, Mukesh Singhal, Yi Deng, Naphtali Rishe, Wei Sun:
A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability. ICDCS 1998: 444-451 - [c18]Yi Deng, Jiacun Wang, Rakesh Sinha:
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. ICFEM 1998: 26-35 - [c17]Jiacun Wang, Yi Deng:
Component-level reduction rules for time Petri nets with application in C2 systems. SMC 1998: 125-130 - 1997
- [c16]Yi Deng, Shengkai Lu, Michael Evangelist:
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. HICSS (1) 1997: 481-490 - 1996
- [c15]Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun:
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. ICDCS 1996: 613-619 - [c14]Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist:
A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE 1996: 408-417 - 1995
- [j4]Naphtali Rishe, Wei Sun, David Barton, Yi Deng, Cyril U. Orji, Michael Alexopoulos, Leonard Loureiro, Carlos Ordonez, Mario R. Sánchez, Artyom Shaposhnikov:
Florida International University High Performance Database Research Center. SIGMOD Rec. 24(3): 71-76 (1995) - [c13]Ya Xu, Cyril U. Orji, Yi Deng, Naphtali Rishe:
An Architecture for Operating System Support of Distributed Multimedia Systems. IW-MMDBMS 1995: 56-63 - [c12]Shengkai Lu, Yi Deng:
An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. SEKE 1995: 402-410 - [c11]Shigang Chen, Yi Deng, Wei Sun, Naphtali Rishe:
Efficient algorithms for detection and resolution of distributed deadlocks. SPDP 1995: 10-16 - 1994
- [j3]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): 427-450 (1994) - [c10]Sha Guo, Wei Sun, Yi Deng, Wei Li, Qing Liu, Weiping Zhang:
Panther: An Inexpensive and Integrated Multimedia Environment. ICMCS 1994: 382-391 - [c9]Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng:
Semantic query optimization by class reference reduction in object- oriented databases. SEKE 1994: 306-313 - 1993
- [c8]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: 206-223 - [c7]Yi Deng, Raimund K. Ege, Wei Sun:
Executable Specifications for the Design of Object-Oriented Systems. SEKE 1993: 46-53 - [c6]Yi Deng:
Intermediate Executable Architectural Specifications for KBSA, Part II. SEKE 1993: 586 - [c5]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: 79-88 - [p1]Yi Deng, Shi-Kuo Chang:
Unifying Multi-Paradigms in Software System Design. Advances in Software Engineering and Knowledge Engineering 1993: 95-108 - 1992
- [c4]Yi Deng, Shi-Kuo Chang:
Unifying Multi-Paradigms in Software System Design. SEKE 1992: 386-393 - 1991
- [j2]Yi Deng, Shi-Kuo Chang:
A Framework for the Modeling and Prototyping of Distributed Information Systems. Int. J. Softw. Eng. Knowl. Eng. 1(3): 203-226 (1991) - [c3]Yi Deng, Shi-Kuo Chang:
A HyperNet Model for Large Hypertext Systems. DASFAA 1991: 484-490 - [c2]Taieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang:
Multi-level specification and protocol design for distributed multimedia communication. COOCS 1991: 255-268 - 1990
- [j1]Yi Deng, Shi-Kuo Chang:
A G-Net Model for Knowledge Representation and Reasoning. IEEE Trans. Knowl. Data Eng. 2(3): 295-310 (1990) - [c1]Shi-Kuo Chang, Yi Deng:
Intelligent database retrieval by visual reasoning. COMPSAC 1990: 459-464
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-15 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint