| 2008 |
|---|
| 68 | EE | 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 |
| 67 | EE | Jose Andre Morales,
Peter J. Clarke,
Yi Deng:
Characterizing and Detecting Virus Replication.
ICONS 2008: 214-219 |
| 66 | EE | Yi Deng,
Dongdai Lin:
Novel Omega-protocols for NP.
Science in China Series F: Information Sciences 51(1): 40-52 (2008) |
| 2007 |
|---|
| 65 | EE | Yi Deng,
Dongdai Lin:
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability.
EUROCRYPT 2007: 148-168 |
| 64 | EE | Raju Rangaswami,
Seyed Masoud Sadjadi,
Nagarajan Prabakar,
Yi Deng:
Automatic Generation of User-Centric Multimedia Communication Services.
IPCCC 2007: 324-331 |
| 63 | EE | Yi 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 |
|---|
| 62 | EE | 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 |
| 61 | | Yingbo Wang,
Peter J. Clarke,
Yi Deng:
Communication Model to Support Rapid Application Development.
Communications in Computing 2006: 185-191 |
| 60 | EE | Yi Deng,
Xueyin Lin:
A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic Programming.
ECCV (3) 2006: 201-212 |
| 59 | EE | 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 |
| 58 | | 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 |
| 57 | EE | Yi Deng,
Dongdai Lin:
Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption
CoRR abs/cs/0607035: (2006) |
| 56 | EE | Yi Deng,
Giovanni Di Crescenzo,
Dongdai Lin:
Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model
CoRR abs/cs/0609057: (2006) |
| 55 | EE | Jose 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) |
| 2005 |
|---|
| 54 | EE | Yi Deng,
Qiong Yang,
Xueyin Lin,
Xiaoou Tang:
A Symmetric Patch-Based Correspondence Model for Occlusion Handling.
ICCV 2005: 1316-1322 |
| 53 | | 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 |
| 52 | EE | Kendra 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 |
|---|
| 51 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
A Formal Approach to Designing Secure Software Architectures.
HASE 2004: 289-290 |
| 50 | | 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 |
| 49 | | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
Integrating Security Administration into Software Architectures Design.
SEKE 2004: 416-420 |
| 48 | | 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 |
| 47 | | Jing Dong,
Rucha Khisti,
Kendra Cooper,
Yi Deng:
A Component Framework for Resource Management Systems.
Software Engineering Research and Practice 2004: 681-687 |
| 46 | EE | Yi 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) |
| 45 | EE | Xudong 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 |
|---|
| 44 | | Huiqun Yu,
Xudong He,
Shu Gao,
Yi Deng:
Formal Software Architecture Design of Secure Distributed Systems.
SEKE 2003: 450-457 |
| 43 | | Kendra Cooper,
Lirong Dai,
Yi Deng,
Jing Dong:
Developing a Formal Design Analysis Framework.
Software Engineering Research and Practice 2003: 68-73 |
| 42 | EE | 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) |
| 41 | EE | 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) |
| 2002 |
|---|
| 40 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
A Formal Method for Analyzing Software Architecture Models in SAM.
COMPSAC 2002: 645-652 |
| 39 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
Formal Analysis of Real-Time Systems with SAM.
ICFEM 2002: 275-286 |
| 38 | EE | Huiqun Yu,
Xudong He,
Shu Gao,
Yi Deng:
Modeling and Analyzing SMIL Documents in SAM.
ISMSE 2002: 132-139 |
| 37 | EE | Xudong He,
Junhua Ding,
Yi Deng:
Model checking software architecture specifications in SAM.
SEKE 2002: 271-278 |
| 36 | EE | Xudong He,
Yi Deng:
A Framework for Developing and Analyzing Software Architecture Specifications in SAM.
Comput. J. 45(1): 111-128 (2002) |
| 35 | EE | Yi 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 |
|---|
| 34 | EE | Kang Zhang,
Da-Qian Zhang,
Yi Deng:
A Visual Approach to XML Document Design and Transformation.
HCC 2001: 312-319 |
| 33 | EE | Yi Deng,
Jiacun Wang,
Jeffrey J. P. Tsai:
Formal Analysis of Software Security System Architectures.
ISADS 2001: 426-434 |
| 32 | EE | Nathan N. Vuong,
Geoffrey Smith,
Yi Deng:
Managing security policies in a distributed environment using eXtensible markup language (XML).
SAC 2001: 405-411 |
| 31 | | Kang Zhang,
Da-Qian Zhang,
Yi Deng:
Graphical Transformation of Multimedia XML Documents.
Ann. Software Eng. 12(1): 119-137 (2001) |
| 2000 |
|---|
| 30 | | 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) |
| 29 | | 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) |
| 28 | | 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 |
|---|
| 27 | EE | 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 |
| 26 | EE | Konstantin Beznosov,
Yi Deng,
Bob Blakley,
C. Burt,
John F. Barkley:
A Resource Access Decision Service for CORBA-Based Distributed Systems.
ACSAC 1999: 310-319 |
| 25 | EE | Kent Wreder,
Yi Deng:
Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard.
COMPSAC 1999: 250-258 |
| 24 | EE | Jiacun Wang,
Chun Jin,
Yi Deng:
Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models.
COMPSAC 1999: 436-441 |
| 23 | EE | Jiacun Wang,
Chun Jin,
Yi Deng:
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models.
ICECCS 1999: 77-85 |
| 22 | | Yi Deng,
Jiacun Wang:
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design.
Ann. Software Eng. 7: 47-70 (1999) |
| 21 | EE | Jiacun Wang,
Xudong He,
Yi Deng:
Introducing software architecture specification and analysis in SAM through an example.
Information & Software Technology 41(7): 451-467 (1999) |
| 20 | EE | Yi 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 |
|---|
| 19 | EE | Yi Deng,
Jiacun Wang:
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design.
HASE 1998: 270-278 |
| 18 | EE | 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 |
| 17 | EE | Yi Deng,
Jiacun Wang,
Rakesh Sinha:
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems.
ICFEM 1998: 26- |
| 1997 |
|---|
| 16 | EE | 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 |
|---|
| 15 | | 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 |
| 14 | | Yi Deng,
Wenliang Du,
Paul C. Attie,
Michael Evangelist:
A Formalism for Architectural Modeling of Distributed Real-Time Systems.
SEKE 1996: 408-417 |
| 1995 |
|---|
| 13 | | Ya Xu,
Cyril U. Orji,
Yi Deng,
Naphtali Rishe:
An Architecture for Operating System Support of Distributed Multimedia Systems.
IW-MMDBMS 1995: 56-63 |
| 12 | | Shengkai Lu,
Yi Deng:
An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems.
SEKE 1995: 402-410 |
| 11 | EE | 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 Record 24(3): 71-76 (1995) |
| 1994 |
|---|
| 10 | | Sha Guo,
Wei Sun,
Yi Deng,
Wei Li,
Qing Liu,
Weiping Zhang:
Panther: An Inexpensive and Integrated Multimedia Environment.
ICMCS 1994: 382-391 |
| 9 | | Sha Guo,
Wei Sun,
Naphtali Rishe,
Yi Deng:
Semantic query optimization by class reference reduction in object- oriented databases.
SEKE 1994: 306-313 |
| 1993 |
|---|
| 8 | | 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 |
| 7 | | Yi Deng,
Raimund K. Ege,
Wei Sun:
Executable Specifications for the Design of Object-Oriented Systems.
SEKE 1993: 46-53 |
| 6 | | Yi Deng:
Intermediate Executable Architectural Specifications for KBSA, Part II.
SEKE 1993: 586 |
| 5 | EE | 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 |
| 1992 |
|---|
| 4 | EE | Yi Deng,
Shi-Kuo Chang:
Unifying Multi-Paradigms in Software System Design.
SEKE 1992: 386-393 |
| 1991 |
|---|
| 3 | EE | Taieb Znati,
Yi Deng,
Brian Field,
Shi-Kuo Chang:
Multi-level specification and protocol design for distributed multimedia communication.
COOCS 1991: 255-268 |
| 2 | EE | Yi Deng,
Shi-Kuo Chang:
A HyperNet Model for Large Hypertext Systems.
DASFAA 1991: 484-490 |
| 1990 |
|---|
| 1 | EE | Yi Deng,
Shi-Kuo Chang:
A G-Net Model for Knowledge Representation and Reasoning.
IEEE Trans. Knowl. Data Eng. 2(3): 295-310 (1990) |
