dblp.uni-trier.dewww.uni-trier.de

Yi Deng

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
77EEKhalid 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
76EESeyed Masoud Sadjadi, Selim Kalayci, Yi Deng: A Self-Configuring Communication Virtual Machine. ICNSC 2008: 739-744
75EEJose Andre Morales, Peter J. Clarke, Yi Deng: Characterizing and Detecting Virus Replication. ICONS 2008: 214-219
74EEXianfeng Zhao, Bingbing Xia, Yi Deng: Strengthening QIM-Based Watermarking by Non-uniform Discrete Cosine Transform. Information Hiding 2008: 309-324
73 Yi Deng: Building Global Ecosystem for Collaborative Computing Research and Education. SEKE 2008: 3
72EEJose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria: Characterization of virus replication. Journal in Computer Virology 4(3): 221-234 (2008)
71EEYi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Vagelis Hristidis, Raju Rangaswami, Yingbo Wang: CVM - A communication virtual machine. Journal of Systems and Software 81(10): 1640-1662 (2008)
70EEYi Deng, Dongdai Lin: Novel Omega-protocols for NP. Science in China Series F: Information Sciences 51(1): 40-52 (2008)
2007
69EEYi Deng, Dongdai Lin: Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability. EUROCRYPT 2007: 148-168
68EERaju Rangaswami, Seyed Masoud Sadjadi, Nagarajan Prabakar, Yi Deng: Automatic Generation of User-Centric Multimedia Communication Services. IPCCC 2007: 324-331
67EEYi Deng, Dongdai Lin: Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. Inscrypt 2007: 123-137
66EEYi 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. 29(6): 1068-1079 (2007)
2006
65EEYi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Chi Zhang, Vagelis Hristidis, Raju Rangaswami, Nagarajan Prabakar: A Communication Virtual Machine. COMPSAC (1) 2006: 521-531
64 Yingbo Wang, Peter J. Clarke, Yi Deng: Communication Model to Support Rapid Application Development. Communications in Computing 2006: 185-191
63EEYi Deng, Xueyin Lin: A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic Programming. ECCV (3) 2006: 201-212
62EEVagelis 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
61 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
60EEYi Deng, Dongdai Lin: Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption CoRR abs/cs/0607035: (2006)
59EEYi Deng, Giovanni Di Crescenzo, Dongdai Lin: Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model CoRR abs/cs/0609057: (2006)
58EEJose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria: Testing and evaluating virus detectors for handheld devices. Journal in Computer Virology 2(2): 135-147 (2006)
57EEJunhua 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 2(4): 401-412 (2006)
2005
56EEYi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang: A Symmetric Patch-Based Correspondence Model for Occlusion Handling. ICCV 2005: 1316-1322
55 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
54EEKendra 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)
2004
53EEHuiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Approach to Designing Secure Software Architectures. HASE 2004: 289-290
52 Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper: Applying Aspect-Orientation in Designing Security Systems: A Case Study. SEKE 2004: 360-365
51 Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Integrating Security Administration into Software Architectures Design. SEKE 2004: 416-420
50 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: 111-120
49 Jing Dong, Rucha Khisti, Kendra Cooper, Yi Deng: A Component Framework for Resource Management Systems. Software Engineering Research and Practice 2004: 681-687
48EEYi 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 14(5): 471-496 (2004)
47EEXudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng: Formally analyzing software architectural specifications using SAM . Journal of Systems and Software 71(1-2): 11-29 (2004)
2003
46 Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457
45 Kendra Cooper, Lirong Dai, Yi Deng, Jing Dong: Developing a Formal Design Analysis Framework. Software Engineering Research and Practice 2003: 68-73
44EEYi 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)
43EEDianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding: A Formal Architectural Model for Logical Agent Mobility. IEEE Trans. Software Eng. 29(1): 31-45 (2003)
2002
42EEHuiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652
41EEHuiqun Yu, Xudong He, Yi Deng, Lian Mo: Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286
40EEHuiqun Yu, Xudong He, Shu Gao, Yi Deng: Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139
39EEXudong He, Junhua Ding, Yi Deng: Model checking software architecture specifications in SAM. SEKE 2002: 271-278
38EEXudong He, Yi Deng: A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. 45(1): 111-128 (2002)
37EEYi Deng, Farokh B. Bastani: Guest Editors' Introduction: Special Issue on Embedded Software Engineering. International Journal of Software Engineering and Knowledge Engineering 12(2): 103-105 (2002)
2001
36EEKang Zhang, Da-Qian Zhang, Yi Deng: A Visual Approach to XML Document Design and Transformation. HCC 2001: 312-319
35EEYi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434
34EENathan N. Vuong, Geoffrey Smith, Yi Deng: Managing security policies in a distributed environment using eXtensible markup language (XML). SAC 2001: 405-411
33 Kang Zhang, Da-Qian Zhang, Yi Deng: Graphical Transformation of Multimedia XML Documents. Ann. Software Eng. 12(1): 119-137 (2001)
2000
32 Jiacun Wang, Yi Deng, Mengchu Zhou: Compositional time Petri nets and reduction rules. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(4): 562-572 (2000)
31 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 30(5): 725-736 (2000)
30 Mark Gerken, Yi Deng: Guest Editors' Introduction - Best Papers from SEKE'98. International Journal of Software Engineering and Knowledge Engineering 10(1): 1-4 (2000)
1999
29EEKonstantin 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
28EEKonstantin Beznosov, Yi Deng, Bob Blakley, C. Burt, John F. Barkley: A Resource Access Decision Service for CORBA-Based Distributed Systems. ACSAC 1999: 310-319
27EEKent Wreder, Yi Deng: Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard. COMPSAC 1999: 250-258
26EEJiacun Wang, Chun Jin, Yi Deng: Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. COMPSAC 1999: 436-441
25EEJiacun Wang, Chun Jin, Yi Deng: Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. ICECCS 1999: 77-85
24 Yi Deng, Jiacun Wang: Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. Ann. Software Eng. 7: 47-70 (1999)
23EEJiacun Wang, Xudong He, Yi Deng: Introducing software architecture specification and analysis in SAM through an example. Information & Software Technology 41(7): 451-467 (1999)
22EEYi Deng, Chia-Rung Yang: Architecture-driven modeling of real-time concurrent systems with applications in FMS. Journal of Systems and Software 45(1): 61-78 (1999)
1998
21EEYi Deng, Jiacun Wang: Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. HASE 1998: 270-278
20EEGuohong 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
19EEYi Deng, Jiacun Wang, Rakesh Sinha: Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. ICFEM 1998: 26-
1997
18EEYi Deng, Shengkai Lu, Michael Evangelist: A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. HICSS (1) 1997: 481-490
1996
17 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
16 Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist: A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE 1996: 408-417
1995
15 Ya Xu, Cyril U. Orji, Yi Deng, Naphtali Rishe: An Architecture for Operating System Support of Distributed Multimedia Systems. IW-MMDBMS 1995: 56-63
14 Shengkai Lu, Yi Deng: An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. SEKE 1995: 402-410
13EENaphtali 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 Record 24(3): 71-76 (1995)
1994
12 Sha Guo, Wei Sun, Yi Deng, Wei Li, Qing Liu, Weiping Zhang: Panther: An Inexpensive and Integrated Multimedia Environment. ICMCS 1994: 382-391
11 Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng: Semantic query optimization by class reference reduction in object- oriented databases. SEKE 1994: 306-313
10EEYi 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 4(4): 427-450 (1994)
1993
9 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
8 Yi Deng, Raimund K. Ege, Wei Sun: Executable Specifications for the Design of Object-Oriented Systems. SEKE 1993: 46-53
7 Yi Deng: Intermediate Executable Architectural Specifications for KBSA, Part II. SEKE 1993: 586
6EEWei 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
1992
5EEYi Deng, Shi-Kuo Chang: Unifying Multi-Paradigms in Software System Design. SEKE 1992: 386-393
1991
4EETaieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang: Multi-level specification and protocol design for distributed multimedia communication. COOCS 1991: 255-268
3EEYi Deng, Shi-Kuo Chang: A HyperNet Model for Large Hypertext Systems. DASFAA 1991: 484-490
2EEYi Deng, Shi-Kuo Chang: A Framework for the Modeling and Prototyping of Distributed Information Systems. International Journal of Software Engineering and Knowledge Engineering 1(3): 203-226 (1991)
1990
1EEYi Deng, Shi-Kuo Chang: A G-Net Model for Knowledge Representation and Reasoning. IEEE Trans. Knowl. Data Eng. 2(3): 295-310 (1990)

Coauthor Index

1Michael Alexopoulos [13]
2Gonzalo Argote-Garcia [61]
3Paul C. Attie [16] [17]
4John F. Barkley [28]
5David Barton [13]
6Farokh B. Bastani [37]
7Konstantin Beznosov [28] [29] [44] [52]
8Bob Blakley [28]
9Redmond P. Burke [62]
10C. Burt [28]
11Guohong Cao [20]
12Shi-Kuo Chang [1] [2] [3] [4] [5] [9] [10]
13Shigang Chen [17]
14Shu-Ching Chen [77]
15Peter J. Clarke [55] [57] [58] [62] [64] [65] [71] [72] [75]
16Kendra Cooper [45] [49] [50] [52] [54]
17Giovanni Di Crescenzo [59]
18Lirong Dai [45] [50] [54]
19Junhua Ding [39] [43] [47] [55] [57]
20Jing Dong [45] [49]
21Wenliang Du [16]
22Raimund K. Ege [8]
23Michael Evangelist [16] [18]
24Brian Field [4]
25Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo) [9]
26Shu Gao [40] [46] [52]
27Mark Gerken [30]
28Sha Guo [11] [12]
29Xudong He [23] [38] [39] [40] [41] [42] [46] [47] [48] [51] [52] [53] [55] [57] [61]
30Vagelis Hristidis [62] [65] [71] [77]
31Chun Jin [25] [26]
32Selim Kalayci [76]
33Rucha Khisti [49]
34B. M. Golam Kibria [58] [72]
35Tao Li [77]
36Wei Li [12]
37Dongdai Lin [59] [60] [67] [69] [70]
38Xiaola Lin [10]
39Xueyin Lin [56] [63] [66]
40Yibei Ling [6]
41Qing Liu [12]
42Leonard Loureiro [13]
43Shengkai Lu [14] [18]
44Steven Luis [77]
45Lian Mo [41] [42] [51] [53]
46Jose Andre Morales [58] [72] [75]
47Carlos Ordonez [13]
48Cyril U. Orji [13] [15]
49Angelo Perkusich [9]
50Nagarajan Prabakar [62] [65] [68]
51Raju Rangaswami [65] [68] [71]
52Naphtali Rishe [6] [11] [13] [15] [20]
53Seyed Masoud Sadjadi [65] [68] [71] [76]
54Khalid Saleem [77]
55Mario Sanchez [13]
56Artyom Shaposhnikov [13]
57Tianjun Shi [47] [61]
58Mukesh Singhal [20]
59Rakesh Sinha [19]
60Geoffrey Smith [34]
61Wei Sun [6] [8] [11] [12] [13] [17] [20]
62Weixiang Sun [61]
63Xiaoou Tang [56] [66]
64Jeffrey J. P. Tsai [35] [44] [48]
65Nathan N. Vuong [34]
66Jiacun Wang [19] [21] [23] [24] [25] [26] [31] [32] [35] [44] [48]
67Yingbo Wang [64] [71]
68Jeffrey A. White [62]
69Kent Wreder [27]
70Bingbing Xia [74]
71Dianxiang Xu [43] [55] [57]
72Gang Xu [31]
73Ya Xu [15]
74Chia-Rung Yang [22]
75Qiong Yang [56] [66]
76Jianwen Yin [43]
77Huiqun Yu [40] [41] [42] [46] [47] [51] [52] [53]
78Chi Zhang [65]
79Da-Qian Zhang [33] [36]
80Kang Zhang [33] [36]
81Weiping Zhang [12]
82Xianfeng Zhao [74]
83Mengchu Zhou [32]
84Taieb Znati [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)